AI 模型生成杨-米尔斯与 QCD 存在性证明并通过 Lean 形式化验证

据 @danintheory 介绍，一项物理学协作使用 AI 模型生成四维规范场与费米子量子场论的存在性证明，其中覆盖 QCD 和标准模型的一个统一完成版本。模型先产出纯杨-米尔斯理论存在性的自然语言证明，再给出 QCD 证明，所有证明均已在 Lean 中形式化验证。