清华姚期智团队提出代数世界模型，让AI从现象中提炼本质规律

清华大学姚期智团队提出代数世界模型（AWM），旨在让AI从观察和实验出发，提炼世界的本质规律。AWM将游戏中的对象、关系抽象为代数世界，通过探索、凝炼、证明三步走，将零散的Python假设形式化为Lean 4数学断言。