标题：OpenAI 一口气放出 722 篇数学论文：AI 解题，数学界炸锅 栏目：tech 草稿：
2026-10-07
OpenAI 10 月 6 日在一个公开 GitHub 仓库发布了 722 篇数学手稿，归为 372 个相关结果家族。据称这些结果由 OpenAI 一个未发布的内部 AI 模型生成：模型在评估期间共接触了约 4000 道数学题，平均每个结果只花了相当于 ChatGPT Pro 约 3 小时的"思考"算力。部分证明附带了 Lean 语言的形式化版本——Lean 能让计算机逐行检查证明是否成立，但并非所有结果都有。《纽约时报》称，这次发布让本就动荡的数学界"进一步炸锅"。
据报道，最受瞩目的结果包括一个"准黎曼猜想"证明：在实部大于 7/8 的区域建立狄利克雷 L 函数的零点自由区、消除朗道-西格尔零点，据称已通过 Lean 形式化验证。其他亮点还有无条件证明半定规划阈值的 NP 难性、CM 阿贝尔簇的有理霍奇猜想、对称与非对称马勒猜想等。多伦多大学数学家丹尼尔·利特表示，如果数学家想要答案，没理由让公司"对我们保密"；罗格斯大学的亚历克斯·康托罗维奇称其中一个结果"疯狂"，人类做出它"会立刻拿菲尔兹奖"。
争议的核心是透明度。9 月 29 日，设在普林斯顿高等研究院的"数学与人工智能咨询组"发布建议：要求 AI 实验室停止在专有模型上测试前沿数学题；对提问者自己都还没理解的结果，应公布模型名称、提示词、推理摘要和算力成本；不要把数学成果当作模型营销。OpenAI 回应称认真对待这些准则，但不受其约束：它公布了平均算力等统计数据和 10 个结果的推理摘要，但没有公开提示词，也没有点名模型。《华尔街日报》报道，消息传出前几天，数学家们正忙着抢先发表自己的 AI 辅助成果，生怕被"截胡"。
arXiv 上的一份审计回顾了 OpenAI 8 月 1 日发布的前 10 个结果：在已审查的范围内未发现主要结果有实质性数学错误，但审查深度不一，且不覆盖这次的新手稿。关键提醒来自学界共识：AI 公司发布证明，不等于数学定理成立——必须经受领域数学家的审查。OpenAI 自己也表示不打算申领千禧年大奖。接下来数学界的任务是逐一验证这 722 篇手稿；如果站得住脚，是里程碑，如果站不住，是警示——无论哪种，数学研究的方式都已经变了。
来源：The New York Times、The Wall Street Journal、The Verge、Scientific American、Interesting Engineering、AI Stock Wire、CNBC-TV18