热点事件观察中
清华姚期智团队发布代数世界模型AWM
1 篇报道1 个报道来源1 天前更新
先了解这件事
AI 综述
2026年11月1日，量子位报道，清华大学姚期智、袁洋团队发布论文，提出代数世界模型AWM，报道称其让AI像牛顿一样，从观察和实验出发思考，把零散假设凝炼成可用Lean 4语言进行机器验证的规律。论文给出的成绩为：基于Opus 5的AWM通关ARC-AGI-3全部183关，得分99.9%，平均通关动作数仅为人类基准的43%；在考察识别不可解情况的测试中，面对被改为无解的关卡，基于Opus 5.5的AWM尝试两次即判定无解，且当时距获胜仅差一步。上述成绩均为论文自称数据，事件目前处于论文发布与成果披露阶段，尚无其他后续报道。
AI 根据报道生成 · 1 天前更新
最新进展11月1日 16:02
清华姚期智、袁洋团队发布AWM论文，称基于Opus 5通关ARC-AGI-3全部183关、得分99.9%。报道时间线
沿着报道，了解事件的不同侧面。
11月1日
- 量子位清华姚期智团队新作代数世界模型AWM，让AI像牛顿一样思考
清华大学姚期智、袁洋团队发布论文，提出代数世界模型AWM，让AI从观察和实验出发，把零散假设凝炼成可用Lean 4语言机器验证的规律。论文称AWM基于Opus 5通关ARC-AGI-3全部183关、得分99.9%，平均通关动作数仅为人类基准的43%；面对被改为无解的关卡，基于Opus 5.5的AWM尝试两次即判定无解且只差一步即可获胜。
本事件热度走势
当前热度 5·可比范围峰值 10（11月1日 17:00）·近 24 小时可比范围变化 -49%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。