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

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