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

2026年11月1日，清华大学姚期智与袁洋团队在arXiv发布论文，提出代数世界模型（AWM）。该模型旨在让AI通过探索、凝炼与Lean 4形式化证明，构建并验证对陌生环境的数学规律理解。在ARC-AGI-3测试集中，基于Opus 5的AWM以99.9%得分通关全部183个关卡，平均动作数仅为人类基准的43%，并能在无解关卡中直接证明不可行性及关键步数限制。该研究由本科生潘冠成与谭淇心担任共同第一作者。

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

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