热点事件持续更新

清华姚期智团队提出代数世界模型AWM

1 篇报道1 个报道来源2 小时前更新

先了解这件事

AI 综述

清华大学姚期智、袁洋团队提出代数世界模型（AWM）：把交互环境中的对象与规则抽象为代数世界，再经探索、凝炼、证明三步，形成可机器检验的数学断言。在 ARC-AGI-3 测试集上，基于 Opus 5 的 AWM 通关全部 183 个关卡，得分 99.9%，平均通关动作数为人类基准的 43%。

AI 根据报道生成 · 2 小时前更新

最新进展11月2日 17:40

沿着报道，了解事件的不同侧面。

11月2日

17:40
智源社区精选
清华姚期智团队提出代数世界模型 AWM，让 AI 从探索走向形式化证明
清华大学姚期智、袁洋团队提出代数世界模型（AWM），把交互环境中的对象与规则抽象为代数世界，再经探索、凝炼、证明三步形成可机器检验的数学断言。在 ARC-AGI-3 测试集上，基于 Opus 5 的 AWM 通关全部 183 个关卡，得分 99.9%，平均通关动作数为人类基准的 43%。

还没有足够的连续观测数据，暂不绘制趋势。