10月26日当地时间，OpenAI宣布其内部模型为四维杨-米尔斯理论建立了严格的数学存在性证明，并同时公布了数学、计算机科学领域的另外两项成果。杨-米尔斯部分触及的是克雷数学研究所2000年设立的七大千禧年难题之一"杨-米尔斯存在性与质量间隙"的前半段，但这道题要求同时证明理论存在和质量间隙，OpenAI这次只声称做到了前者；而且物理成果的证明材料并未公开，外界暂时没法检查。到目前为止，它是"一份AI写出、经Lean机器逐行检查的证明"，还不是学界公认的结论。36氪微博
"存在性"证明的是哪件事
杨振宁与米尔斯1954年提出这套规范场论后，它成了粒子物理标准模型的数学地基，计算与实验吻合到极高的精度，但量子场论在数学上始终没有精确定义——重整化让无穷大和无穷大相减、取有限部分去对实验，准得"神奇"，却没人说清为什么可以这么算。所谓证明四维量子杨-米尔斯理论"存在"，不是想象它或观测它，而是要真正构造出整套对象：容纳所有状态的希尔伯特空间、作用其上的可观测算符、能量有下界的哈密顿量、满足全部对称性的真空，缺一条都不算。时空连续、每一点都有场值，自由度无穷，这条路卡住了数学界几十年。知乎
上世纪后期，数学家Tadeusz Balaban给出一条路线：把时空切成格子，用"块自旋"逐层平均、做多尺度分析，一层层把发散吸收掉，但他始终没能走到四维的终点。OpenAI称模型沿着这条构造性量子场论路线补全了后半段，把链条从有限体积推到无限体积（热力学）极限，在连续四维时空中得到严格存在的自相互作用规范场。36氪
按OpenAI的说法，这套构造从纯杨-米尔斯一路覆盖到量子色动力学，并给出了一个容纳标准模型规范场和费米子的统一扩展；引力不在其中。模型于9月写出杨-米尔斯与QCD两份存在性证明，10月中旬完成Lean形式化检查，随后才在10月26日正式宣布。微博
千禧年难题的另一半没人答
把真空想成一面鼓：敲下去总有一个最低的音，再往下就没有了。质量间隙说的就是这道严格大于零的坎——哪怕最轻的粒子也必须有质量，不允许任何零质量的东西跑到无穷远。OpenAI明确只宣布了存在性，没有宣布质量间隙，因此这不构成"解决千禧年难题"，就算这份成果完全正确，也只是答对了前半道。知乎
接这道题的专家名单颇有分量。OpenAI公布的物理审查组由2004年诺贝尔奖得主David Gross牵头，成员包括Michael Douglas、Arthur Jaffe、Igor Klebanov和Nikita Nekrasov。Gross的获奖成果渐近自由，恰是理解强相互作用在极短距离下行为的关键；而名单里的Jaffe，当年与Edward Witten共同写下了这道题的正式表述——出题的人，现在第一个核答案。36氪
数学、计算机两项已可公开复核
数学部分，模型攻克的入口是1991年提出的局部光滑化猜想：波在传播中可能瞬间于一处异常聚焦，这个猜想用精确不等式说明时间平均能带来多少额外规则性。OpenAI称模型证明了适用于所有维度的局部光滑猜想，由此推导出挂谷猜想在所有维度得到解决。人类的进度条此前停在2025年王虹与Joshua Zahl证出的三维挂谷。36氪知乎微博
计算机部分的对手是指数时间假设（ETH）：3-SAT这类约束满足问题，变量每多一个，组合就翻一倍，ETH的核心观点是不存在能在亚指数时间内解决所有此类问题的算法。数百篇论文长期拿它当前提，论证各种问题"快不了"。而OpenAI公开的论文给出了一个新算法，耗时增长得比ETH断言的慢——这足以推翻它；OpenAI也说明这不等于P=NP，变成实用提速还需大量研究。36氪微博知乎
三种公开方式，三种信任阶段
数学部分的两份证明材料已上传GitHub，供全球数学家验证。Lean把证明拆成最小步骤逐条核对，错一步就不通过，但形式化的定理陈述是否恰好对应原猜想，仍要人来确认。审查机制也各不相同：数学部分直接公开、由社区自行组织复核；计算机部分公开证明并指定独立审查组；物理部分先把材料交给专家团队整理。最戏剧性的是计算机那条审查线：牵头核ETH反例的，恰是这一假设当年的提出者Impagliazzo、Paturi，加上MIT的Ryan Williams。知乎36氪微博
截至10月27日晚间（北京时间），没有任何参与核查的专家公开评价这三项结论的对错。微博
OpenAI为什么换了发布方式
这次发布有两段前情：9月OpenAI曾宣布模型解决纳维-斯托克斯千禧年难题，有数学家说撞上自己未公开的研究，引发署名之争；10月6日又一口气公开722篇AI数学手稿，次日因错误撤回3篇。这一次，OpenAI把AI产出定位为"原始研究数据"，邀请外部科学家参与验证、解释和整理，并不寻求学术署名。合作原则写明：外部成员自愿、独立参与、不签保密协议，OpenAI不因模型发现索取学术署名；Simons Foundation的相关计划则获得500万美元支持。微博知乎36氪
该盯着什么
社区的主流态度是"让子弹飞一会儿"。即便存在性部分完全成立，千禧年难题也只是答了前半段；质量间隙会不会被这套工具链顺带撬开、ETH被证伪后依赖它的下界文献如何重估，都还没有答案。对普通读者，比"AI碾压数学"更实在的观察信号有三个：物理材料是否公开、审查组论文何时挂出、Lean形式化的定理陈述是否被专家确认恰好对应原猜想。知乎
1954年，泡利算出过类似结果，因无法说服自己自然界存在无质量的带电粒子而选择不发表；杨振宁带着这个"硬伤"仍决定投稿，赌的是"场论有可能在将来解决我们遇到的问题"。72年后，AI似乎递上了这个答案的一半，而这一半，目前还压在审稿人的桌上。知乎
