清华姚期智团队发布代数世界模型AWM论文
热点事件持续更新
清华姚期智团队发布代数世界模型AWM论文
1 篇报道1 个报道来源4 小时前更新
先了解这件事
AI 综述
清华大学姚期智团队提出代数世界模型（AWM），该模型通过将任务抽象为代数结构并进行形式化验证，在ARC-AGI-3测试集中实现了183关全通关，平均动作数仅为人类基准的43%。 团队称，AWM通过探索、凝炼、证明三个步骤，将游戏或任务中的现象抽象为代数结构，并使用Lean 4语言进行形式化验证，以对任务可行性进行严格推理。 论文已在arXiv公开，两位本科生为共同第一作者。
AI 根据报道生成 · 2 小时前更新
最新进展11月1日 16:02
清华姚期智团队发布代数世界模型AWM：让AI像牛顿一样思考报道时间线
沿着报道，了解事件的不同侧面。
11月1日
- 量子位清华姚期智团队发布代数世界模型AWM：让AI像牛顿一样思考
清华大学姚期智团队提出代数世界模型（AWM），通过探索、凝炼、证明三步，将游戏或任务中的现象抽象为代数结构，并用Lean 4语言形式化验证，实现对任务可行性的严格推理。在ARC-AGI-3测试集中，基于Opus 5.5的AWM实现183关全通关，平均动作数仅为人类基准的43%。论文由两位本科生共同第一作者，项目主页和arXiv论文已公开。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。