理论物理有一种奇特的反差：它能够解释粒子碰撞中纷繁复杂的现象，能够把微观世界的规律写成极其精炼的方程，但对于某些最重要的理论，我们至今还没有完成它们在数学上严格存在的证明。 

这不是说这些理论不可信。恰恰相反，它们已经在物理研究中取得了巨大成功。真正令人不安的是，物理学家早已熟练使用的一套计算体系，其完整的数学地基仍有尚未填平的缺口。杨–米尔斯理论的存在性与质量间隙问题，就位于这个缺口的中心。

现在，AI伸手碰到了这里。2026年10月26日，OpenAI宣布，其模型获得了包括纯杨–米尔斯理论在内的一类四维量子场论的存在性证明。这项声明触及了著名的杨–米尔斯千禧难题，但尚未涉及其中另一项核心要求——证明质量间隙。

题目包含两个主要任务，不代表它们的难度各占一半，更不代表拿下其中一个，另一个就会自动迎刃而解。即便如此，一份经得住检验、满足题目要求的存在性证明，也已经足以成为数学物理的重大突破。 

要理解这件事为什么分量如此之重，需要先认识杨–米尔斯理论究竟描述了一个怎样的世界。

杨振宁与米尔斯

1954年，杨振宁和米尔斯提出了一种新的规范场理论，把描述电磁相互作用的思想推广到更丰富的对称性结构。此后，这套框架逐渐成为现代粒子物理的基础。它的一项关键性质，是传递相互作用的场本身，也能够直接相互作用。 

强相互作用中的胶子就是典型例子。胶子在夸克之间传递相互作用，同时，胶子之间也会相互作用。这种自相互作用带来了复杂的集体行为，也使它们的世界远比自由电磁场难以理解。千禧难题为了抓住这个核心，研究的是“纯杨–米尔斯理论”，只保留规范场，不加入夸克或希格斯场。以强相互作用使用的 SU(3) 理论为例，可以把它想象成一个只留下胶子的世界。所谓“四维”，就是三个空间维度加一个时间维度。

问题首先出现在“这个世界能否被严格建立”上。我们已经写出了方程，为什么还要证明理论存在？因为经典方程只告诉我们场怎样变化，量子理论却还要定义整个系统的状态、测量结果的概率，以及状态随时间的演化。这些对象必须彼此协调，既符合量子力学，也符合相对论。

物理学家常用路径积分来表达量子理论。直观地说，就是把各种可能的场变化过程都纳入考虑，按量子规则叠加，计算可观测的结果。但连续时空允许场在任意短的尺度上变化，无穷多个自由度随之出现。量子场在极短距离上又非常粗糙，不能当作一张处处平滑的布来处理。因此，把路径积分写在纸上，还没有完成对这个数学对象的严格定义。 

一个具体的办法，是先把时空放进有限盒子，再划分成格点。这样，理论就变成了能够严格定义、也能够交给计算机研究的模型。然后，我们不断缩小格距、扩大盒子，并相应调整理论参数，尝试得到连续、无限空间中的量子理论。

可以把这件事粗略地想成不断提高图片的分辨率。我们希望像素越来越细，最后得到一个清楚、确定的对象。但量子场论的困难在于，每提高一次“分辨率”，都会引入更多短距离涨落。必须证明这些新细节能够被一致地处理，相关物理量具有良好的极限，而且最后保留下来的理论仍然有相互作用。

这里的格点是一种研究工具，并不意味着真实时空必然由像素组成。存在性证明所要建立的，是撤去这些人为限制后，一个完整而自洽的连续量子理论。它要有合理的概率解释、正确的时空对称性与因果结构，并具有杨–米尔斯理论应有的短距离行为。

“能算出许多正确结果”与“已经严格构造整个理论”，之间隔着的，正是存在性问题。物理学在这里走到了数学前面，而数学要做的是把这条路彻底铺实。

即使走过了这一关，另一个更具物理冲击力的问题还在前方：这个量子世界的真空上方，为什么会出现一道有限的能量门槛？

真空是系统能量最低的状态。对自由电磁场而言，光子的能量随着频率降低而减小。在无限空间中，只要频率足够低，光子的能量就可以任意接近零，没有一个必须跨过的正门槛。

纯杨–米尔斯理论却被认为不同。它的物理能谱中，真空与所有非真空激发之间，应当隔着一段没有能谱的区间。也就是说，要产生真实的物理激发，至少需要一定能量，这笔能量不能无限压低。这就是“质量间隙”。名字中的“质量”，来自质量与能量的联系：一个有质量的粒子即使静止，也具有静止能量。这里谈的是能谱的门槛，并不意味着真空没有量子涨落。

杨-米尔斯千禧难题。图源：Clay数学研究所

完整的千禧难题要求，对题目规定的一整类对称性结构——数学上称为紧致单规范群——严格建立四维量子杨–米尔斯理论，并证明它具有正的质量间隙。

令人惊讶的是，经典方程并没有预先放进一个质量参数，替量子世界规定好这道门槛。在高能过程的微扰计算中，胶子以无质量粒子的形式出现。但到了低能区域，强烈的相互作用会改变系统的物理激发。对于纯 SU(3) 理论，物理学家预期出现的是胶球，即由胶子动力学形成的、可以作为物理粒子讨论的整体。

格点研究已经计算出了有质量的胶球谱，为这种图景提供了有力的数值支持。因此，需要解释的是，规范场自身的量子相互作用，怎样产生一个具有有限质量尺度的物理世界。仅仅在某个胶子传播子的表达式中引入一个质量参数，还没有回答这个问题。 

线索藏在相互作用强度随尺度的变化中。越进入高能和短距离区域，杨–米尔斯理论的耦合越弱，这就是“渐近自由”。向低能区域走，耦合则会增强，最终进入普通微扰计算难以控制的区域。在这个过程中，量子效应能够让理论产生一个特征能量尺度。原本没有质量单位的耦合参数，与一把有单位的“能量标尺”联系起来，这种现象叫作“量纲嬗变”。

然而，有了标尺，并不等于证明了门槛。知道相互作用在某个尺度附近变强，不能自动排除任意低能的物理激发。要证明质量间隙，必须进一步控制整个低能谱，证明所有非真空激发的能量都有一个共同的正下界。这属于非微扰问题，单靠把弱耦合计算多做几阶，无法完成证明。 

数值计算也必须面对极限问题。有限盒子本身可能造成能级间隔，固定格距则引入了人为尺度。需要证明的是，当盒子无限扩大、格距趋于零时，以物理单位衡量的正间隙仍然存在。看到有限模型里的间隔，与证明连续、无限空间中的质量间隙，之间仍隔着一段艰难的路。 

质量间隙还常常与禁闭混在一起。禁闭涉及孤立色荷能否作为自由粒子出现，质量间隙涉及真空上方的能谱，两者密切相关，却是不同的命题。同样，这里也没有希格斯场来为粒子赋予质量。纯杨–米尔斯理论要展示的是，规范场自身就可能通过量子动力学生成质量尺度。 

理解了这些，再回头看OpenAI的公告，分量与边界就都清楚了。 

OpenAI称，杨–米尔斯存在性证明的Lean形式化工作已经完成，并由戴维·格罗斯牵头、包括阿瑟·贾菲等专家的外部小组开展研究。与此同时，公告说明，物理部分的AI产出暂未公开，小组将先进行整理和撰写。因此，现阶段能够确认的是一项存在性证明的声明，完整论证尚不能仅凭公告由公众独立核验。

Lean这样的证明助手可以逐步检查数学推理，这是很有力量的工具。但人们仍需要确认，被形式化的定义、假设和结论，确实对应原来的物理问题。具体构造适用于哪些理论、满足哪些条件、是否完整达到千禧题目的要求，都要看公开材料与独立审查。专家参与研究，也不等于审查已经结束。 

如果这项证明成立，它将为一个核心的四维相互作用理论建立严格的数学基础。这种突破不会因为质量间隙仍未解决而失去价值。它可能提供新的构造和方法，让研究者能够在一个定义清楚的理论中，继续追究低能世界的性质。 

但存在性本身不会自动带来质量间隙。一个量子理论可以完全自洽，同时允许任意低能的激发。杨–米尔斯理论为什么具有那道特殊的门槛，仍需要额外的动力学证明。截至2026年10月27日，克雷数学研究所仍将完整的杨–米尔斯存在性与质量间隙问题列为未解决问题。 

人们谈论AI时，常常想象它会发现一种新粒子，或者写下一条改写宇宙的新方程。眼前这件事展示了另一种可能：AI首先深入的，可能是那些我们已经使用几十年、却始终未能彻底夯实的理论基础。 

这正是理论物理最柔软的腹部。我们对这些理论有极强的信心，也有丰富的计算经验，却仍然欠下一些最基本的证明。如果AI最终帮助补上了这块地基，接下来更值得追问的便是：它带来的新方法，能否让我们真正看清，一个没有预设质量的经典理论，如何在量子世界中建立起一道无法任意降低的能量门槛。 

在这场人类与AI的竞赛中，到底鹿死谁手？大家拭目以待！ 

注：本文原载于“一眼百亿年”公众号，原标题《AI的魔爪终于还是伸向了理论物理最柔软的腹部-量子场论》，作者为中国科学院理论物理所研究员黄庆国。