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

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