10月26日，OpenAI发布公告《Working with academic communities to build scientific understanding》，一次性抛出横跨三个领域的三项成果，其中最扎眼的一项，是宣称内部模型给出了四维量子场论（含QCD与纯杨-米尔斯理论）的严格数学存在性证明。但公告本身附的限定，比公告更要紧：这道千禧年难题要证两件事，这次只涉及“存在性”前一半，“质量间隙”那一半仍然悬而未决；相关物理材料暂不公开，由诺贝尔奖得主David Gross带队的专家组核查后先写成论文再发布。所以这项结果的准确状态，是“等待核验的主张”，而不是“已成立的定理”。知乎知乎微博
用了70年的大楼，为什么一直缺一份“地基检测报告”
1954年，杨振宁与罗伯特·米尔斯把电磁学的对称性原理推广到非阿贝尔对称群，提出杨-米尔斯规范理论。今天的粒子物理标准模型就建立在它之上：SU(3)版本就是量子色动力学（QCD），描述夸克和胶子如何被强力绑成质子和中子。物理学家拿它做计算、下预言，实验一次次对得上，但这套理论的四维量子版本从未被严格证明存在。 所谓“存在性”，不是问理论准不准，而是一个数学构造问题：量子场论必须在严格意义下满足局域性、协变性、谱条件等公理；大名鼎鼎的费曼路径积分写下来只是形式表达。知乎
四维又是最微妙的维度——短距离上渐近自由、耦合变弱，长距离上耦合增强、禁闭登场，可重整与强耦合两大难点叠在同一种理论里。OpenAI这次声称补上的，正是“第一个被严格构造出来的四维非平凡量子场论”这个空白。北京大学物理学院教授施郁的判断与此呼应：AI证明的物理方面的东西本质上是已知的，只是之前数学家没想通。 也就是说，这次补的是数学地基，而不是改写了任何物理定律。知乎微博
质量间隙：没动的另一半，才是“物理难题”的核心
克雷数学研究所2000年把“杨-米尔斯存在性与质量间隙”列为悬赏100万美元的千禧年难题，官方问题表述由Arthur Jaffe与Edward Witten撰写，两项要求缺一不可。后一项问的是：真空之上，最轻的激发是否严格大于零质量。 质量间隙对应一个身边的常识：质子质量约940 MeV，组成它的三个夸克质量加起来不到10 MeV——我们周围可见物质的大部分质量，来自强力场的能量按E=mc²折算出的“重量”。若质量间隙存在，真空涨落的影响就是短程的，这与“禁闭”（从未观察到自由夸克）的标准图像一致；几十年来格点规范模拟持续给出支持它的数值证据，但数值终究不是数学证明。这一次，OpenAI没有碰这更难的半题。知乎
三项成果里，只有物理这份的材料还没公开
公告中另外两项——所有维度波动方程局部光滑猜想，与证伪1999年提出的指数时间假设ETH——论文和Lean验证代码全部公开，任何人都能复核；ETH核查小组由其原始提出者Impagliazzo、Paturi与MIT的Ryan Williams牵头。微博
杨-米尔斯是唯一换了处理方式的。据OpenAI介绍，模型9月写出存在性证明、10月中旬完成Lean检查，但物理材料暂不公开，由诺贝尔奖得主David Gross带队的专家组先自行写成论文再发布，外界目前没法检查。 这个团队包括渐近自由发现者Gross、难题官方表述作者之一Jaffe，以及Douglas、Klebanov、Nekrasov，五人决定先把材料消化重写，暂不公开AI原始手稿。微博知乎
“牧羊人”模式本身，就是争议的一部分
必须先说清一点：Lean只能逐行检查形式推导是否合法，保证不了证明所选前提与定义本身的合理性，它替代不了同行评审。 而就在公告前一天，数学界协作组AGMAI发布澄清，点名反对AI公司指定数学家提前接收成果，认为这会造成机会不均和声誉借用。知乎知乎
OpenAI这次的姿态也放得很低：把稿子定位为“原始研究数据”而非定理，无保密协议、不争学术署名、学者结论完全独立，并向Simons基金会捐500万美元支持核查研讨。这份克制有背景：今年9月其纳维-斯托克斯成果被指撞上人类数学家未公开的研究、引发署名之争，10月初批量放出的722篇AI数学论文也有报道称随后因错误撤回。信任正在被一点点重新攒起来。知乎微博
按千禧年难题规则，证明须发表于重要数学期刊并获数学界接受后，才谈得上那100万美元奖金。接下来值得盯的是：Gross团队的论文何时公布、结论如何；以及悬着的另一半——质量间隙，会不会是AI的下一个目标。判决权还在数学界手里，而且可能要好几个月。知乎
