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

1. 16:02
   量子位

   清华姚期智团队提出代数世界模型AWM，在ARC-AGI-3上183关全通且能证明无解

   清华大学姚期智、袁洋团队提出代数世界模型（AWM），通过探索、凝炼、证明三步将游戏规则形式化为Lean 4数学断言。基于Opus 5.5的AWM在ARC-AGI-3测试集183个关卡全部通关，得分99.9%，平均通关动作数为人类基准的43%；面对被改为无解的关卡，AWM仅需两次尝试即可证明无解，并指出再多一步即可获胜。

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。