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