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

清华大学姚期智、袁洋团队提出代数世界模型（AWM），将游戏中的对象、关系和规则抽象成代数世界，经探索、凝炼、证明三步，形成可机器检查的 Lean 4 数学断言。 报道称，AWM 的证明基于其“观测到的世界”成立；若探索不够全面、遗漏关键规则，模型描绘的只是“局部真理”，而非完整世界。

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

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