OpenAI 提交杨-米尔斯理论存在性构造，质量间隙仍未证明

从有限格点到连续量子场。追踪已发布的存在性构造。 对十月提交材料与委员会十一月评估的可视化解读。存在性构造已发布；质量间隙仍未解决。 整个千禧年问题仍未解决：尚未证明存在正的质量间隙。 委员会判断，OpenAI 于10月28日提交的材料从四维 Wilson 格点规范理论出发，构造了一个 Wightman 量子场论。其评估解释了将该理论认定为 Yang–Mills 理论的证据，以及这一结论的局限。 Yang–Mills 理论描述的场，其力载体彼此相互作用。在其量子形式中，它支撑着我们对强力的描述。挑战在于为这一理论提供完整的数学基础。 这里 (\mathbb{R}^{4}) 是欧几里得时空。“存在”意味着一个满足所需公理标准的非平凡量子场论，而不仅仅是一个形式上的路径积分。 从受控近似开始。移除截断。证明有意义的、非平凡的量子可观测量得以保留，并服从物理量子场论的原则。 证明真空与每个激发态之间存在严格正的能量阈值。必须排除任意低能的激发。 极限构造必须保留预期的相互作用 Yang–Mills 物理。得到一个自由理论或一堆退化的可观测量并不能解决问题。官方表述还要求具有适当短距离行为的规范不变局域可观测量。 经典出发点，在一种常见约定下是 对易子项体现了非阿贝尔自相互作用。写下这个作用量是构造的开始。 真空是最低能量态。存在质量间隙时，每个激发至少需要一份固定的正能量。没有间隙时，激发能量可以趋近于零。 一个空区间将真空与每个激发态隔开：(E\geq\Delta>0)。 激发能量没有正的下界。真空仍然有 (E=0)。 经典上无质量。量子力学上，可能存在间隙。 谜题在于：经典纯 Yang–Mills 作用量中不出现任何质量参数，自相互作用的量子场如何能产生一个物理能量标度。 将真空能量归一化为零。间隙要求 对于减去真空期望值的可观测量，欧几里得时间演化具有如下形式的谱表示 激发能量的一个共同正下界给出时间上的指数衰减。单个衰减关联函数是不够的：它可能看不到其他扇区中更低能量的态。 在有限格点上，该理论是一个定义良好的积分。每条链携带一个群元素。绕一个方格——一个 plaquette——的乘积度量局域曲率。 现在缩小格点间距，同时保持物理盒子固定。更多自由度出现。挑战在于证明物理预测趋近一个有意义的极限。 控制过程在固定体积下细化格点。重整化群块化沿相反方向运行：它将精细结构积分为更粗的变量。 格点间距减小时，物理尺寸保持不变。 图03 四维构造的低维示意图。 在有限间距下，格点区分出优先方向。规范不变性可以保持精确，但洛伦兹不变性必须在最终重构的理论中建立。仅仅细化网格并不能证明对称性恢复。 对于 (SU(N))，一种标准约定是 积分使用紧致规范群上的 Haar 测度。裸耦合 (g_0=g_0(a)) 必须随间距变化而调节；在固定耦合下简单增加更多格点并不是所需的连续构造。我们的可视化没有模拟这种调节。 来自物理和数值计算的证据是有说服力的。使每一个极限步骤严格化则是另一项挑战。 当 (a\to0) 时，更多场模式进入理论。重整化必须用不会随截断移除而恶化的估计来控制它们的累积效应。 渐近自由在短距离上有帮助。在较长距离上相互作用增强，普通的弱耦合展开不再足够。质量间隙必须在无限体积极限下存留。 规范对称性是描述上的冗余。局域规范选择有助于估计涨落，但最终的物理可观测量必须是规范不变的。跨区域和跨标度控制规范选择是工作的一部分。 仅有收敛是不够的。极限需要适当的对称性、正则性和正性性质。反射正性是從欧几里得关联函数重构物理 Hilbert 空间的核心。 即使无限系统是无能隙的，有限盒子也可以有分离的能级。需要一个正的物理下界，它在盒子增大和格点移除时仍然保持。 已发布的评估追溯了一个 Bałaban 风格的多尺度构造，从精确的 Wilson 定律到相对论性场论。选择一个阶段，查看机制、结论及其边界。原始问题仍然要求一个质量间隙。 有限格点有有限多个紧致群链变量。Wilson 作用量和 Haar 测度定义了普通的、归一化的积分。委员会检查提交的定律与独立形式化的格点理论一致。 一个指定的规范理论，带有局域插入，其经典意义由曲率多项式固定。 这个有限积分是起点。后来构造的连续对象由关联和重构的场组成，而不是连续规范势上的概率测度。

（原文较长，此处译出前 6000 字，完整内容请点「打开原文」。）