2026 年 10 月 26 日，OpenAI 宣布其内部模型在三个领域各交出一份成果：证明所有维度下的局部光滑化猜想、证伪指数时间假设（ETH），以及为包括量子色动力学在内的四维量子场论建立严格的数学存在性证明。媒体把它转述成一句更直白的话：三项重大科学突破，其中涉及千禧年难题。但对自家模型写出的这批手稿，OpenAI 自己的定位克制得多：「原始研究数据」——要变成学界能接住的理解，得请外部专家来「牧羊」。按问题本身论，这是三项能排进人类百年科研史「里程碑」一档的选题；但按现有证据论，三项都还没有一项完成学术界的确认——含金量目前停在「机器可验、待学界验收」的状态。这场发布真正改写的是科研流程的顺序：证明由机器先产出，核查、解释与消化仍然只能由人来完成。机器之心微博知乎
先看问题有多重：每一项都是各自领域的「地基」
数学这边，模型证明的是 Christopher Sogge 在 1991 年提出的局部光滑化猜想——波可以在瞬间异常集中，但对时间取平均后必须恢复规则。它的分量在推出关系：全维局部光滑化一旦成立，所有维数的挂谷猜想和 Stein 限制猜想会被一并解决，而挂谷正是那个「一根针转遍所有方向」演化出的调和分析核心问题。机器之心知乎
此前人类的进展只到有限步：2019 年 Guth、王虹和张瑞祥证明二维情形，2025 年王虹与 Joshua Zahl 解决三维挂谷猜想；这次 OpenAI 声称找到一种新的辅助偏微分方程，把结论推到覆盖所有维度，自然语言证明与 Lean 形式化材料已一并公开。知乎
理论计算机科学这边，ETH 的断言简单到一句话：不存在能在次指数时间内解决所有 3-SAT 问题的算法。这一假设由 Impagliazzo 和 Paturi 于 1999 年提出，此后二十余年成为推导算法时间下界的重要前提，影响图论、计算几何和数据库等领域。机器之心知乎
这次模型给出的是一个反例：对子句数与变量数成比例的固定宽度 CNF 公式，构造出形如 2^{O(n/√log n)} 的确定性算法，属于次指数时间。但边界必须说清：次指数时间仍可能远慢于多项式时间，这个结果本身并不解决 P 与 NP 问题。机器之心知乎
而它的冲击面足够大：近 30 年里，ETH 成了理论计算机科学的重要基础假设，数百篇论文依赖它建立了条件性的困难性结论——一旦反证被确认，这些下界都要重新面对。最有戏剧性的是核查安排：牵头审查者包括这一假设的两位原始提出者和 MIT 复杂性理论家 Ryan Williams，当年打地基的人要亲自下场检验 AI 拆地基的证据。机器之心知乎
物理学这边，2000 年克雷数学研究所把「杨—米尔斯存在性与质量间隙」列为七大千禧年难题，要求先严格构造出理论、再证明质量间隙为正。OpenAI 称模型基于 Balaban 的构造性量子场论方法，给出了包括 QCD 及标准模型一种统一扩展在内理论的严格存在性证明。OpenAI 还称，同一路线补全了包含标准模型全部规范场和费米子的最简单大统一理论。机器之心知乎知乎
不过这一项的口径要盯紧：公告只认领了存在性，质量间隙并未宣称解决，千禧年难题谈不上被整体攻克。接手的阵容倒是足够硬：2004 年诺贝尔物理学奖得主 David Gross 牵头工作组，成员包括 Michael Douglas、Arthur Jaffe、Igor Klebanov 和 Nikita Nekrasov。知乎机器之心
再看证据到了哪一步：三种发布，三种成色
时间线是这次最值得玩味的细节：数学结果 10 月 18 日得到证明、10 月 19 日就完成 Lean 形式化，自然语言手稿与形式化材料一起公开。物理这边更早：模型 9 月 9 日输出杨–米尔斯存在性证明，9 月 18 日证明 QCD 相关结果，直到 10 月 16 日才完成形式化并推进外部合作。人类争论了几十年的问题，机器以「天」为单位产出——科研的稀缺环节，正在从「写不出证明」翻转为「来不及核查」。机器之心知乎
三项成果也对应着三种截然不同的消化方式：数学直接公开、让社区自行组织研究；计算机科学公开证明并交由专家组织独立审查；物理则先把材料交给专家团队，整理完再决定如何发表。谨慎的理由同样现成：这些结果出自未公开的内部前沿模型，外界难以独立复现，「AI 是否真的理解数学，还是只是在大规模搜索中找到路径」仍是学界争论焦点。有长期跟进此事的数学社区用户直言，这波公布跟之前的批次相比「没有太多的区别，也没有更多的信息」。机器之心知乎知乎
更直接的前车之鉴就在三周前：10 月初，OpenAI 一次性公开了由内部模型生成的 722 篇数学手稿，分属 372 个成果族、17 个研究方向。机器之心
那批手稿公开后，已有三份因证明中的符号错误被撤回——机器可以批量生产猜想，也会批量暴露差错。机器之心
含金量到底怎么算
把它放回百年科研史的参照系里，结论是分层级的：挂谷与 Stein 限制若因这项证明一并解决，是教科书会被改写的事件；ETH 若确认被证伪，整个复杂性理论的下界方法论要重排；杨–米尔斯存在性若成立，则是千禧年难题 26 年来第一次被实质推进半格。这三档分量，放在任何一个世纪的坐标系里都不寒酸。但科学史上真正的分量从来不是「宣布」给的——同行确认到哪里，结论就只能写到哪里。目前三项都还没有跨过这道门，Lean 形式化让「对不对」第一次有了机器可查的起点，却代替不了「学界认不认」。OpenAI 也向 Simons 基金会的相关计划投入 500 万美元，用于研讨会、学术会议和研究项目——核查的资源已经就位，缺的只是时间。接下来盯三个信号就够：Williams 等人牵头的 ETH 独立审查结论、Gross 工作组整理文本后是否公开 AI 原件、以及调和分析社区对形式化定理与原始猜想对应关系的认账速度。这三项成果最终的含金量，取决于这三道门各开到哪一步。机器之心
