清华姚期智团队提出代数世界模型AWM
まずこの件を把握する
2026年11月1日，清华大学姚期智与袁洋团队在arXiv发布论文，提出代数世界模型（AWM），由本科生潘冠成与谭淇心担任共同第一作者。该模型将交互环境抽象为代数结构，并借鉴范畴论的极限工具构建抽象循环，结合Lean 4形式化证明，使大模型能够通过探索与凝炼，从观察和实验中自主推导并验证对陌生环境底层规律的理解。在ARC-AGI-3测试集中，基于Opus 5的AWM以99.9%得分通关全部183个关卡，平均动作数仅为人类基准的43%，并能在无解关卡中直接证明步数限制下的不可行性。
AI が報道をもとに生成 · 5 時間前 更新
報道タイムライン
報道をたどり、出来事のさまざまな側面を知る。
- 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。
このストーリーのホット度の推移
現在のホット度 14·比較可能範囲のピーク 16（11月2日 12:00）·直近24時間の比較可能な変化–
トレンドは継続して完全に観測した同じ主体のみを比較するため、現在のホット度の集計より範囲が狭い場合があります。ポインターの移動やタップで1時間ごとのホット度を確認でき、キーボードでは左右の矢印キーで切り替えられます。