OpenAI 宣称给出杨-米尔斯存在性证明,物理学家 Woit 质疑「刻意含糊」

burny_tech · x · 2026-10-27

OpenAI 发布新闻稿,宣称其模型给出了四维含规范场与费米子的相互作用量子场论(包括 QCD 和一个「标准模型的统一完备化」)的数学严格存在性证明:模型于 2026 年 9 月 9 日产出 Yang–Mills 存在性的自然语言证明,9 月 18 日产出 QCD 证明,10 月 16 日完成 Lean 形式化后才发布。哥伦比亚大学数学教授 Peter Woit 在博客 Not Even Wrong 上提出尖锐质疑:新闻稿没有说明「统一完备化」指什么、Yang–Mills「存在性」的确切含义;既然未提及质量间隙/千禧年大奖问题,可能只是小体积情形的存在性,而不指明这一点「在我看来是刻意误导」。此外 OpenAI 目前未公开任何技术细节,仅任命 David Gross 领导一个可接触该成果的小组(Jaffe/Douglas/Klebanov/Nekrasov)。