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

清华大学姚期智、袁洋团队提出代数世界模型AWM，通过环境探索、规律凝炼和Lean 4形式化证明，让AI推导并验证从观测中总结的世界规律。团队称，基于Opus 5.5的AWM在ARC-AGI-3的183个关卡中全部通关，得分99.9%，平均通关动作数为人类基准的43%；在无解关卡中还能判断当前步数不可行，并指出再增加一步即可获胜。 AWM的证明仅对已观测到的世界成立；若探索遗漏关键规则，所得模型只能反映“局部真理”，而非完整规律。

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

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