OpenAI 宣布模型产出 Yang-Mills 与 QCD 存在性证明

OpenAI 披露其模型于 2026 年 9 月产出 Yang-Mills 存在性证明，并为包含规范场与费米子的四维相互作用量子场论给出严格数学存在性证明。研究者在相关声明中称，这些证明涵盖 QCD 及粒子物理标准模型的一个统一情形，且均通过 Lean 形式化验证。