清华团队提出代数世界模型AWM
热点事件持续更新
清华团队提出代数世界模型AWM
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
清华大学姚期智、袁洋团队提出代数世界模型（AWM），通过探索、凝炼、证明三步，把观察到的规律形式化为 Lean 4 数学断言。 在 ARC-AGI-3 测试集上，基于 Opus 5 的 AWM 通关 183 个关卡，得分 99.9%，平均通关动作数仅为人类基准的 43%；面对无解关卡，基于 Opus 5.5 的 AWM 尝试两次即可证明其无解，并指出只差一步。论文共同第一作者为浙江大学潘冠成和清华姚班谭淇心。
AI 根据报道生成 · 2 小时前更新
最新进展11月1日 16:02
清华姚期智团队提出代数世界模型AWM，让AI像牛顿一样推导规律报道时间线
沿着报道，了解事件的不同侧面。
11月1日
- 量子位清华姚期智团队提出代数世界模型AWM，让AI像牛顿一样推导规律
清华大学姚期智、袁洋团队提出代数世界模型（AWM），通过探索、凝炼、证明三步把观察到的规律形式化为Lean 4数学断言。在ARC-AGI-3测试集上，基于Opus 5的AWM通关183个关卡得分99.9%，平均通关动作数仅为人类基准的43%；面对无解关卡，基于Opus 5.5的AWM尝试两次即可证明其无解并指出只差一步。论文共同第一作者为浙江大学潘冠成和清华姚班谭淇心。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。