清华姚期智团队推出代数世界模型，ARC-AGI-3 全 183 关 99.9% 通关

量子位 · wechat · 2026-11-01

清华大学姚期智、袁洋团队提出「代数世界模型」（AWM），让 AI 从观察与实验出发理解世界规则，而非只记录现象。

动机：以 ARC-AGI-3 无规则游戏集为测试场，顶级模型如 GPT Astra 虽能拿到 99.9% 高分并整理出符号化规则，但只是「第谷的观测记录」——在刻意改成步数不足的无解关卡测试中，12 次测试里 GPT-6 Astra 与 Claude Opus 5.5 合计仅 5 次判断出「不可能」，且多数给出的最低步数仍是错的，暴露出「现象级幻觉」。

方法：AWM 分三步——把观察写成可执行 Python 代码作假设；用新观察验证、凝炼出通用对象与规则；最终形式化为 Lean 4 数学断言实现机器可检验的证明。核心借鉴范畴论中的投射极限（概念组合定义）与归纳极限（寻找共性泛化）。

效果：面对无解关卡，基于 Opus 5.5 的 AWM 仅需 2 次尝试即可证明无解并指出「再多一步即可获胜」；在 ARC-AGI-3 全部 183 关通关得分 99.9%，平均动作数仅为人类基准的 43%，为已知最高效系统。

论文共同一作为浙大休学生潘冠成与清华姚班谭淇心，指导教师含图灵奖得主姚期智。

原文链接 →

「模型」频道最新

更多「模型」频道 AI 资讯 →