姚期智团队提出代数世界模型AWM

1. 16:02
   量子位

   清华姚期智团队提出代数世界模型AWM，让AI从试错走向形式化证明

   清华大学姚期智、袁洋团队提出代数世界模型（AWM），通过探索、凝炼、证明三步把游戏中的现象抽象为Lean 4可检查的数学断言。在ARC-AGI-3测试集上，基于Opus 5的AWM通关183个关卡得分99.9%，平均通关动作数仅为人类基准的43%；面对无解关卡，基于Opus 5.5的AWM尝试两次即可证明其无解并指出再多一步即可获胜。论文共同第一作者为浙江大学潘冠成和清华姚班谭淇心。

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。