Mills（通常与 Yang 合称 Yang–Mills，杨–米尔斯理论）是现代粒子物理标准模型的数学基础，用规范场论描述基本粒子间的强、弱相互作用，其“存在性与质量间隙”问题至今仍是七个千禧年大奖难题中尚未被解决的一个。近期的 AI 圈热议中，这个词重新被推到台前：一方面是大模型在杨–米尔斯相关物理计算上刷新纪录，另一方面是 AI 攻坚千禧年难题的进展引发讨论。
杨–米尔斯相关的 AI 近期进展
当前焦点与观察点
目前围绕 Mills 与 AI 的讨论集中在两点：一是成果的真实边界。散射振幅计算属于对已有理论框架的机械化推导，而“攻破千禧年难题”则需要严格证明并通过官方审核，两者难度和性质完全不同，公众传播中容易混为一谈。
二是方法论争议。Gary Marcus 等批评者持续质疑大模型在严肃数学与物理证明中的可靠性，认为需要外部验证机制而非模型自证；支持方则以九圈计算的独立可复核性作为反例。接下来的观察点是：杨–米尔斯质量间隙若真有 AI 参与的证明出现，能否通过 Clays 研究所流程化的审查，这将是判断“AI 是否真正进入基础物理核心地带”的关键节点。