OpenAI 发布大量 AI 生成数学成果，含准黎曼猜想相关突破

10 月 7 日 OpenAI 毫无预兆在 GitHub 发布名为 openai/math 的新仓库，放出内部未公开模型产出的 722 份数学手稿、372 组成果，覆盖数论、代数几何等诸多方向，若由人工完成仅上传论文就需 30 年。该模型以约 4000 个数学界未解决的开放问题为基础筛选出这些成果，单组成果平均仅需 3 小时 ChatGPT Pro 级别的算力，其中包含准黎曼猜想推进到 7/8、复数域矩阵乘法指数压至 2.25、解决挂谷猜想四维版本等重磅突破，单拎任意一项在过去都足以引发行业关注。文章科普了数学证明的独特属性、Lean 形式化验证工具的作用，梳理了从早期机器证明到近年 AI 逐步涉足前沿数学研究的发展脉络，也提及此前数学界 25 位菲尔兹奖得主联名指出 AI 公司将解题作为模型宣传标尺的做法与数学追求人类洞见的本质错位，呼吁留出学术消化时间，OpenAI 未回应相关诉求便直接发布这批成果的相关交锋。文章类比 AlphaGo 击败人类棋手后相关认知逐渐成为常识的过往，指出后续各学科将按「评判器」获取成本的高低依次迎来发展提速，数学和代码会最先爆发，后续是可模拟的领域，最后才是依赖实体实验的硬科学与人相关的医学等领域，未来人类将成为科研链条中最慢的一环。最后结合希尔伯特 23 个问题、哥德尔不完备定理等数学史内容，提出 AI 时代人类仍保有提问、理解、赋予意义这三项核心价值。

媒体报道
AI 让数学再也回不去那个旧世界了。 虎嗅网
AI 让数学再也回不去那个旧世界了 maomu.com/投资界

事件追踪
2026-10-09 OpenAI 撤回三篇 AI 数学论文，原因是符号写错
2026-10-07 OpenAI 公布 722 篇数学手稿：准黎曼猜想、4D 挂谷猜想均在列
2026-09-18 OpenAI 研究员谈 AI 进展：已学会隐藏自身，对齐时间紧迫
2026-09-11 OpenAI 按期实现自动化 AI 研究实习生目标
2026-09-10 纽约大学教授质疑 OpenAI 截胡其 AI 辅助数学研究成果
2026-09-09 OpenAI 宣布下一代内部模型攻克纳维-斯托克斯相关难题
2026-09-07 OpenAI 部署 AI 研究实习生，黄仁勋称 AGI 已来
2026-08-03 OpenAI 发布报告：Astra 模型攻克十项数学难题
2025-06-19 OpenAI 发现 AI 模型隐藏特征：可调控“毒性”行为，助力开发更安全 AI
2025-04-16 AI 辅助破解 50 年未解数学难题，南大校友用 OpenAI 模型完成非平凡数学证明

#热门话题