热点事件历史事件

清华姚期智团队提出代数世界模型AWM，通关ARC-AGI-3全部183关

1 篇报道1 个报道来源4 天前更新

先了解这件事

AI 综述

清华姚期智、袁洋团队提出代数世界模型（AWM），将游戏对象与规则抽象为代数结构。在ARC-AGI-3测试集上，AWM使用Opus 5模型通关全部183关，得分99.9%，平均通关动作数为人类基准的43%。该方法包括探索、凝炼、用Lean 4形式化证明三步来构建可推理的世界模型。报道介绍，面对一个被改动为无解的关卡，基于Opus 5.5的AWM尝试两次即可证明其在当前步数下无解，并指出再多一步即可通关；团队称这一证明是基于其观测到的世界成立的。

AI 根据报道生成 · 4 天前更新

报道时间线

沿着报道，了解事件的不同侧面。

11月1日

16:02
量子位主站
清华姚期智团队提出代数世界模型 AWM，ARC-AGI-3 全部 183 关通关
清华姚期智、袁洋团队提出代数世界模型（AWM），将游戏对象与规则抽象为代数结构，经探索、凝炼、用 Lean 4 形式化证明三步构建可推理的世界模型。面对被改动为无解的关卡，基于 Opus 5.5 的 AWM 尝试两次即可证明无解并指出再多一步可通关；在 ARC-AGI-3 测试集上用 Opus 5 通关全部 183 关，得分 99.9%，平均通关动作数为人类基准的 43%。