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

清华大学姚期智、袁洋团队提出代数世界模型（AWM），把游戏中的对象与规则抽象成代数世界，再形式化为 Lean 4 断言，让 AI 从试错探索转向建模与形式化推理。在 ARC-AGI-3 测试集上，基于 Opus 5 的 AWM 通关全部 183 个关卡，得分 99.9%，平均通关动作数为人类基准的 43%。 报道同时提到该模型的边界：AWM 的证明基于它「观测到的世界」成立，如果探索不够全面、遗漏关键规则，它描绘的只是「局部真理」，并非完整世界。面对被改成无解的关卡，基于 Opus 5.5 的 AWM 尝试两次即判断无解，并指出只多一步即可获胜。

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