清华姚期智团队提出代数世界模型，让AI像牛顿一样思考

清华大学姚期智与袁洋团队提出代数世界模型（AWM），通过形式化证明让AI从现象记录转向规律推导。在ARC-AGI-3上基于Opus 5的AWM通关183关得分99.9%，平均动作数为人类基准43%，且可证明无解关卡。论文发布于arXiv，共同第一作者为两名本科生。