OpenAI在GitHub发布722份数学手稿，涵盖黎曼zeta函数等难题

10月7日，OpenAI在GitHub开源平台上线数学成果仓库，一次性发布722份数学手稿，涉及霍奇猜想、黎曼zeta函数零点区域、马勒猜想等372个问题家族。这些成果通过Lean 4形式化证明和推理摘要完整呈现，引发数学界广泛关注。

这是OpenAI继8月发布10道未解数学问题解法、9月宣称解决Navier-Stokes千年难题后，再次大规模公开数学成果。据仓库数据显示，722份手稿包含PDF源文件、形式化证明和模型推理摘要，覆盖乘法函数、π无理性指数等复杂领域。

OpenAI表示，成果主要来自未公开的内部模型，平均每个问题消耗3小时ChatGPT Pro算力，总计提出约4000个推理问题。但README文件明确提示：部分未形式化的结果可能存在瑕疵，尚未完全验证。

数学界对AI的「量产式」成果发布表示担忧。多位菲尔兹奖得主联名批评OpenAI将数学视为benchmark刷题，陶哲轩提出「证明消化不良」概念，指出AI在证明验证环节领先，但同行评审、教科书收录等环节仍需人工介入。

事件折射出AI研发自动化带来的深层影响。Hinton、Bengio等专家在论文中警告，当AI系统达到专家级研发能力时，单个开发者可指挥相当于数百万人类研究者的AI团队，可能引发智能爆炸。

数学领域因其绝对标准成为观察AI进展的窗口。过去依赖同行评审的知识验证体系，正面临机器产量带来的挑战。kimmonismus在社交媒体评论称，这正是「字面意义上的智能爆炸」。