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

2026年11月1日，量子位报道，清华大学姚期智、袁洋团队提出代数世界模型（AWM）。该模型把游戏中的对象、关系和规则抽象为代数世界，再借助大模型的数学能力完成探索、凝炼和证明三步，目标是让 AI 从探索走向形式化证明。报道同时指出该模型的局限：它的证明基于其“观测到的世界”成立；如果探索不够全面、遗漏了某些关键规则，模型描绘的只是“局部真理”，而非完整的世界。目前公开信息集中于方法框架与上述适用条件，尚无更多跟进报道。

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

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