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

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