清华大学研究人员推出代数世界模型，用于学习规则并形式化证明

由姚期智和杨元领导的清华大学团队推出了代数世界模型（AWM），这是一种用于学习交互式世界规则的方法。据 QbitAI 报道，该方法完成了全部 183 个 ARC-AGI-3 关卡，得分为 99.9%，平均行动次数为人类基准的 43%。 AWM 将观察结果转化为可执行的 Python 假设，通过探索逐步完善抽象规则，并在 Lean 4 中形式化相关论断。QbitAI 还报道称，AWM 证明了一个经过修改的关卡无法在该关卡的步数预算内完成。这些证明取决于探索是否捕捉到了相关规则，因此它们对交互式世界的适用性取决于系统学到的规则。

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

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