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

清华大学姚期智与袁洋团队提出代数世界模型（AWM），旨在让大模型从环境探索中自主构建抽象规则并完成形式化数学推导。该方法通过代码探索、归纳凝炼与 Lean 4 形式化证明三步建立环境模型，既能严密判定任务不可行性，也在 ARC-AGI-3 测试集以 99.9% 的得分全通关，平均动作数仅为人类基准的 43%。