清华团队提出代数世界模型AWM

清华大学姚期智、袁洋团队提出代数世界模型（AWM）：把游戏中的对象、关系和规则抽象成代数世界，再经探索、凝炼、证明三步，形成可机器检查的Lean 4断言。 在ARC-AGI-3测试集上，基于Opus 5的AWM通关183个关卡，得分99.9%，平均通关动作数仅为人类基准的43%。面对被改成无解的关卡，基于Opus 5.5的AWM尝试两次即可证明当前步数下无解，并指出再多一步就能获胜。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。