姚期智团队发布代数世界模型AWM，AI在陌生游戏中自写数学证明

清华大学和浙江大学团队提出代数世界模型（AWM），使AI能在陌生交互环境中自动生成机器可检查的Lean定理。实验显示，该框架在ARC-AGI-3关卡上通关率高且附带形式化证明，而Claude Opus 5.5和GPT-6 Astra未能产出同类结果。 AWM通过观察、假设与范畴论压缩机制，让AI自主构建数学证明。这一成果展示了AI在未知环境中进行形式化推理的能力，为复杂游戏或科学探索中的自动验证提供了新路径。

AI 根据报道生成 · 58 分钟前更新

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