2026 年 10 月 26 日（美东时间），OpenAI 把内部前沿模型产出的三项结果同时摆上桌面：证明所有维度下的局部光滑化猜想，证伪指数时间假设（ETH），并为包括量子色动力学在内的四维量子场论建立严格的数学存在性证明——最后这项，直接连着千禧年难题「杨-米尔斯存在性与质量间隙」。 三项结果中，数学与计算机科学的成果已经通过 Lean 验证工具进行形式化验证，物理学成果正由诺贝尔物理学奖得主等专家参与审查。 但前提必须先说清：三项结果均未经同行评审，OpenAI 为每项结果都请了外部专家组织核查。 OpenAI 把模型写出的手稿称为「原始研究数据」——证明的生成可以 AI 先行，进入知识体系要由人来签字。知乎微博知乎
数学：一份证明推倒三个猜想
局部光滑化猜想由 Christopher Sogge 在 1991 年提出，说到底是关于波如何聚焦：最极端的聚焦只能是短暂的，时间会把它摊平。它站在一整条蕴含链的顶端，能推出 Kakeya（挂谷）猜想和 Stein 限制猜想。 人类此前的进度停在：2019 年 Larry Guth、王虹、张瑞祥证出二维情形，2025 年王虹与 Joshua Zahl 解决三维挂谷。OpenAI 称模型找到一种新的辅助偏微分方程，把证明推进到所有维度：10 月 18 日拿到自然语言证明，次日完成 Lean 形式化，两类稿子都已公开在 GitHub 上。 这一项没有指定审查组，材料全开放，社区自行组织复核。知乎知乎
计算机科学：反证送回到提出者手里
ETH（指数时间假设）由 Russell Impagliazzo、Ramamohan Paturi 与 Francis Zane 在 1990 年代末提出，核心断言是：最难的 3-SAT 问题不存在亚指数时间算法。近 30 年，图算法、数据库查询、计算生物学里的条件性下界常以它为前提——一个支撑数百篇研究论文的经典假设，如今可能被 AI 证伪。 模型交出的反证是一个确定性算法：对固定宽度的 CNF 公式，不仅能判断是否存在满足条件的赋值，还能精确计算满足条件的赋值数量；在子句数与变量数成比例的问题上，运行时间达到亚指数界 2^(O(n/√log n))——如果证明成立，就意味着 ETH 被证伪。 牵头核验这份反证的，恰是假设的原始提出者：审查团队由 ETH 提出者 Impagliazzo、Paturi 与 MIT 的 Ryan Williams 领衔。 边界也要说清：证伪 ETH 不等于程序立刻变快，新算法仍在增长，只是从「指数级」变成更慢的亚指数级，OpenAI 自己也写明，要找更好算法、落到实用还得大量后续研究。36氪知乎知乎
物理学：千禧年问题只答了上半
千禧年难题「杨-米尔斯存在性与质量间隙」要求两件事：证明量子杨-米尔斯理论存在，并且它具有正的质量间隙。这次 OpenAI 宣布的只是存在性那一半，并未宣布解决质量间隙，但声称的范围比原题更宽：沿数学物理学家 Tadeusz Balaban 的构造性量子场论路线，模型为包含规范场与费米子的一类四维相互作用量子场论建立了严格存在性证明，覆盖 QCD 与能容纳标准模型规范场和费米子的一种统一扩展。 时间线也最早：模型 9 月 9 日就输出纯杨-米尔斯存在性证明，9 月 18 日证明 QCD 的数学存在，直到 10 月 16 日完成 Lean 形式化，这轮公布才拉齐。 与前两项不同，物理这项最不透明：AI 原件暂不公开，改由 David Gross 领衔的五人专家组先消化、自己执笔。 Gross 是 2004 年诺贝尔物理学奖得主，组内 Arthur Jaffe 当年正是与 Edward Witten 共同撰写这道千禧年难题正式表述的人。36氪知乎知乎
真正的实验是消化机制
三项成果对应三种放法：数学部分直接公开，让社区自行组织研究；计算机科学部分公开证明，同时邀请 ETH 原始提出者和领域专家组织独立审查；物理部分则先把材料交给专家团队，待他们完成整理后再决定如何发表。 配套的合作规则是：不签保密协议、结论独立、OpenAI 不争学术署名，另有一笔 500 万美元捐给 Simons Foundation，用来办研讨会、跟进这类 AI 产出结果。 克制也有克制的理由：10 月 6 日 OpenAI 曾一次性公开 722 篇数学手稿，那批稿子公开后，有三份因证明中的符号错误被撤回。而 Lean 能确认的只是形式化证明机器自洽，形式化定理是否严格对应原始猜想，仍然是人的工作。知乎知乎
「突破」二字最终立不立得住，要看接下来几个节点：Williams 团队对 ETH 反证的独立审查会不会给出结论，局部光滑化证明能否被调和分析社区重写成可迁移的新工具，以及 Gross 团队公开物理材料时，附带的是确认还是修正。
