OpenAI 公开 722 篇 AI 数学手稿，成果遭质疑未达标准
先了解这件事
2026 年 10 月 7 日，OpenAI 将一款未发布内部前沿模型产出的数学研究成果公开到 GitHub 仓库，共 722 篇手稿、分为 372 个结果族，涵盖约 4000 个研究问题的评估，涉及黎曼猜想、霍奇猜想、BSD 猜想等千禧难题，并附有论文修订与引用规范协议。OpenAI 称平均每条结果消耗约三小时 ChatGPT Pro Thinking 算力，多数证明附有 Lean 语言形式化，可由计算机校验。新成立的数学顾问组 AGMAI（含三位菲尔兹奖得主）发表声明，称不代表认可这些结果及其产出过程。10 月 9 日，AGMAI 指出 OpenAI 仍在用开放研究问题测试专有模型，719 份手稿中仅 10 份公开了模型思维链，仅 42% 的证明完成形式化；剑桥大学与伦敦国王学院的论文进一步揭示，针对 Navier-Stokes 方程的解法在自然语言证明与 Lean 代码间存在至少两处不一致。早先报道称每条结果来自对单个智能体的单次提示，而此前 Navier-Stokes 解法曾需要一万个智能体和数百万美元算力。
AI 根据报道生成 · 6 天前更新
事件进展
- 10月9日 02:10 · 1 篇报道OpenAI 的数学解题成果尚未达到该领域的标准TechCrunch · AI：OpenAI 的数学解题成果尚未达到该领域的标准
- 10月7日 07:26 · 5 篇报道OpenAI 发布又一批数学突破成果The Verge · AI：OpenAI 发布又一批数学突破成果
报道时间线
沿着报道，了解事件的不同侧面。
- TechCrunch · AIOpenAI 的数学解题成果尚未达到该领域的标准
OpenAI 本周发布了数百个声称解决世界级数学难题的证明，但被指未达到数学界标准。AGMAI 指出 OpenAI 仍在用开放研究问题测试专有模型，且 719 份手稿中仅 10 份公开了模型思维链，仅 42% 的证明完成了形式化。剑桥大学与伦敦国王学院的论文进一步揭示，OpenAI 针对 Navier-Stokes 方程的解法在自然语言证明与 Lean 代码间存在至少两处不一致。
- The Decoder精选OpenAI 在 GitHub 发布 372 条 AI 生成的数学结果，称学术界需跟上
OpenAI 在 GitHub 仓库发布 372 条由内部前沿模型生成的数学结果，称每条结果都针对某个开放问题或其实质性进展。多数证明附有 Lean 形式化，平均每条消耗约三小时 ChatGPT Pro Thinking 算力；此前 Navier-Stokes 解法需要一万个智能体和数百万美元算力，而这次几乎每条结果都来自对单个智能体的单次提示。
- Latent Space精选OpenAI 公布内部模型 722 篇数学手稿，被称为百年来数学界最重要时刻
OpenAI 将内部前沿数学模型的 722 篇手稿（分为 372 个结果族）公开到 GitHub 仓库，模型本身仍未发布；结果来自约 4000 个研究问题的评估，平均每个耗费约 3 小时 ChatGPT Pro 算力，发布前咨询了高等研究院的数学与 AI 顾问组。
- 36氪OpenAI 发布前沿大模型全新数学能力测试成果
OpenAI 通过 GitHub 代码库公开其内部前沿大模型生成的一系列全新数学研究成果，并附带论文修订与引用的规范协议。成果包含 Lean 语言形式化证明，可让数学证明内容直接通过计算机完成校验；单份成果平均消耗的算力约等于 ChatGPT Pro 三小时的深度推理时长。
- 量子位精选OpenAI一夜公开722篇数学手稿，黎曼猜想、霍奇猜想、BSD猜想全上阵
OpenAI一口气公开722篇出自未发布内部模型的数学手稿，归为372组结果，论文、源码和部分Lean证明已上传GitHub。手稿涉及黎曼猜想、霍奇猜想、BSD猜想三道千禧难题，OpenAI称平均每项结果消耗算力约相当于ChatGPT Pro思考3小时。由九位学者组成的独立顾问组（含三位菲尔兹奖得主）发声明称，不代表认可这些结果及其产出过程。
- The Verge · AI精选OpenAI 发布又一批数学突破成果
OpenAI 公布了由一款未发布前沿模型产出的数学研究成果，共 722 篇手稿、覆盖 372 个结果族，据新成立的数学顾问组 AGMAI 称其中包含数百个开放问题的解答。
本事件热度走势
当前热度 3·可比范围峰值 29（10月9日 06:00）·近 24 小时可比范围变化 -80%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。