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

2026年11月1日，量子位报道清华大学姚期智、袁洋团队提出代数世界模型（AWM）。该模型把交互环境中的对象与规则抽象为代数世界，通过探索、凝炼、证明三步，形成可机器检查的 Lean 4 数学断言，目标是让 AI 像牛顿一样从现象推导规律。目前报道仅介绍方法框架，未披露实验规模、对比结果或应用落地情况，事件仍处方法提出阶段。

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

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