OpenAI宣称证明杨-米尔斯场论存在性，千禧难题仅解一半

事件概述

2026年10月27日，OpenAI发布题为《与学术社群合作，建立科学认知》的文章，宣称其内部模型证明了四维杨-米尔斯场论（Yang-Mills theory）的数学存在性。这一进展被视为对杨振宁1954年提出该理论时遗留的数学严谨性遗憾的部分回应。OpenAI同时宣布解决了挂谷猜想和斯坦因限制猜想，并推翻了指数时间假说（ETH），但在物理学核心领域，仅完成了存在性证明的一半。

核心信息

• 证明路径与成果：OpenAI模型沿袭数学家塔德乌什·巴拉班（Tadeusz Balaban）的路径，通过从有限体积到无限体积（热力学极限）的尺度变换，在四维欧氏空间构造出严格存在、能自我相互作用的规范场。具体时间节点为：9月9日输出纯杨-米尔斯场论证明，9月18日证明量子色动力学（QCD）存在，10月16日完成Lean形式化。
• 外部验证机制：OpenAI为三项发现分别配备了外部专家队伍作为“牧羊人”，负责解读证明、进行验证、撰写通俗说明及核对引用文献。其中，物理部分的证明材料目前不对外公开。
• 千禧年难题的局限：克雷数学研究所提出的“杨-米尔斯场论与质量间隙”难题包含两个要求：一是证明场论的存在性，二是证明能量谱中存在正的质量间隙（即真空与第一激发态之间有严格大于零的能量差）。OpenAI仅解决了前者，未证明质量间隙。
• 引力统一的缺失：此次证明涵盖规范场和费米子，属于标准模型范畴，不包含引力。杨振宁曾指出，将引力引入现有模型并实现统一仍需寻找新的对称性，这一点在此次工作中未被涉及。

背景与争议

• 历史渊源：1954年，杨振宁与米尔斯发表非阿贝尔规范场论论文，但因理论预言存在“无质量带电荷粒子”而遭泡利质疑未发表。后经希格斯机制（对称破缺）和渐近自由等物理概念的发展，质量问题在物理层面得到解释，但数学上的严格定义至今缺失。
• 当前状态：尽管OpenAI声称三组发现均经过外部专家验证，但由于物理证明细节未公开，学界尚无法独立核实其结论。此外，该成果主要侧重于数学结构的闭合，而非物理现象的直接预测或实验验证。