OpenAI announced October 26, 2026: (1) harmonic analysis / local smoothing proof released as model output; (2) ETH refutation with Lean formalization, shepherded by Impagliazzo, Paturi, Williams; (3) QCD/Yang–Mills existence work held for physics shepherd group led by David Gross—not released as raw AI output. Yang–Mills existence is subproblem of Clay prize, not full mass-gap solution.