OpenAI的“牧羊人”确认重大物理学成果
内容摘要
OpenAI公开了其AI生成的量子Yang-Mills理论“存在性”证明，这是粒子物理学标准模型的关键基础。由理论物理学家David Gross领导的委员会验证了该证明在Lean中的形式化验证，并确认其证明了纯Yang-Mills理论在标准问题陈述下的存在性。该证明解决了Yang-Mills千禧年大奖难题的第一部分；更困难的“质量间隙”部分仍未解决。委员会承认他们尚未完全理解该证明，但已发布Lean代码供社区审查。这种“牧羊”方式引发了一些数学家的批评，他们主张更开放、及时地共享结果。
(来源：Scientific American)