OpenAI 单日放出 722 篇 AI 数学论文引学界震动

OpenAI 于 10 月上旬一次性公开 722 篇由未公开内部模型生成的数学手稿，托管在 GitHub 的 openai/math 仓库（Apache-2.0 协议，已获超 1.3 万 star），覆盖数论、代数几何、分析、组合数学等方向。数学界反应激烈，学界消化能力与青年学者职业前景成为争论焦点。

已确认

• 手稿共 722 篇，源自对内部模型约 4,000 个研究问题的测试，归为 372 个相关结果家族；OpenAI 称标准流程下每项成果平均消耗约 3 小时的 ChatGPT Pro 思考算力，仅约 42% 的结果做了 Lean 形式化。
• 重大成果包括：四维挂谷猜想的 175 页集合版证明（此前四维仅粘性情形已知、下界停在 3.059）、97 页三维极大函数版挂谷（强于王虹与 Zahl 已证的集合版）、UGC 猜想完整证明、L=BPL 去随机化、O(n^(9/4)) 矩阵乘法新界限等；编号 074 的两篇共 272 页、署名只有一个词。
• NYU 数学教授 Tristan Buckmaster 在 CNBC 及多个场合批评称，这批论文「摧毁了整个研究计划」，断送了早期职业数学家的生涯；UT 教授 Scott Aaronson 亦参与讨论，陶哲轩被报道牵头抵制（此点仅见于中文媒体转述）。
• 《The Verge》采访 30 多位数学家，普遍认为 AI 产出新数学的速度已超过数学界理解、验证和吸收的速度。

尚未确认

• 手稿的发布动机存在争议：有研究者（deredleritt3r，经 RexDouglass 转述）澄清称这批成果并非蓄意「摧毁数学研究」，而是用最难的开放问题压测内部模型的副产品——除千禧年大奖问题等顶级未解难题外，其他题目已不足以考验模型。
• 「数学家集体抵制」「陶哲轩牵头抵制」等说法主要来自中文媒体聚合转述，原始范围与措辞需进一步核实。

为什么重要

• 这是 AI 首次以如此规模产出接近前沿水平的新数学成果，直接冲击「原创证明属于人类」的传统学术秩序，尤其是正处于职业积累期的青年数学家，有人将其处境类比 NAFTA 冲击下的产业工人。
• Nassim Taleb 转发相关报道并评论，Perry Metzger 则公开反驳 Buckmaster，显示学界内部分化明显；keunwoochoi 从技术角度指出数学公式是「自回归性最强、噪声最小的语料」，提示可借这些结果反推数学本身的结构性质。
• 仅 42% 的形式化比例意味着大量证明仍需人工验证，AI 数学成果的可信度审查机制将成为后续核心议题。

2026-10-09 ~ 2026-10-10 · 17 条相关

事件全程(共 15 集)→

• 第 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 集:开发者用 AI 接力 OpenAI 数学发现，13 维最优结果经 Lean 验证并开源(2026-10-08,2 条)
• 第 11 集:OpenAI 数学成果直发 GitHub，引发科学出版模式之辩(2026-10-09,2 条)
• 第 12 集:OpenAI 单日放出 722 篇 AI 数学论文引学界震动(2026-10-09,17 条)
• 第 13 集:数学界抵制 OpenAI 成果引开源与学界人士批评(2026-10-09,3 条)
• 第 14 集:数百数学家联名警告 AI 正在摧毁数学研究(2026-10-10,2 条)
• 第 15 集:数学家集体吐槽沦为 AI 证明的免费审校工(2026-10-10,3 条)

• AI 数学成果引爆抵制潮,Vitalik 警告加密体系面临冲击 — Wes Roth · 2026-10-09
• NYU 数学教授:OpenAI 单日放 722 篇 AI 论文,冲击青年数学家生涯 — tekbog · 2026-10-10
• OpenAI 单日投放 722 篇 AI 数学论文,纽约大学教授称毁掉整个研究方向 — eigenrobot · 2026-10-10
• OpenAI 释出约 400 项数学结果真相:只是内部模型压测的副产品 — RexDouglass · 2026-10-10
• OpenAI 开源内部模型数学成果仓库，含证明工件与推理轨迹，13k 星 — keunwoochoi · 2026-10-10
• 研究者：数学公式是自回归性最强、噪声最小的语料 — keunwoochoi · 2026-10-10
• OpenAI 722 篇数学论文引发众怒，数学家集体抵制 — 新智元 · 2026-10-10
• 王虹刚证三维，OpenAI 272 页手稿直取四维挂谷猜想 — 新智元 · 2026-10-10
• 【源头】OpenAI 一次性发布 722 篇由未公开内部模型完成的数学手稿 — FinanceYF5 · 2026-10-10
• OpenAI 公开 722 篇数学手稿，源自约 4000 个研究问题测试 — FinanceYF5 · 2026-10-10
• OpenAI 一夜放出 722 篇数学手稿，宣称证四维挂谷猜想，陶哲轩牵头抵制 — 创业邦 · 2026-10-10
• NYU 数学家:AI 抢发新成果令职业数学家不安,原创想法绝不喂给模型 — rohanpaul_ai · 2026-10-10
• 【源头】OpenAI 一次性放出 722 篇 AI 数学着作,数学界直呼消化不了 — 机器之心 · 2026-10-10

另有 4 条近重复转述:tedmitew · inductionheads · FinanceYF5 · zealcaiden