OpenAI 数学发布震动学界，冲击波预计半年内波及编程

OpenAI 于 10 月 7 日发布的最新数学推理成果在学界引发强烈反响，多位研究者认为「超人类数学家」时代可能提前到来；SWE-bench 作者 Ofir Press 预测这股冲击将在 6-18 个月内蔓延到编程领域。与此同时，数学与科学社区提醒在正式宣布「已解决」前必须提供可核验的真实证明并做独立验证，也有数学家泼冷水称这一天还算不上数学史上最重要的一天。这是推理模型问世仅两年后，从连基本算术都不可靠进化到攻克人类数十年未解难题的标志性节点。

已确认

• 普林斯顿研究员、SWE-bench 作者 Ofir Press 评价称，他不完全确定 OpenAI 刚对数学做了什么，但那样的时刻将在 6-18 个月内冲击编程领域，他也不知道那具体会是什么样子。peterjliu 与 markattar 均转述或转发了这一判断并表示认同。
• Ofir Press 进一步指出，构建好的编程基准本就很难，如今进入超人类阶段将更难：过去只需挑选人类能完成的、越来越难的任务即可，今后定义新任务会更具挑战性。他在回应 peterjliu 时澄清，自己想的主要不是「未解难题」方向，而是模型做出人们以为要 100 年才能实现的那种成果。
• 据 m6 转述的统计，OpenAI 研究员 Will DePue 用 GPT 6 Pro 和 Fable 5.1 对近三年的重大数学发现做排序并按发现者标注（人类/AI/OpenAI 数学库），结果显示其中 81% 都在今日一次发布，原推直呼「数学奇点本质上已经实现」。
• Daniel Mac 引发讨论称，OpenAI 新发布的数学推理模型令理论计算机科学家震撼，有人直言「喜极而泣，生逢其时」；他还指出 OpenAI 因公关原因在淡化此事。
• 数学家 Ken Ono 表示，他们 2025 年发表在 Nature Physics 的笔记很快就「过时」了——OpenAI 的发布表明最高水平的 AI 辅助数学发现已不再是假设。
• 研究员 Afinetheorem 称已通读 OpenAI 的数学任务清单，认为结果「疯狂到应是全球头条」。他判断任何前沿实验室的战略第一优先级，都应是把这套能力尽快迁移到医学、肿瘤学、电池效率等高价值科学领域，而不只是停留在数学。
• OpenAI 研究员 Will DePue 表示惊讶：目前为止各 AI 实验室公布的数学新结果都是真的，还没发现任何有严重错误或真正 bug 的结果，而按人类工作者的常态本应预期至少出几个错。他同时怀疑近期结果中至少有几个经不起更严格的检验。
• GhostPilotMD 转发的讨论指出，OpenAI 宣称解决了数百道数学难题，但数学与科学社区认为在正式宣布「已解决」前，必须提供可核验的真实证明并做独立验证——这是科学方法中不可跳过的「检验与观察」环节。
• 反对声音同样存在：数学家 littmath 强烈不同意「OpenAI 数学发布是数学史上最重要一天」的说法，认为顶多算一个领先指标；软件工程泰斗、UML 之父 Grady Booch 则发帖称「正在进行深度灵魂拷问的数学家，全世界可不是个小数目」，并转述他听到的两极评价——有人极力称赞 AI 的数学解法，也有领域专家在 Bluesky 上将其形容为「对数学家的 DDoS」：海量解法涌来却难以判断其价值。DeFi 圈开发者 banteg 则调侃程序员早已被自动化成「超人半机械人」，而数学家对同样转变的反应却像在哭闹「他们抢走了我的猜想」，批评数学界把「问题」当成私有财产。

尚未确认

• Will DePue 的 81% 统计来自其本人用 GPT 6 Pro 与 Fable 5.1 做的排序分析，属快速统计而非同行评议结论；社区对独立验证的呼吁目前尚无验证结论公布。
• 物理学家 Steve Hsu 的设想属推测性观点：当数百万超人类研究智能体同时工作时，数学可能分裂为「机器数学」（海量经形式系统验证、主要由 AI 消费的证明，人类缺乏足够上下文理解）与「人类数学」（对机器前沿的压缩提炼）两层。
• Afinetheorem 预测到 2030 年，非数学科学领域中大多数表述明确的开放问题将被解决——至少在可通过计算机而非实验验证的子集内。这是个人推断而非实证结论。
• 社区对 AI 数学产出的量化口径存在争议：onionesque 反驳「千年数学家产出」「一打 Scholze」这类估算，指出被 AI 攻坚的难题往往已有多年积累、形式化程度足够高，真正的「数学」是从问题通向结果的路径；joejanizek 则引用一个估算称某项成果「相当于当前所有非 Scholze 数学家十年的产出总和」，并感叹讨论已进入这种量级本身就足够震撼。

为什么重要

• 推理模型仅问世两年就从基本算术能力不足进化到解决数十年未解难题，能力跃迁速度超出多数研究者预期；若 81% 的统计成立，单一发布即可主导近三年重大数学发现，进一步印证跃迁幅度。
• 数学是编程与理论计算机科学的上游学科，若数学发现被 AI 大规模加速，编程工作的性质及基准测试方法都可能随之根本改变。
• Ken Ono 的表态意味着已发表的前沿研究成果正以月为单位快速贬值，对学术界的评估与激励机制构成挑战；而 Afinetheorem 的呼吁则把讨论从数学延伸到医学、能源等更高价值的应用科学方向。
• littmath、banteg 等的异议与 Booch 转述的「DDoS」之评，显示学界态度远未统一：一部分人视其为里程碑，另一部分人强调独立验证、成果价值甄别与研究者职业冲击等未解问题；关于产出量级的争论也表明，学界已开始在「人类数学家十年总产出」的尺度上讨论单次 AI 发布，但口径未定，从「宣称解决」到「学界公认解决」仍需时日。

2026-10-07 ~ 2026-10-07 · 19 条相关

事件全程(共 7 集)→

• 第 1 集:数学被 AI 解决了吗：观点交锋聚焦数学的开放性(2026-09-22,2 条)
• 第 2 集:OpenAI 宣称一周烧千万美元解出 Navier-Stokes 引发热议(2026-09-24,2 条)
• 第 3 集:AI宣称解决Navier-Stokes难题，数学界激辩分裂(2026-10-06,4 条)
• 第 4 集:开发者称 AI 找数学证明靠蛮力搜索而非深刻推理(2026-10-06,2 条)
• 第 5 集:数学家激辩AI论文潮:36000篇投稿冲击同行评审(2026-10-06,13 条)
• 第 6 集:传 OpenAI 耗资千万美元算力求解 Navier-Stokes 方程(2026-10-06,2 条)
• 第 7 集:OpenAI 数学发布震动学界，冲击波预计半年内波及编程(2026-10-07,19 条)

• OpenAI 新发布震动数学界，「超人类数学家」时代或提前到来 — Singularitarian · 2026-10-07
• Steve Hsu:AI 单日产出数学或超人类百年消化的极限 — CatAstro_Piyush · 2026-10-07
• 【源头】OpenAI 研究员惊讶:AI 实验室数学新成果至今没查出硬伤 — willdepue · 2026-10-07
• 研究员：OpenAI 数学成绩若属实，实验室应优先推广到医学与电池 — Afinetheorem · 2026-10-07
• 数学家 littmath：OpenAI 这次还不算数学史上最重要的一天 — littmath · 2026-10-07
• 研究者:2030 年前 AI 或解决多数可计算的开放科学问题 — Afinetheorem · 2026-10-07
• 研究者预测：2030 年前 AI 将解决多数可计算的科学开放问题 — Afinetheorem · 2026-10-07
• 数学家为 OpenAI 新推理模型落泪：从算术到攻克数十年难题 — daniel_mac8 · 2026-10-07
• 有人估算某 AI 数学成果相当于非顶级数学家十年总产出 — joejanizek · 2026-10-07
• 程序员已成赛博格,数学家还在为AI抢 conjecture 哭闹 — banteg · 2026-10-07
• 【源头】Ofir Press：OpenAI 震动数学界的时刻将在 6-18 个月波及编程 — OfirPress · 2026-10-07
• Ofir Press：超人类阶段下，好的编程基准会越来越难做 — OfirPress · 2026-10-07
• OpenAI 数学时刻将冲击编程:研究员预测 6-18 个月内显现 — mark_attar · 2026-10-07
• 网友统计:近三年 81% 重大数学发现由 OpenAI 今日一次发布 — mtizard · 2026-10-07
• Grady Booch 转述专家热议:AI 数学求解是突破还是对数学家的 DDoS — Grady_Booch · 2026-10-07
• 数学家争论 AI 数学产出估算:难题早已被充分形式化 — _onionesque · 2026-10-07
• Grady Booch:全球正陷入深度自我怀疑的数学家为数不少 — Grady_Booch · 2026-10-07
• 【源头】OpenAI 称解出数百道数学题,数学界呼吁独立验证 — Ghost_Pilot_MD · 2026-10-07

另有 1 条近重复转述:peterjliu