// AI 新闻 · 2026-11-01 · 量子位
清华姚期智团队提出代数世界模型让AI像牛顿一样思考
清华大学姚期智与袁洋团队研发出代数世界模型（AWM），通过将游戏中的现象抽象为代数结构，使AI能够从观察和实验中提炼出可形式化验证的世界规律。该模型在ARC-AGI-3测试集上实现183个关卡全通关，平均动作数仅为人类基准的43%，得分达99.9%。
原文发布 2026-11-01 16:02（北京时间）来源 量子位自动整理 · 已核对原文
01摘要
AWM通过‘投射极限’与‘归纳极限’两种数学工具，迭代优化初始假设，将其转化为Lean 4语言表达的可证明逻辑断言。在无解关卡测试中，模型能准确判断任务不可能性并给出正确边界条件，避免了现有模型出现的错误推断与幻觉问题。
由开源模型根据原文自动整理，经数字/专名逐项核对（必须在原文中出现），以原文为准。
02要点
- AWM将游戏现象抽象为代数结构，实现从观察到形式化证明的完整推理链
- 在ARC-AGI-3测试集中183个关卡全通关，平均动作数仅为人类基准的43%
- 模型能准确识别无解关卡并给出正确边界条件，避免了现有AI的错误推断与幻觉
- 基于范畴论中的投射极限和归纳极限实现假设迭代与结构泛化
03原文出处
量子位 · 发布于 2026-11-01 16:02（北京时间）
05相关新闻
出自智图 AI 新闻：从 1100 多个官方与媒体信源采集。摘要只转述原文内容，详情请看原文。 2026-11-01 全部新闻 · 按日期归档 · 全部 AI 新闻 · 今日