OpenAI发布数学成果遭质疑未达标准
先了解这件事
2026年10月6日，OpenAI发布内部前沿模型在解决数学开放问题上的成果，并在GitHub公开Lean证明及研究资料。10月7日，The Verge报道指出该仓库包含由未公开模型生成的722份手稿，声称解决“数百”个长期存在的数学开放问题，涵盖372个结果族。同日，量子位披露这些手稿涉及黎曼猜想等千禧难题级别问题，三位菲尔兹奖得主声明此举不代表认可其结果。最新报道Latent Space称这722篇论文解决了前500大开放问题中的90个。需注意，早先报道称解决“数百”个问题且涉及千禧难题，后续报道具体化为解决前500大问题中的90个，两者在问题数量级及具体范围描述上存在差异。The Decoder进一步确认GitHub发布的是372项经Lean形式化验证的数学成果，并指出25位菲尔兹奖得主警告此举可能削弱对数学概念的理解。10月9日，TechCrunch报道指出OpenAI发布的解法未达到普林斯顿高等研究院AGMAI顾问组制定的标准。在719份手稿中，仅10份包含模型思维链，且58%的证明未经过形式化处理。剑桥大学等机构的新论文还指出，针对纳维-斯托克斯方程相关问题的自然语言证明与Lean代码存在翻译差异，引发对AI自主解题可靠性的质疑。10月10日，The Verge再次报道，OpenAI发布近400项AI生成数学结果，涵盖组合学、几何等领域共700多篇手稿。仅约42%的成果完成Lean形式化验证，其余处于不同阶段。多位数学家表示理解这些内容需耗时数年，并担忧低质量“AI slop”及归属问题。10月11日，量子位报道OpenAI公开的手稿中包含声称证明三维挂谷极大函数猜想及四维挂谷猜想的论文，将王虹团队成果推向更高维度。陶哲轩等数学家对此表示抵制，担忧AI批量解题破坏传统研究生态与审稿机制。
AI 根据报道生成 · 4 天前更新
事件进展
- 10月11日 13:23 · 1 篇报道OpenAI发布722篇数学手稿声称证明四维挂谷猜想引发学界争议量子位：OpenAI 发布四维挂谷猜想证明手稿，引发数学界争议
- 10月10日 03:09 · 1 篇报道OpenAI发布近400项AI生成数学成果引发争议The Verge · AI：OpenAI 发布近 400 项 AI 生成数学成果，数学家称需数年消化
- 10月9日 02:10 · 1 篇报道OpenAI数学解题方案未达学界标准TechCrunch · AI：OpenAI 数学解法未达 AGMAI 标准
- 10月6日 20:00 · 5 篇报道OpenAI发布数学前沿模型成果及Lean证明代码OpenAI News：OpenAI 发布前沿模型在数学开放问题上的新成果
报道时间线
沿着报道，了解事件的不同侧面。
- 量子位OpenAI 发布四维挂谷猜想证明手稿，引发数学界争议
OpenAI 于10月7日在GitHub公开722篇数学手稿，其中包含声称证明三维挂谷极大函数猜想及四维挂谷猜想的论文，将王虹团队成果推向更高维度。这些未通过同行评审且仅42%形式化的结果引发陶哲轩等数学家抵制，担忧AI批量解题破坏传统研究生态与审稿机制。
- The Verge · AIOpenAI 发布近 400 项 AI 生成数学成果，数学家称需数年消化
OpenAI 本周突然发布近 400 项 AI 生成的数学结果，涵盖组合学、几何等 700 多篇手稿。仅约 42% 的成果完成 Lean 形式化验证，其余处于不同阶段。多位数学家表示理解这些内容需耗时数年，并担忧低质量“AI slop”及归属问题。
- TechCrunch · AIOpenAI 数学解法未达 AGMAI 标准
OpenAI 本周发布的数百个数学问题解法未达到普林斯顿高等研究院 AGMAI 顾问组制定的标准。在 719 份手稿中，仅 10 份包含模型思维链，且 58% 的证明未经过形式化处理。剑桥大学等机构的新论文指出，OpenAI 针对纳维-斯托克斯方程相关问题的自然语言证明与 Lean 代码存在翻译差异，引发对 AI 自主解题可靠性的质疑。
- The DecoderOpenAI 在 GitHub 发布 372 个 AI 生成的数学证明
OpenAI 在 GitHub 发布由内部前沿模型生成的 372 项数学成果，涵盖黎曼猜想等进展。多数结果经 Lean 形式化验证以应对人工审查瓶颈，平均耗时约 3 小时 ChatGPT Pro Thinking 算力。此举引发学界争议，25 位菲尔兹奖得主警告其可能削弱对数学概念的理解。
- Latent SpaceOpenAI 发布 722 篇数学论文解决 90 个顶级开放问题
OpenAI 发布内部模型生成的 722 篇数学论文，解决了前 500 大开放问题中的 90 个。该成果平均耗时 3 小时 ChatGPT Pro 算力，被专家誉为百年来数学界最重要时刻。
- 量子位OpenAI 公开 722 篇数学手稿，涉黎曼猜想等千禧难题
OpenAI 公开由未发布内部模型生成的 722 篇数学手稿，涵盖准黎曼猜想、霍奇猜想及 BSD 猜想等前沿问题。每项结果平均消耗算力相当于 ChatGPT Pro 思考 3 小时，部分成果已上传 GitHub。三位菲尔兹奖得主组成的顾问组声明，此举不代表认可其结果或产出过程，数学家担忧验证速度滞后于生成速度。
- The Verge · AIOpenAI 发布未公开前沿模型解决的数百个数学开放问题
OpenAI 通过 GitHub 仓库发布了由一个未公开的前沿模型生成的 722 份手稿，声称解决了“数百”个长期存在的数学开放问题。这些成果涵盖 372 个结果族，平均每个结果相当于 ChatGPT Pro 思考三小时的算力消耗。此次发布旨在响应 AGMAI 关于负责任传播 AI 数学成果的倡议，并承诺未来改进论文质量与引用规范。
- OpenAI NewsOpenAI 发布前沿模型在数学开放问题上的新成果
OpenAI 发布了内部前沿模型在数学开放问题上的最新研究成果。相关 Lean 证明形式化内容及研究细节已在 GitHub 上公开分享。
本事件热度走势
当前热度 3·可比范围峰值 23（10月9日 03:00）·近 24 小时可比范围变化 -51%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。