OpenAI 声称部分解决杨-米尔斯场论相关未公开待核实

杨振宁 1954 年和米尔斯提出杨-米尔斯场论，虽得出的结果十分漂亮，但存在理论上的硬伤，即预言了自然界并不存在的带电荷却无质量的粒子，二人仍选择发表该成果，而更早算出相似结果的泡利因无法接受这一缺陷选择不发表。杨-米尔斯场论后续成为粒子物理标准模型的重要基础，支撑了多项诺贝尔物理学奖成果，但它长期存在两大问题：一是理论预言的无质量粒子与现实中短程力的性质矛盾，该问题后续通过希格斯机制、渐近自由等研究得到了物理层面的解决。二是始终没有严格的数学定义，量子场论的重整化方法虽与实验结果高度吻合，却缺乏严谨的数学支撑，这也正是克雷数学研究所千禧年问题中「杨-米尔斯场论与质量间隙」的核心诉求之一。OpenAI 宣称其内部模型取得多项突破，在数学上证明了所有维度的局部平滑猜想等多个重要猜想，计算机科学上推翻指数时间假说，物理上给出量子场论包括纯杨-米尔斯场论、量子色动力学的严格存在性证明，还得到了可描述极小尺度标准模型的大统一理论，补全了数学家巴拉班未完成的相关证明链条，完成了杨-米尔斯场论存在性的 Lean 形式化。但该成果仅完成了千禧年问题中杨-米尔斯场论存在性的部分，未解决质量间隙问题，也未将引力纳入统一框架，且相关物理部分的证明材料并未公开，所有结论目前也尚未经过核实。