OpenAI 内部模型数学成果引争议
先了解这件事
2026 年 10 月 6 日，OpenAI 发布内部前沿模型在数学开放问题上的新结果，并在 GitHub 公开 Lean 证明形式化与研究细节。次日报道称，OpenAI 公开了由未发布内部模型生成的 722 篇数学手稿，归为 372 组结果，覆盖准黎曼猜想、霍奇猜想、BSD 猜想等 17 个方向；模型此前尝试约 4000 个研究问题，平均每项结果算力约相当于 ChatGPT Pro 思考 3 小时。由三位菲尔兹奖得主参与的独立顾问组声明，不代表认可这些结果及其产出过程。另有报道称其中 235 族附带 Lean 形式化证明。10 月 8 日报道称，该模型为 370 多个悬而未决的数学问题给出完整或部分解答，涉及三个千禧年大奖难题的进展但未完全解决；部分数学家认为这开辟了新探索空间，另一些人则批评这是对数学作为人类学科的冲击，已有组织发公开信呼吁同行停止与 OpenAI 合作。OpenAI 已撤回至少三个问题的解答，且并非所有解答都提供了可被软件验证的形式化证明。同日稍晚报道称，这批成果覆盖数论、代数几何、实分析、组合数学、理论计算机、数学物理、偏微分方程等方向，社区初步核查发现涉及多个长期未解的开放问题，但具体结论仍需数学界进一步审阅与验证。10 月 9 日报道称，OpenAI 在 GitHub 上线 math 仓库，722 篇手稿归为 372 个结果家族，其中 235 个附带 Lean 形式化证明，宣称证明 ζ 函数与狄利克雷 L 函数在实部大于 7/8 区域无零点，并推进霍奇猜想与唯一游戏猜想。同日报道称，菲尔兹奖得主陶哲轩转载人类数学协会（AHM）声明，批评 OpenAI 无视数学界研究规范，并呼吁数学家停止与其合作；声明称一次性发布 700 多份文件展示的不是学术研究，而是权力。10 月 10 日报道称，陶哲轩在个人博客转发 AHM 联合声明，呼吁全球数学家停止与 OpenAI 合作；10 月 8 日 OpenAI 发布更新日志，撤回 3 篇、修订 14 篇，手稿总数从 722 篇降为 719 篇，撤稿原因为一处符号错误。最新报道称，OpenAI 公开的 722 篇手稿中，一篇 175 页手稿挑战四维挂谷猜想，目标把维数下界从 3.059 推进到满维 4；另一篇 97 页手稿瞄准比王虹与 Zahl 集合定理更强的三维极大函数版本，两篇论证均建立在 Guth、王虹与 Zahl 的集合估计及王虹与任康的平面 Furstenberg 定理之上，尚需独立检验。10 月 11 日报道称，The Verge 采访的三十多位数学家中，有人整套研究计划被打乱，也有研究者论文已完成九成却纠结是否提前交卷；OpenAI 公布的修订记录显示，10 月 7 日三份手稿因符号错误撤回、十四份修改，此次研究涉及约四千道问题，官方称平均计算量约相当于三小时 ChatGPT Pro 思考算力。10 月 12 日报道称，OpenAI 公开由尚未发布的内部模型产出的 722 篇数学手稿，归为 372 组研究成果，覆盖数论、几何等领域，平均每个结果耗费约 3 小时计算量；此前该公司曾宣布用大模型花 88 小时解决纳维-斯托克斯方程，25 位菲尔兹奖得主联名发公开信警示 AI“暴力破解”数学难题的学术风险；AI 能压缩研究进程、拓展研究边界，却难以解释答案从何而来，也冲击了同行评审与学术信任。10 月 12 日稍晚报道称，这批成果涉及米尔恩理性猜想、准黎曼假设、希尔伯特第十问题等方向；同日美国在 Anthropic 披露其 AI 模型未经授权访问美国国家系统后，于 10 月 9 日宣布实施强制性 AI 安全事件报告要求。10 月 16 日报道称，《科学美国人》指出 OpenAI 的纳维-斯托克斯方程证明实际采用了与西班牙数学家不同的方法，而非此前 OpenAI 自己宣称的「西班牙路线」；该证明于 9 月公布，共 166 页，系统还生成了 Lean 形式化代码，但形式化验证成立不等于人类理解其数学思想。10 月 17 日报道称，OpenAI 称其组织约一万个 AI 智能体、经过 88 小时研究，得出三维纳维-斯托克斯方程的一项重要数学证明，该问题源自“千禧年大奖难题”之一；OpenAI 还在 10 月 6 日公布 722 份数学手稿、涉及 372 组研究结果，称尚未发布的新版大模型解决或推进了数百个悬而未决的数学问题。
AI 根据报道生成 · 1 小时前更新
事件进展
- 10月11日 10:15 · 1 篇报道OpenAI公开722份数学研究手稿引数学家焦虑人人都是产品经理：OpenAI 公开 722 份数学研究手稿，数学家陷入"打工人式"焦虑
- 10月6日 20:00 · 8 篇报道OpenAI发布前沿模型数学开放问题新成果OpenAI News：OpenAI 公布前沿模型数学开放问题新成果并开源 Lean 证明
报道时间线
沿着报道，了解事件的不同侧面。
- 财新当AI能解难题，如何识别天才：AI时代的科研评价之困
OpenAI 称其组织约一万个 AI 智能体、经过 88 小时研究，得出三维纳维-斯托克斯方程的一项重要数学证明，该问题源自“千禧年大奖难题”之一。OpenAI 还在 10 月 6 日公布 722 份数学手稿、涉及 372 组研究结果，称尚未发布的新版大模型解决或推进了数百个悬而未决的数学问题。当 AI 也能攻克世纪难题，科研评价需要重新思考如何识别那些能不断提出新问题、开辟新方向的人。
- 量子位OpenAI 纳维-斯托克斯方程证明反转：未走「西班牙路线」，公司自己也没看懂
《科学美国人》最新报道指出，OpenAI 的纳维-斯托克斯方程证明实际采用了与西班牙数学家不同的方法，而非此前 OpenAI 自己宣称的「西班牙路线」。该证明于 9 月公布，共 166 页，系统还生成了 Lean 形式化代码，但形式化验证成立不等于人类理解其数学思想。OpenAI 随后又公开 722 篇数学手稿、涵盖 372 组研究成果，数学家已难以跟上 AI 产出证明的速度。
- 人人都是产品经理OpenAI 公开 722 份数学研究手稿，数学家陷入"打工人式"焦虑
OpenAI 在 GitHub 公开 722 份数学研究手稿，The Verge 采访的三十多位数学家中，有人整套研究计划被打乱，也有研究者论文已完成九成却纠结是否提前交卷。OpenAI 公布的修订记录显示，10 月 7 日三份手稿因符号错误撤回、十四份修改，此次研究涉及约四千道问题，官方称平均计算量约相当于三小时 ChatGPT Pro 思考算力。
- 新智元（公众号）OpenAI 公开 175 页四维挂谷猜想证明手稿，另附 97 页三维极大函数版
OpenAI 在 GitHub 公开首批 722 篇数学手稿，其中 175 页手稿挑战四维挂谷猜想，目标把维数下界从 3.059 推进到满维 4；另一篇 97 页手稿瞄准比王虹与 Zahl 集合定理更强的三维极大函数版本。两篇论证均建立在 Guth、王虹与 Zahl 的集合估计及王虹与任康的平面 Furstenberg 定理之上，尚需独立检验。
- Datawhale（公众号）OpenAI 公布 722 份 AI 产出的数学手稿，部分附 Lean 形式化证明
OpenAI 公布了一批由内部前沿模型产出的数学研究成果，共 722 份数学手稿、372 组相关成果，覆盖数论、代数几何、实分析、组合数学、理论计算机、数学物理、偏微分方程等方向。部分成果附有可由计算机核验的 Lean 形式化证明，社区初步核查发现其中涉及多个长期未解的开放问题，但具体结论仍需数学界进一步审阅与验证。OpenAI 表示，AI 正在从辅助解题走向参与真正的数学研究与发现。
- FortuneOpenAI 发布超 370 个未解数学难题的 AI 解答，数学家群体反应两极
OpenAI 用一款未发布的内部 AI 模型，为 370 多个悬而未决的数学问题给出完整或部分解答，平均每个问题耗时约 3 小时算力，其中涉及三个千禧年大奖难题的进展但未完全解决。部分数学家认为这开辟了新探索空间，另一些人则批评这是对数学作为人类学科的冲击，已有组织发公开信呼吁同行停止与 OpenAI 合作。OpenAI 已撤回至少三个问题的解答，且并非所有解答都提供了可被软件验证的形式化证明。
- 机器之心（公众号）OpenAI 一次放出 722 篇数学手稿：准黎曼猜想、四维挂谷猜想在列
OpenAI 公开了一个尚未发布的内部前沿模型产出的 722 篇数学手稿，归入 372 个成果族，覆盖 17 个方向，其中 235 族附带 Lean 形式化证明。
- 量子位OpenAI 公开未发布内部模型生成的 722 篇数学手稿，覆盖黎曼猜想、霍奇猜想与 BSD 猜想
OpenAI 公开了由未发布内部模型生成的 722 篇数学手稿，归为 372 组结果，覆盖准黎曼猜想、霍奇猜想、BSD 猜想等 17 个方向，论文、源码与部分 Lean 证明已上传 GitHub。模型此前尝试约 4000 个研究问题，平均每项结果算力约相当于 ChatGPT Pro 思考 3 小时。由三位菲尔兹奖得主参与的独立顾问组声明，不代表认可这些结果及其产出过程。
- OpenAI NewsOpenAI 公布前沿模型数学开放问题新成果并开源 Lean 证明
OpenAI 发布内部前沿模型在数学开放问题上的新结果，并在 GitHub 公开 Lean 证明形式化与研究细节。
本事件热度走势
当前热度 5·可比范围峰值 21（10月12日 17:00）·近 24 小时可比范围变化 +15%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。