知识卡片：OpenAI 公开 722 篇数学手稿引数学界“读不过来”讨论

一句话结论

据量子位报道，OpenAI 公开了一个尚未发布的内部模型产出的 722 篇数学手稿，归为 372 组结果，覆盖黎曼猜想相关无零点区域、BSD 猜想、霍奇猜想、唯一游戏猜想等方向；但数学界强调，这不等于认可结果或生产方式，争议焦点转向“规模化产出、可读性与可核验性”。

事件概述或研究问题

• 来源页面显示时间为 2026-10-07，来源为量子位，作者听雨。
• 报道称，OpenAI 一次性公开 722 篇数学手稿，全部出自一个还没发布的内部模型。
• 手稿归成 372 组结果；模型此前尝试约 4000 个研究问题。
• 论文、源码、部分 Lean 证明被上传至 GitHub；仓库中还有 10 份模型推理摘要。
• 目录涉及 17 个方向，包括数论、代数几何、理论计算机、统计力学等。高知名度对象包括：准黎曼猜想、霍奇猜想、BSD 猜想、π 的无理性指数、卡塔兰常数无理性、唯一游戏猜想、自旋玻璃、量子磁性、自由群因子、相对论性弗拉索夫—麦克斯韦方程等。
• 核心研究/产业问题是：AI 模型能否以批量化方式产出数学研究手稿，以及数学界如何消化、核验和引用这些成果。

方法/产品要点

• 生成方式：来源称绝大多数结果由同一个未发布内部模型按同一套固定流程跑出。
• 算力：来源称平均每项结果消耗算力约相当于 ChatGPT Pro 思考 3 小时；该口径待以 OpenAI/GitHub 原文核实。
• 例外：黎曼 ζ 函数无零点区域、复乘阿贝尔簇上的霍奇猜想没有完全走固定流程；其中黎曼 ζ 函数实部大于 11/12 的证明文稿经过人工编辑，以便读者阅读。
• 核验状态：仓库写明这些手稿的核验进度各不相同，部分成果还没有 Lean 形式化证明。
• 发布支持：OpenAI 表示会出资办研讨会，帮助数学界研究这些成果；独立顾问组回应称，接下来应由数学家检查、讲解，再决定哪些结果真正进入数学研究。
• 同期产品动态：报道还提到 OpenAI“28 天挑战赛”Day 2，包括 Codex 的 Auto-review、API 付费档位简化、Meetings 插件、Decisions API 公测等更新；这些细节来自来源转述，官方状态待核实。

主要结果或产业意义

以下均为来源转述的 OpenAI 声称或目录声称，未独立验证；证明是否成立、是否新颖、适用范围如何，均待数学界核验。

• 准黎曼猜想：声称 ζ 函数和所有狄利克雷 L 函数在实部大于 7/8 的区域没有零点；另一份独立证明给出实部大于 11/12 的版本，并声称一致排除“西格尔零点”。
• 有理数域上的希尔伯特第十问题：声称不存在通用算法判断整数系数多项式是否有有理数解。整数版本 1970 年由马季亚谢维奇解决，有理数版本长期未决。
• BSD 猜想：声称针对满足 Selmer 余秩为 0 或 1 等条件的椭圆曲线得到完整公式；结合仓库另一组结果，按密度统计可覆盖每条有理数域上椭圆曲线的绝大多数二次扭曲。
• 霍奇猜想：处理具有特殊复乘结构的阿贝尔簇，以及 K3 曲面的乘积；关于复乘阿贝尔簇的论文声称覆盖该对象的所有维度和余维。但霍奇猜想本身涉及更广，这批论文只覆盖上述范围。
• π 的无理性指数：声称恰好为 2；来源称此前最好结果只能压到约 7.1。
• 卡塔兰常数：声称证明其为无理数。
• 唯一游戏猜想：目录中声称证明该猜想，并给出最大割、顶点覆盖等问题的近似难度结论。该猜想 2002 年由 Khot 提出，2018 年数学家证明了弱化版本。
• 其他：稀疏自旋玻璃的梅扎尔—帕里西公式、量子海森堡铁磁体自发磁化、自由群因子同构、三维单种粒子相对论性弗拉索夫—麦克斯韦方程整体光滑解等。

产业意义：AI for math 正从单点演示走向“大批量成果发布”，但核验、可读性、引用规范、成果归属和同行评审流程成为瓶颈。若结果成立，可能改变数学研究流程；若不成立，则暴露规模化生成中的验证缺口。

为什么重要

• 这是 AI 公司以前所未有规模向数学界投放潜在研究成果，直接触及知识生产、同行评审、归因与信任机制。
• 由九位学者组成的独立数学与 AI 顾问组发表声明，成员包括 Timothy Gowers、Martin Hairer、Edward Witten。他们承认这是数学界的大事，但表示此前给 OpenAI 提过建议，不代表已认可这些结果，也不代表认可 OpenAI 产出成果的过程。
• 得克萨斯大学奥斯汀分校数学家 Francesco Maggi 质疑：9 月流体力学证明专家还没研究清楚，再来数百篇，谁有精力读？他并不反对 AI 做数学，但担心产出速度远超人类理解速度。
• 报道还提到 9 月流体力学争议、纳维–斯托克斯证明、成果归属争执，以及陶哲轩、Cédric Villani 等人对 AI 数学速度的强烈反应。这些背景说明争议不只在“结果对不对”，也在“研究生态如何承受”。
• 与已有卡片无直接重复；本条可视为对“AI 产业影响科研生态”脉络的增量：记录 OpenAI 批量数学成果发布及数学界对核验与可读性的反应。

局限与不确定性

• 上述“证明/结果”均为来源转述的声称，尚未经独立验证；正确性、新颖性、适用范围待核实。
• 模型未发布，名称、架构、训练细节未知，待核实。
• 722 篇、372 组、约 4000 个问题、算力约等于 ChatGPT Pro 思考 3 小时等统计，需以 OpenAI/GitHub 原文为准，待核实。
• 部分成果没有 Lean 形式化证明，核验进度不一；人工编辑范围有限。
• 顾问组声明、8 月约 40 名数学家会议、9 月流体力学争议、WIRED 报道、陶哲轩/Villani/Maggi 言论等，均需查原始声明、演讲或报道，待核实。
• “28 天挑战赛”及四项产品更新来自来源转述，官方状态和具体规则待核实。

可用于图书/PPT/简报的角度

• AI 生成科研论文的规模化发布，与人类“阅卷能力”之间的速度差。
• 数学家、AI 公司与独立顾问组之间的信任、归因、同行评审冲突。
• Lean 形式化证明在 AI 数学成果核验中的角色与不足。
• GitHub 仓库、推理摘要、研讨会等新型科研发布与传播方式。
• AI 公司竞争：OpenAI 与 Anthropic 等在数学成果、Codex 和模型生态上的竞争叙事。
• 产品运营：28 天挑战赛、Auto-review、API 档位简化、Meetings 插件、Decisions API 对开发者与办公场景的影响。

原始材料

• 原始标题：OpenAI一夜甩出722篇数学论文！黎曼霍奇BSD全上阵，数学家：读不过来
• 来源：量子位（QbitAI）
• 作者：听雨
• 来源时间：2026-10-07 09:05:13
• URL：https://www.qbitai.com/2026/10/501749.html
• 英文关键词：OpenAI, Lean, GitHub, ChatGPT Pro, Codex, Auto-review, Decisions API, API
• Track / Topics：industry / ai-industry
• 原文参考链接：
  • [1] https://openai.com/index/sharing-ai-progress-in-mathematics/
  • [2] https://github.com/openai/math
  • [3] https://agmai.org/
  • [4] https://x.com/thsottiaux/status/2107575657014468879