OpenAI 发布 AI 生成数学成果引学界争议
先了解这件事
2026 年 10 月 6 日，OpenAI 发布内部前沿模型在数学开放问题上的新结果，并在 GitHub 公开 Lean 证明形式化及研究细节。10 月 7 日，The Verge 报道称 OpenAI 公开了由未发布前沿模型产出的 722 篇数学手稿、覆盖 372 个结果族，独立顾问组织 AGMAI 称其中包含对数百个开放问题的解答；OpenAI 表示这些结果平均消耗相当于 ChatGPT Pro 三小时的思考算力。同日 Latent Space 报道称，这批成果来自约 4000 道研究问题的评测，并称其解决了 500 个公开数学难题中的 90 个；The Decoder 则报道称 GitHub 上发布的是 372 条 AI 生成的数学证明，每条都声称解决了一个开放问题或取得实质进展，其中包含对重要计算机算法的改进以及与黎曼猜想相关的推进。10 月 9 日，TechCrunch 报道称这些解答未完全符合 AGMAI 提出的规范：719 份手稿中仅 10 份公开了模型的思维链，42% 的证明未经过形式化处理；剑桥大学与伦敦国王学院的新论文还记录了 OpenAI 针对 Navier-Stokes 方程相关问题的自然语言证明与 Lean 代码之间至少两处不一致，作者认为这类自动形式化证明不应免于同行评审。10 月 10 日，The Verge 报道称 OpenAI 一次性放出近 400 项 AI 生成数学结果，分布在 700 多份手稿中，覆盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学、数学物理等多个方向，并为此在 GitHub 上发布了仓库导航指南，数学家称需数年才能消化。
AI 根据报道生成 · 10 天前更新
报道时间线
沿着报道，了解事件的不同侧面。
- The Verge · AI精选OpenAI 一次性放出近 400 项 AI 生成数学结果，数学家称需数年才能消化
OpenAI 本周发布近 400 项 AI 生成的数学结果，分布在 700 多份手稿中，覆盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学、数学物理等多个方向，并为此在 GitHub 上发布了仓库导航指南。
- TechCrunch · AIOpenAI 数学解答未达学界标准
OpenAI 本周发布数百个高难度数学问题的解答，但未完全符合普林斯顿高等研究院 AGMAI 提出的规范。719 份手稿中仅 10 份公开了模型的思维链，42% 的证明未经过形式化处理。剑桥大学与伦敦国王学院的新论文还记录了 OpenAI 针对 Navier-Stokes 方程相关问题的自然语言证明与 Lean 代码之间至少两处不一致，作者认为这类自动形式化证明不应免于同行评审。
- The Decoder精选OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明
OpenAI 在 GitHub 上发布了由内部前沿模型生成的 372 条数学结果，每条都声称解决了一个开放问题或取得实质进展，其中包含对重要计算机算法的改进以及与黎曼猜想相关的推进。
- Latent Space精选OpenAI 内部模型发布 722 篇数学论文，称解决 500 个公开数学难题中的 90 个
OpenAI 从一个未公开的内部前沿模型发布了一批数学成果，公开在 GitHub 仓库中，包含 722 篇论文、分为 372 个相关结果族，来自约 4000 道研究问题的评测，平均每个结果消耗约 3 小时 ChatGPT Pro 思考算力。
- The Verge · AI精选OpenAI 发布 722 篇数学手稿，称解决数百个开放问题
OpenAI 公开了一批由未发布的前沿模型产出的数学成果，共 722 篇手稿、覆盖 372 个结果族，据独立顾问组织 AGMAI 称其中包含对数百个开放问题的解答。OpenAI 表示这些结果平均消耗相当于 ChatGPT Pro 三小时的思考算力，并披露了部分推理摘要与算力估算。AGMAI 此前建议 AI 实验室及时通过学术渠道发布数学结果，并避免把成果发布当作模型营销手段。