清华姚期智团队提出代数世界模型AWM
Start here
2026年11月1日，清华大学姚期智与袁洋团队在arXiv发布论文，提出代数世界模型（AWM），由本科生潘冠成与谭淇心担任共同第一作者。该模型将交互环境抽象为代数结构，并借鉴范畴论的极限工具构建抽象循环，结合Lean 4形式化证明，使大模型能够通过探索与凝炼，从观察和实验中自主推导并验证对陌生环境底层规律的理解。在ARC-AGI-3测试集中，基于Opus 5的AWM以99.9%得分通关全部183个关卡，平均动作数仅为人类基准的43%，并能在无解关卡中直接证明步数限制下的不可行性。
AI-generated from reports · Updated 1 day ago
Report timeline
Follow the reports to see different sides of the story.
- AITNT · AI头条清华姚期智团队提出代数世界模型AWM：结合形式化证明推导底层规律
清华大学姚期智与袁洋团队提出代数世界模型（AWM），通过将交互环境抽象为代数结构并结合Lean 4形式化证明，使大模型能够从观察和实验中自主推导底层规律。在ARC-AGI-3测试集上，基于Opus 5的AWM实现183个关卡全通关并取得99.9%得分，平均动作数仅为人类基准的43%，并能准确证明关卡在限制步数下的不可行性。该框架借鉴范畴论的极限工具构建抽象循环，论文共同一作为本科生潘冠成与谭淇心。
- 量子位清华姚期智团队提出代数世界模型AWM
清华大学姚期智与袁洋团队提出代数世界模型（AWM），旨在让AI通过探索、凝炼与Lean 4形式化证明来构建并验证对陌生环境的数学规律理解。在ARC-AGI-3测试集中，基于Opus 5的AWM以99.9%得分通关全部183个关卡，平均动作数仅为人类基准的43%，并能在无解关卡中直接证明不可行性及关键步数限制。该成果由本科生潘冠成与谭淇心担任共同第一作者，论文已发布于arXiv。
Story heat trend
Current heat 4·Comparable peak 16（Nov 2 12:00）·Comparable change, last 24 hours-68%
Trends compare only the same parties observed continuously, so the scope can be narrower than current heat counts. Move the pointer or tap the chart to see hourly heat; use the left and right arrow keys on a keyboard.