Claude 协助推导格点 Yang–Mills 强耦合质量间隙界，并以 Lean 验证有限代数步骤；连续千年难题仍未解决

Deep Bhattacharjee、Ushashi Bhattacharya 于 10 月 18 日发表 AI-assisted 数学物理预印本：声称证明固定格距格点 Yang–Mills 在 |β|<1/(8d) 的唯一性和质量间隙，并把四维 SU(2) 单链 Dobrushin 方法阈值推进至 β_W<2/9。公开说明 Claude Code 协助证明、写作与 Lean 开发；Lean 4 的 25 个定理仅覆盖有限及代数步骤，Bessel 恒等式、调和延拓和 Riccati 比较等解析步骤保留在手写论证与数值检查中。作者明确声明连续 Yang–Mills 存在性与质量间隙问题仍开放，不可将格点模型的有限参数结果等同千年难题。