清华姚期智团队新作：代数世界模型，让AI像牛顿一样思考
姚期智和袁洋领导的清华团队提出了代数世界模型：它把观察写成可执行的假设，再提炼为通用规则，最后用 Lean 4 形式化，使其可以被机器自动检验。在 ARC-AGI-3 游戏集上，基于 Opus 5 的 AWM 以 99.9% 的得分通关全部 183 关，平均动作数仅为人类基准的 43%；面对一个无解关卡，它只用了两次尝试就证明了无解，而前沿模型却给出了错误答案。这很重要，因为它让智能体从单纯描述观察，迈向可验证地推理“为什么做不到”，这是通往现实任务中更可靠智能体的一步。
报道来源
- 量子位 QbitAI2026-11-01 08:02