OpenAI 一次性发布 722 篇数学预印本引发学界激战

OpenAI 于一周内一次性发布 722 篇数学预印本，针对 372 个横跨数学各领域的开放问题，宣称解决约 63%，或成数学史上单次产出之最。菲尔兹奖得主、IHES 与日内瓦大学教授 Hugo Duminil-Copin 公开表示冲击「始料未及」，称数十篇论文涉及其研究方向、「他们歼灭了我的研究领域」，甚至为此落泪，并断言「解题已经不再有任何价值」，主张数学转型为一门研究人类如何思考与抽象的「人类科学」。此事件引发数学界对 AI 证明质量、验证责任与职业未来的全面激辩。

已确认

• 发布规模：722 篇预印本、372 个开放问题、宣称解决 63%，数字来自 Gavin Leech 等三人的独立评估长文（m19），他们将其称为「钻石倾销」（diamond dump）（m18）。
• 质量参差有实证：数论博主 Persiflage（UCLA 教授 lpachter）点评其中代数数论成果，确认在虚二次域椭圆曲线模性上取得突破——Caraiani 与 Newton 此前已解决 X₀(15) 秩为零情形，OpenAI 推进了模 3、模 5 表示可约等难点；但 Hodge 猜想相关论文因符号错误被撤回（m7、m15）。
• NYU 数学教授 Tristan Buckmaster 公开批评这批论文「摧毁了整个研究方向」「摧毁了早期职业数学家的生涯」，并发布视频回应争议（m8、m16、m20）。
• 《科学美国人》撰文梳理其中最令人兴奋的结果（m10），说明发布确实包含被认可的亮点。
• 前 OpenAI 研究员 Suchenzang 为发布辩护，同时转述 Keith Ramphal 的批评：论文有有趣结果也有明显错误，且都埋在写得极差、任何其他公司都不好意思发布的文本里，「让数学家免费做验证的苦力」（m6）。
• 知名数学家 littmath（AlphaProof 团队成员、Terence Tao 合作者）认为 OpenAI 许多结果「算不上证明」，并将其类比为 de Branges 关于 Bieberbach 猜想的历史案例（m11）；MichaelDruggan 补充 1964 年 de Branges 声称证明不变子空间问题、数十位数学家逐行审查约 70 页手稿、Paul Halmos 两个月后退出审稿的旧事作为镜鉴（m16）。
• All-In 播客中 David Friedberg 给出极高评价，称其为「人类历史上最大的发现日」，认为催生的知识将影响电子、量子计算、医疗设备等领域（m9）。

尚未确认

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

为什么重要

• 验证责任之争成为焦点：Keith Ramphal 等人批评这批论文「错误与突破齐飞」且埋在写得极差的文本里，实质是让数学家免费充当 RLHF 审校环境（m3、m6、m12）；m12 的评论者反讽称，若论文写得漂亮、Lean 代码零错误，职业数学家的绝望会远比现在深。
• 职业冲击引发广泛共鸣：Peter Thiel 断言「对搞数学的人来说情况比搞文字的人糟糕得多」（m5）；mattyglesias 则从另一面调侃 AI 撞破数学难题却写不好文章，对人文学科是从业者久违的好消息（m4）。
• 评价两极分化：一边是 Friedberg「史上最大发现日」的盛赞，一边是 Buckmaster「摧毁生涯」的痛批，中间是 Persiflage 式的技术性甄别——这恰恰说明这批成果无法用单一标签概括。
• 这场争论实质触及 AI 时代科学出版的规则重构：证明的正确性由谁担保、预印本洪流如何评审、青年学者的评价体系是否还成立，均是悬而未决的系统性问题。

2026-10-10 ~ 2026-10-11 · 30 条相关

事件全程(共 17 集)→

• 第 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,30 条)
• 第 17 集:X 上激辩：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

另有 4 条近重复转述:scientificamerican · AlexTensor · basedjensen · ChrSzegedy