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

清华大学姚期智、袁洋团队提出“代数世界模型”（AWM）：把游戏中的对象、关系和规则抽象为代数世界，再由大模型做探索、凝炼，并用 Lean 4 做形式化证明。 在 ARC-AGI-3 测试集上，基于 Opus 5 的 AWM 通关 183 个关卡、得分 99.9%，平均通关动作数为人类基准的 43%。面对被改为无解的关卡，基于 Opus 5.5 的 AWM 尝试两次即证明当前步数下无解，并称再多一步可获胜。 报道同时指出，AWM 的证明基于它“观测到的世界”成立；若探索不够全面、遗漏关键规则，模型描绘的只是“局部真理”，而非完整世界。

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

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