OpenAI 一次发布 722 篇数学论文，菲尔兹奖得主痛哭、数学界激辩

OpenAI 于一周内一次性发布 722 篇数学预印本，针对 372 个横跨数学各领域的开放问题，宣称解决约 63%，或成数学史上单次产出之最。菲尔兹奖得主、IHES 与日内瓦大学教授 Hugo Duminil-Copin 据《世界报》报道「周二晚上哭了，还吵醒了女儿」，称 OpenAI「歼灭了我的研究领域」——他手头正在做的 16 个问题被直接解决，甚至断言「解题已经不再有任何价值」，主张数学转型为一门研究人类如何思考与抽象的「人类科学」。此事引发数学界对 AI 证明质量、验证责任与职业未来的全面激辩。

已确认

• 发布规模：722 篇预印本、372 个开放问题、宣称解决 63%，数字来自 Gavin Leech 等三人的独立评估长文，他们将其称为「钻石倾销」。
• The AI Daily Brief 节目称这批结果包含黎曼猜想的部分进展，每条证明平均约需 3 小时算力，并有数学家将其类比为围棋界的「Move 37」时刻。
• 质量参差有实证：数论博主 Persiflage（UCLA 教授 lpachter）点评其中代数数论成果，确认在虚二次域椭圆曲线模性上取得突破——Caraiani 与 Newton 此前已解决 X₀(15) 秩为零情形，OpenAI 推进了模 3、模 5 表示可约等难点；但 Hodge 猜想相关论文因符号错误被撤回。
• NYU 数学教授 Tristan Buckmaster 公开批评这批论文「摧毁了整个研究方向」「摧毁了早期职业数学家的生涯」。
• 《科学美国人》撰文梳理其中最令人兴奋的结果，说明发布确实包含被认可的亮点。
• 前 OpenAI 研究员 Suchenzang 为发布辩护，同时转述 Keith Ramphal 的批评：论文有有趣结果也有明显错误，且都埋在写得极差、任何其他公司都不好意思发布的文本里，「让数学家免费做验证的苦力」。
• 知名数学家 littmath（AlphaProof 团队成员、Terence Tao 合作者）认为 OpenAI 许多结果「算不上证明」，并将其类比为 de Branges 关于 Bieberbach 猜想的历史案例；MichaelDruggan 补充 1964 年 de Branges 声称证明不变子空间问题、数十位数学家逐行审查约 70 页手稿、Paul Halmos 两个月后退出审稿的旧事作为镜鉴。
• All-In 播客中 David Friedberg 给出极高评价，称其为「人类历史上最大的发现日」，认为催生的知识将影响电子、量子计算、飞机系统、医疗诊断设备等领域。
• Davide Crapis 从科研生态角度反思：OpenAI 的单方面决策可能「杀死整个科学研究领域」，因为数学博士生与早期研究者失去了作为培养北极星的一整片问题空间，若社区不彻底重塑培养方式，未来将不再有新科学家。

尚未确认

• 有猜测称 OpenAI 全面押注数学是为抢在蚂蚁集团某项重大数学成果之前发布，属观点性解读，无确证。
• 有推文称 OpenAI 自夏天起无视数学家警告、意在把数学包装成 IPO 故事，为单方爆料，未经证实。

为什么重要

• 验证责任之争成为焦点：批评者认为实验室把未经校验的粗糙结果倾倒到公开平台，让专家逐条批注、批注又可能被用于微调模型，实质是让数学家免费充当 RL 审校环境；亦有评论者反讽称，若论文写得漂亮、Lean 代码零错误，职业数学家的绝望会远比现在深。
• 职业冲击引发广泛共鸣：Peter Thiel 断言「对搞数学的人来说情况比搞文字的人糟糕得多」；mattyglesias 则从另一面调侃 AI 撞破数学难题却写不好文章，对人文学科是从业者久违的好消息。
• 评价两极分化：一边是 Friedberg「史上最大发现日」的盛赞，一边是 Buckmaster「摧毁生涯」的痛批，中间是 Persiflage 式的技术性甄别——这恰恰说明这批成果无法用单一标签概括。
• 这场争论实质触及 AI 时代科学出版的规则重构：证明的正确性由谁担保、预印本洪流如何评审、青年学者的评价体系是否还成立，均是悬而未决的系统性问题。

2026-10-10 ~ 2026-10-12 · 37 条相关

事件全程(共 18 集)→

• 第 1 集:OpenAI 数学证明公开与否引学界署名之争(2026-10-06,5 条)
• 第 2 集:传闻 OpenAI 未发布模型证明拟黎曼假设并附 Lean 证明(2026-10-07,3 条)
• 第 3 集:数学家澄清 OpenAI 与 Anthropic 的 Hodge 猜想进展被夸大(2026-10-07,3 条)
• 第 4 集:OpenAI 论文宣称证明准黎曼猜想，数学界称堪比菲尔兹奖(2026-10-07,5 条)
• 第 5 集:OpenAI 数学成果细节:平均每题仅耗 3 小时 GPT-Pro 算力(2026-10-07,11 条)
• 第 6 集:传 OpenAI 数学成果仅发首批，还有两批待发布(2026-10-07,3 条)
• 第 7 集:OpenAI 一夜放出 722 篇数学手稿，数学界震动与分裂(2026-10-08,19 条)
• 第 8 集:OpenAI 数学仓库公开两天即撤回 3 篇论文(2026-10-08,8 条)
• 第 9 集:研究者用 Lean 验证并改进 OpenAI 数学证明(2026-10-08,2 条)
• 第 10 集:西语圈学者质疑：无人读懂 OpenAI 的 Navier-Stokes 证明(2026-10-08,2 条)
• 第 11 集:开发者用 AI 接力 OpenAI 数学发现，13 维最优结果经 Lean 验证并开源(2026-10-08,2 条)
• 第 12 集:OpenAI 单日开源 722 篇 AI 数学手稿引学界震动(2026-10-08,28 条)
• 第 13 集:「别嘲观数学家」引发AI圈激辩与玩梗潮(2026-10-09,6 条)
• 第 14 集:数学界抵制 OpenAI 参与数学研究引争论(2026-10-09,2 条)
• 第 15 集:数百数学家联名警告 AI 正在摧毁数学研究(2026-10-10,2 条)
• 第 16 集:OpenAI 一次发布 722 篇数学论文，菲尔兹奖得主痛哭、数学界激辩(2026-10-10,37 条)
• 第 17 集:X 上激辩：OpenAI 发数学证明是否存在声誉风险(2026-10-10,2 条)
• 第 18 集:OpenAI 投入数百万美元算力攻坚千禧年数学难题(2026-10-10,2 条)

• 《科学美国人》解读 OpenAI 一批新数学证明中最亮眼的成果 — scientificamerican · 2026-10-10
• 数学教授 Tristan Buckmaster 拍视频回应 OpenAI 数学发现争议 — CuTe_M0nitor · 2026-10-10
• 数学家痛批 AI 实验室:把专家当免费的 RL 审校环境 — soumitrashukla9 · 2026-10-10
• 数学家爆料：OpenAI 无视警告，把数学当 IPO 故事包装 — gerardsans · 2026-10-10
• OpenAI 连发 350 多道数学题解答，数学圈反应两极 — stigmatized_ · 2026-10-10
• OpenAI 数学论文被批错误与突破齐飞,数学家免费当 RLHF — suchenzang · 2026-10-10
• 数学家沦为 AI 证明的免费审核工?Lean 圈争论引热议 — turincomplete · 2026-10-10
• mattyglesias 调侃：AI 撞破数学难题却写不好文章，人文学科的翻身之喜 — asusarla · 2026-10-10
• 菲尔兹奖得主落泪:OpenAI 新模型正「歼灭」我的数学研究领域 — alancelin · 2026-10-10
• 业内人士猜测:OpenAI 全线押注数学,意在抢先蚂蚁的数学大发布 — burny_tech · 2026-10-10
• OpenAI 数学成果震动学界，100+ 数学家联名写下真实反应 — keunwoochoi · 2026-10-10
• 菲尔兹奖得主:解题不再有价值,数学应转向人类科学 — soumitrashukla9 · 2026-10-10
• OpenAI 一次性放出 722 篇数学预印本，被称「钻石倾销」 — gleech · 2026-10-10
• OpenAI「钻石倾销」722 篇论文：372 道数学开放题宣称解决 63% — gleech · 2026-10-10
• 前 OpenAI 研究员回怼:发布 AI 论文问题结果也算社区服务 — suchenzang · 2026-10-10
• NYU 数学家批 OpenAI 一次发布 722 篇 AI 论文,毁掉青年学者前途 — HankYeomans · 2026-10-10
• 数学界该如何应对 OpenAI 模型生成证明?社区激辩验证责任 — RexDouglass · 2026-10-10
• Rex Douglass:人类文献本就是谎言垃圾场,只是工业级废料没那乐趣 — RexDouglass · 2026-10-10
• Douglass 回应拒收 AI 证明争论:科学界从不凭信仰采信,举证责任一直在作者 — RexDouglass · 2026-10-10
• 【源头】OpenAI 数论成果解读：虚二次域椭圆曲线模性突破,Hodge 论文因符号错误撤稿 — lpachter · 2026-10-11
• Peter Thiel 断言数学人比文字人更易被 AI 取代,数学界正遭冲击 — _AustinCalvert_ · 2026-10-11
• OpenAI 一口气放出 372 个数学证明,数学家的心态崩了 — genmon · 2026-10-11
• Friedberg 称 OpenAI 数学突破是人类史上最大发现日 — DanScalco · 2026-10-11
• OpenAI 数学手稿引争议，de Branges 1964 年证明失败史被引为镜鉴 — Michael_Druggan · 2026-10-11
• 菲尔兹奖得主谈 OpenAI 数学发布：职业问题全部被证明，冲击巨大 — PianistWinter8293 · 2026-10-11
• 数学家 littmath：OpenAI 许多结果「算不上证明」，类比 de Branges — littmath · 2026-10-11
• 【源头】OpenAI 一次产出 372 项数学新结果，黎曼猜想获部分进展 — The AI Daily Brief · 2026-10-11
• 【源头】菲尔兹奖得主痛哭:OpenAI 700+ 篇 AI 数学稿件冲击其研究领域 — miniapeur · 2026-10-11
• OpenAI 单方决策冲击数学研究,数学家群体陷入恐慌 — DavideCrapis · 2026-10-11
• 数学圈与 AI 圈开撕:「OpenAI 粉碎学术守门」叙事遭反驳 — basedjensen · 2026-10-11

另有 7 条近重复转述:scientificamerican · AlexTensor · basedjensen · ChrSzegedy · Hesamation · jamestagg · inductionheads