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

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

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

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