如何看待OpenAI宣称解决了Yang-Mills的存在与完备性问题？

relevant messages：https://openai.com/index/building-scientific-understanding-with-academic-communities/ introduction to the Existence of quantum chromodynamics and completions of the Standard Model, membership and their claims： 量子色动力学的存在性与标准模型的完备化 物理学合作小组将理解并解释一项成果：该成果给出了某些含规范场与费米子的四维相互作用量子场论的数学严格存在性证明，其中包括量子色动力学（QCD）以及粒子物理标准模型的一个统一完备化版本。我们的工作建立在构造性量子场论中 Balaban 的方法（在新窗口中打开）之上。作为子问题，这项工作还包含纯杨–米尔斯理论的存在性证明，而这属于克莱数学研究所千禧年大奖难题"量子杨–米尔斯理论"（在新窗口中打开）的一部分。 标准模型描述了基本亚原子粒子在四种基本力中除引力以外三种力下的相互作用。该存在性证明针对的是包含标准模型规范场与费米子的最简单大统一理论（因为标准模型本身无法外推到任意短的距离）。QCD 描述夸克、胶子等粒子通过强相互作用发生的相互作用。纯杨–米尔斯理论只描述胶子（力的载体）的自相互作用，而不涉及夸克等物质。 David Gross​ 将领导一个小组引导这项工作，成员包括 Michael Douglas、Arthur Jaffe、Igor Klebanov 和 Nikita Nekrasov。 Gross 在 1973 年关于杨–米尔斯理论中渐近自由的工作，帮助确立了 QCD 作为强相互作用理论的地位，并使他分享了 2004 年诺贝尔物理学奖（在新窗口中打开）。渐近自由也是这些理论能够作为数学严格对象而存在的关键机制。 Jaffe 与 Witten 共同提出了量子杨–米尔斯理论千禧年大奖难题（在新窗口中打开），并且是千禧年大奖难题这一构想的提出者之一，也是克莱数学研究所的联合创始人。 Douglas 在过去 20 年里一直是这一问题的守护者，曾在 2004 年报告其进展（在新窗口中打开），并在今年年初给出了一份全面的进展更新（在新窗口中打开）。 Klebanov 是将规范–弦对偶应用于禁闭（QCD 的一项重要性质）的先驱之一，现任西蒙斯禁闭与 QCD 弦合作计划（Simons Collaboration on Confinement and QCD Strings）（在新窗口中打开）主任。 Nekrasov 在杨–米尔斯理论推广形式的精确方法方面做出了开创性工作，并于 2023 年获丹尼·海涅曼数学物理奖（Dannie Heineman Prize for Mathematical Physics）。 小组请求：任何与该小组任何成员就此项工作的沟通，请统一发送至以下邮箱：YANGMILLS4D@gmail.com。 我们的模型于 2026 年 9 月 9 日产出了杨–米尔斯存在性的自然语言证明，随后于 2026 年 9 月 18 日产出了 QCD 的证明。鉴于这项工作的篇幅与复杂性，我们推迟发布，直至 Lean 形式化完成。我们于 2026 年 10 月 16 日完成了杨–米尔斯存在性的形式化，这促使我们建立了这里所描述的合作。 我们希望这些成果标志着一个转折的开端：量子场论——现代理论物理学中最重要的框架——将成为一个数学上严格的领域。我们很乐意为此提供资源，支持由学术界主导的、朝向这一目标的推进。

前往原平台核验详情 ↗