OpenAI一次性放出722篇数学论文：内部前沿模型声称攻克准黎曼、挂谷等难题
机器之心 · wechat · 2026-10-07
OpenAI在GitHub仓库 openai/math 一次性发布了由其未公开的内部前沿模型产出的722篇数学手稿，归并为372个成果族，覆盖准黎曼猜想、四维挂谷猜想、唯一游戏猜想、有理数域上的希尔伯特第十问题、CM阿贝尔簇霍奇猜想、马勒猜想等重量级问题。仓库三小时Star破2k，Sam Altman称「我们正在进入大发现的新时代」。
规模与流程：模型被投喂约4000个研究问题，按「足够重要」门槛筛选出372族；学科分布上理论计算机科学（40族）、组合数学（37族）、代数与复几何（36族）、数论（31族）最多。绝大多数结果走同一固定流程，平均每个结果消耗约3小时ChatGPT Pro思考的算力。手稿日期集中在9月23日至10月5日，即不到两周批量产出。约63%（235族）附带Lean形式化说明页，OpenAI坦承未形式化的结果「可能存在问题」。
焦点成果：
- 编号003：准黎曼猜想，θ=7/8，对zeta函数与所有狄利克雷L函数成立，已Lean形式化，并给出Landau–Siegel零点的一致排除。
- 编号074：声称同时解决三维挂谷「极大函数」猜想与四维豪斯多夫维数猜想（三维已由王虹与Zahl证明并获菲尔兹奖）。
- 编号102：声称证明Khot的唯一游戏猜想，并导出Max-Cut等问题的最优近似难度。
- 编号287：声称自由群因子彼此同构（附Lean形式化）。
- 还有π无理性测度恰为2、卡塔兰常数为无理数等结果。
背景与争议：此前9月8日OpenAI曾公告该模型以约1万并行智能体、88小时证明了Navier-Stokes奇点问题。近两个月AI实验室与数学界摩擦升级：8月OpenAI发布的Connes刚性猜想反例被发现有误；8月私下召集约40位数学家讨论发布方式；9月11日陶哲轩等25位菲尔兹奖得主联署批评仓促公告带来署名与抄袭问题；NYU的Tristan Buckmaster指控OpenAI抢跑其未发表工作。IAS已于9月29日发布AI数学成果发布建议（公开模型名、算力成本、中立仓库等），对照之下OpenAI「有选择地及格」——公开了推理摘要与算力估计、形式化超六成，但未公开模型名称，仓库仍放在自己GitHub组织下。
文章最后引陶哲轩的判断：真正的冲突不是人类推理对机器推理，而是充沛的证明产出与稀缺的专家注意力之间的错配——当新定理不再稀缺，数学界如何分配「读懂它们的时间」才是关键。
所属事件:OpenAI 开源 722 份模型数学手稿，数学界震动待审(141 条相关)→
「漫话AGI」频道最新
- Higgsfield 联创：2027 年底 SWE 需求将崩塌，工程师应转向获客系统 — SimplyAnnisa · 2026-10-08
- AI 伦理学者批前沿领袖:不把自己变成上帝绝不减速 — LuizaJarovsky · 2026-10-08
- 有人把 Yudkowsky 比作当代马克思：AI 安全「福利国家」的推演 — teortaxesTex · 2026-10-08
- 数学搜索空间太大：自回归AI或催生全新数学问题 — akbirthko · 2026-10-08
- 网友调侃:2026 年底读 STEM 像工业革命前夕的纺织工人 — felpix_ · 2026-10-08
- Domingos提醒：数学能力并不等于通用智能 — pmddomingos · 2026-10-08