「无障碍树」共找到 696 篇相关文章
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
3.4K star！阿里出品对话式UI神器，轻松打造专业级聊天界面！
ChatUI 是阿里开源的对话式 UI 设计语言与 React 组件库，有智能消息流处理、无障碍访问认证等亮点。技术架构明确，与同类项目对比优势独特，还给出使用指南和实践场景。
3个工程师、0融资、不开会，估值3.5亿美元的Obsidian才是真正的「小而美」
Obsidian 作为全球最具影响力的本地化 Markdown 笔记应用之一，估值 3.5 亿美元，但仅 7 人全职团队。它拒绝资本，靠用户付费运营，有「无会议文化」，底层插件系统强大，和 Notion 信息管理哲学不同。
ICLR 2026 | 从「聚合」到「引导」：FedDRM开启客户端智能路由新范式
传统联邦学习中，统计异质性是障碍，本文提出 FedDRM，将联邦学习从「聚合范式」拓展到「路由范式」，让服务器能把问题交给最合适的客户端处理，在多数据集上提升系统准确率，为多场景提供新可能。
知名机器人专家喊话：投人形机器人初创公司的数十亿美元，正在打水漂
知名机器人专家罗德尼・布鲁克斯质疑特斯拉、Figure等公司技术路线，称让机器人看人类视频学操作是‘空想’。他指出触觉数据无技术积累、安全有隐患，预测成功‘人形’机器人未来将大不同，投资难量产。
本科必学Dijkstra算法被超越！清华段然团队打破图灵奖得主证明的普遍最优性
本科经典算法Dijkstra被清华段然团队超越，新算法运行速度比任何Dijkstra及其改进算法都快，还解决了“排序障碍”问题。该算法改进了图灵奖得主Tarjan的算法，在理论和实际应用中意义重大。
比爆火的OpenClaw更王炸？这台百元神机，已经能让AI长出手脚帮你打工了
英伟达DGX Spark因内存供应紧张涨价，4万的成本让预算敏感者望而却步。阿里云无影个人云超算服务性价比高，按量付费百元左右。其AgentBay让AI获“手脚”，还具OpenClaw没有的能力。
微软AI CEO警告：我们需要警惕「看似有意识的AI」
微软AI CEO Mustafa Suleyman提出「看似有意识的AI」（SCAI）概念，它能模拟人类意识外部标志，虽无真正意识却可能让人误以为有，会带来社交、道德和法律影响，他还给出应对方案。
我扒开Clawdbot的底层架构，简单到离谱，你看完就能自己写。
近期Clawdbot让科技圈震惊，作者花一下午分析其架构和源码后发现，它简单到看完文章就能自己写。它是电脑进程，消息处理分六步，记忆靠写文件，操作电脑有三类工具，无黑科技。
马斯克Grok 4正式发布：世界最大AI超级计算机就训练了这？
Grok 4公开基准测试有进步，但在高级推理测试表现差，视觉理解仍是短板。性能提升多靠整合符号工具，无重大技术创新，‘幻觉’问题没实质进展，xAI官方对道德对齐信心不足。