清华姚期智团队提出代数世界模型 AWM，让 AI 像牛顿一样思考

清华大学姚期智、袁洋团队提出「代数世界模型」（AWM），将游戏中的对象、关系与规则抽象为代数世界，并用 Lean 4 形式化证明规律。在 ARC-AGI-3 测试集上，基于 Opus 5 的 AWM 通关全部 183 个关卡，得分 99.9%，平均通关动作数仅为人类基准的 43%。面对无解关卡，基于 Opus 5.5 的 AWM 尝试两次即可证明其无解，并指出只需再多一步就能获胜。