清华团队提出代数世界模型AWM
热点事件持续更新
清华团队提出代数世界模型AWM
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
清华大学姚期智、袁洋团队提出代数世界模型（AWM），将游戏中的对象、关系和规则抽象为代数世界，经探索、凝炼、证明三步生成可由 Lean 4 检验的数学断言。 在 ARC-AGI-3 测试集上，基于 Opus 5 的 AWM 通关全部 183 个关卡，得分 99.9%，平均通关动作数为人类基准的 43%。面对被改成无解的关卡，它两次尝试即证明当前步数下无解，且只需再多一步即可获胜。
AI 根据报道生成 · 1 小时前更新
最新进展11月1日 16:02
清华姚期智团队提出代数世界模型 AWM，让 AI 从探索走向形式化证明报道时间线
沿着报道，了解事件的不同侧面。
11月1日
- 量子位清华姚期智团队提出代数世界模型 AWM，让 AI 从探索走向形式化证明
清华大学姚期智、袁洋团队提出代数世界模型（AWM），把游戏中的对象、关系和规则抽象为代数世界，经探索、凝炼、证明三步生成 Lean 4 可检验的数学断言。在 ARC-AGI-3 测试集上，基于 Opus 5 的 AWM 通关全部 183 个关卡，得分 99.9%，平均通关动作数仅为人类基准的 43%。面对被改成无解的关卡，它两次尝试即证明当前步数下无解，且只需再多一步即可获胜。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。