Gary Marcus 评论 OpenAI 数学大发布: 报告含糊, 泛化性无从判断

摘要

Gary Marcus 在这篇仓促写就的评论中指出，OpenAI 新发布的数学成果真正的新闻不在于结果，而在于对外说明的含糊：所谓“相同流程”“使用一个未公开模型”的说法无法通过同行评审，外界无从知道证明是一次性生成再由符号系统 Lean 验证，还是经过迭代过程，也不知道失败率、训练、后训练与数据增强的情况。因此，他对该成果在数学之外有多强的泛化能力毫无概念。他批评社交媒体讨论已沦为不明就里的欢呼，认为新系统既可能是迈向 AGI 的一步，也可能只是在可验证领域对 Lean 与合成数据的巧妙利用、毫无通用性；仅凭初步报告几乎看不出任何东西。