清华姚期智团队发布代数世界模型 AWM，让 AI 从现象提炼规律

Techub News 消息，清华大学姚期智和袁洋团队发布代数世界模型（AWM），旨在让 AI 从观察和实验出发，通过数学抽象理解世界运行规律。该模型在 ARC-AGI-3 测试集中以 99.9% 得分通关，平均动作数仅为人类基准的 43%。 AWM 采用三步法：探索现象并写成 Python 代码假设，用新观察验证并提炼为通用规则，最后形式化为 Lean 4 语言进行数学证明。面对无解关卡，基于 Opus 5.5 的 AWM 仅尝试两次即可证明无解并指出获胜所需步数。 研究团队包括共同第一作者浙江大学潘冠成与清华姚班谭淇心，指导教师为袁洋与图灵奖得主姚期智。论文已发布于 arXiv，项目主页同步公开。（量子位）