AI 模型产出杨-米尔斯与 QCD 存在性证明，并已用 Lean 形式化验证

据 @danintheory 介绍，一项物理学协作解释并给出了四维时空中含规范场与费米子的相互作用量子场论的严格数学存在性证明，覆盖 QCD 及标准模型的一个统一完成版本；作为子问题，还证明了纯杨-米尔斯理论的存在性，这属于克雷数学研究所千禧年大奖难题的一部分。相关证明均已在 Lean 中形式化验证，模型先产出杨-米尔斯存在性的自然语言证明，随后给出 QCD 的证明。