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

清华大学姚期智和袁洋团队推出代数世界模型（Algebraic World Model，简称 AWM），旨在让 AI 从观察和实验出发，通过探索、凝炼和证明三步走，将游戏或任务中的规则转化为形式化的数学断言。在 ARC-AGI-3 测试中，结合 Opus 5 模型实现了全部关卡通关，并能有效证明任务在当前条件下的不可行性。