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

清华大学姚期智、袁洋团队提出代数世界模型（AWM），把游戏中的对象、关系和规则抽象成代数世界，再借助大模型完成探索、凝炼与证明三步：将观察写成Python假设，逐步提炼为通用规则，最终形式化为Lean 4可自动检查的数学断言。 该方法存在明确边界：其证明基于模型“观测到的世界”成立；若探索不够全面、遗漏关键规则，所描绘的只是“局部真理”，而非完整世界。

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

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