清华姚期智团队发布代数世界模型 AWM，ARC-AGI-3 得分 99.9%

Techub News 消息，清华大学姚期智和袁洋团队发布代数世界模型（AWM），目标是让 AI 从观察和实验出发，通过数学抽象理解世界运行规律。

ARC-AGI-3 测试集得分 99.9%

团队披露，AWM 在 ARC-AGI-3 测试集中以 99.9% 得分通关，平均动作数仅为人类基准的 43%。

模型采用三步法

根据介绍，AWM 的方法分为三个步骤：先探索现象，并将其写成 Python 代码假设；再用新的观察结果进行验证，并提炼为通用规则；最后将规则形式化为 Lean 4 语言，完成数学证明。

无解关卡仅尝试两次

面对无解关卡，基于 Opus 5.5 的 AWM 仅尝试两次即可证明无解，并指出获胜所需步数。

论文与项目主页已公开

研究团队包括共同第一作者浙江大学潘冠成与清华姚班谭淇心，指导教师为袁洋与图灵奖得主姚期智。论文已发布于 arXiv，项目主页同步公开。上述消息由量子位提及。