清华姚期智团队发布代数世界模型AWM：让AI像牛顿一样思考

清华大学姚期智团队提出代数世界模型（AWM），通过探索、凝炼、证明三步，将游戏或任务中的现象抽象为代数结构，并用Lean 4语言形式化验证，实现对任务可行性的严格推理。在ARC-AGI-3测试集中，基于Opus 5.5的AWM实现183关全通关，平均动作数仅为人类基准的43%。论文由两位本科生共同第一作者，项目主页和arXiv论文已公开。