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

清华大学姚期智、袁洋团队提出代数世界模型（AWM）：把游戏中的对象、关系和规则抽象成代数世界，再经探索、凝炼、证明三步，形式化为 Lean 4 断言。 据该团队介绍，这一设计的目的是让 AI 像牛顿那样从现象推导规律。目前公开的信息只涉及方法框架和形式化流程，尚未给出验证效果。

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

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