专题 · FULL STORY

OpenAI Yang-Mills 证明：从验证到质疑

OpenAI 借 auto-researchers 项目发布千页 Yang-Mills 存在性与质量间隙的验证结果，随后由诺奖得主 David Gross 领衔的工作组发布独立报告予以认定，但随后又有专家提出质疑，指质量间隙问题并未真正解决，争议仍在持续。

2026-11-10 ~ 2026-11-13 · 2 集 · 11 条

第 1 集 · 诺奖得主领衔工作组验证 OpenAI Yang-Mills 存在性证明(2026-11-10,8 条)

由诺奖得主 David Gross 担任科学委员会主席的 Yang-Mills 工作组于 11 月 10 日发布第三份声明与独立验证报告，认定 OpenAI 于 10 月 28 日提交的 Lean 形式化代码（GitHub 仓库 yang-mills-group/OpenAI-YM-20261028）证明了一个满足 Wightman 公理的量子 Yang-Mills 理论的存在性。该结论属百万美元千禧年难题的部分突破，但难题核心——质量间隙（mass gap）——并未被证明。若最终成立，这将是 LLM 生成证明在基础数学物理领域的重要里程碑。

已确认

  • Yang-Mills 工作组（科学委员会主席为 David Gross，与 Kavli 理论物理研究所相关协作）发布第三份声明与正式验证报告，时间在 11 月 10 日前后。
  • 验证对象为 OpenAI 10 月 28 日提交的 Lean 形式化构造，仓库为 yang-mills-group/OpenAI-YM-20261028，为连续纯 Yang-Mills 理论的存在性构造。
  • 验证结论：该构造证明了一个满足 Wightman 公理的量子 Yang-Mills 理论存在性；@IgorCarron 转述称这是 4 维量子 Yang-Mills 理论的构造。
  • @m3 与 @danintheory 指出该证明为 LLM/AI 生成，@MikePFrank 将其概括为千禧年七大数学难题之一的部分突破。
  • Scientific American 报道称该评审为 OpenAI 委任的外部物理学家专家委员会，并提到为避免重演 10 月（早前外界质疑的）风波而设置了外部评审机制。
  • Andrew Curran 转发了报告正式发布的消息；Reddit 用户（@FateOfMuffins 转述）发帖称该「Lean 证明」已公开发布并通过验证。

尚未确认

  • 质量间隙部分未被证明，距离完整的千禧年难题解决仍有本质差距。
  • 本簇帖子多为转发或二手转述，工作组报告完整细节与最终学界共识尚待更多一手材料确认。

为什么重要

  • 量子 Yang-Mills 存在性是强相互作用与量子色动力学（QCD）的数学基础，也是标准模型完备化的关键环节，物理学家数十年来未能严格建立。
  • 若 LLM 生成的形式化证明经受住独立验证，将标志 AI 在前沿数学研究中从辅助工具走向实质性贡献者，尽管质量间隙这一核心难题仍悬而未决。

第 2 集 · OpenAI 千页 Yang-Mills 证明遭专家质疑：质量间隙未解决(2026-11-12,3 条)

OpenAI 通过其 auto-researchers（自动研究者）项目发布了声称的 Yang-Mills 存在性与质量间隙问题验证结果，篇幅达千页。该问题是 Clay 研究所七大百万美元难题之一。但专家首次评估普遍持保留态度：HF 作者 David Louapre 解析指出该证明尚未完全过关，数学圈在 X 上流传尖锐批评，指其并未证明质量间隙，相关构造物可能只是自由理论，所提供的仅是「证据」而非完整证明。