OpenAI’s proof that QCD exists is not out yet

OpenAI has not yet publicly released AI-generated proofs that it says establish a mathematically rigorous existence proof of quantum chromodynamics (QCD), including pure Yang–Mills theory, along with a proof that the Exponential Time Hypothesis is false and proofs of the local smoothing, Kakeya and Stein restriction conjectures. OpenAI said its models produced a natural-language proof of Yang–Mills existence on September 9, 2026, and a QCD proof on September 18, 2026, and that it postponed release until Lean formalization of the Yang–Mills existence proof finished on October 16, 2026. OpenAI is applying three different release strategies through external expert shepherds: the math output is released publicly, the computer science natural-language proof and Lean formalization are public immediately with a funded conference and an open examination of the ETH claim, and the physics collaborators are holding back the AI-produced artifacts to write up the result themselves — a choice OpenAI acknowledged "creates asymmetry of information.

We reached out to external experts and asked them to act as shepherds, organizing groups to understand the new results. They advised three different release strategies: - For the math result, release the AI output, leaving researchers free to organize their own efforts to explain the result. - For the computer science result, form an external group of collaborators to explain the result, while making the AI output publicly available for anyone to examine and build on. - For the physics result, form an external group of collaborators and defer to them on the release of materials. This is short, but big: a proof of the local smoothing conjecture in every dimension, and with it the Kakeya conjecture and Stein’s restriction conjecture; a proof that the Exponential Time Hypothesis is false; and an existence proof of quantum chromodynamics. Three communities, three different ways, and OpenAI tries to honor what each one wants. Only yesterday I said the math community seems to reject progressive disclosure ../math/math-vs-cybersecurity.html , as AGMAI recommends labs stop designating mathematicians ../link/agmai-designated.html to see the output first. The math result follows that: the expert they reached out to recommended releasing it publicly, the same way as the October 6 release ../math/openai-release.html . The physics result is the closest to my progressive disclosure idea. The circle starts with the lab, widens to a group of experts known to be working on the problem, and the public comes last, when the group decides: For the physics collaboration, the group has decided to hold off on releasing the AI-produced artifacts and instead work on writing it up themselves. The computer science result is in between. The shepherds are designated, but the natural language proof and the Lean formalization are public immediately, and the group asked OpenAI to fund a conference and “invites the community to help organize an open examination of the ETH claim”. So the data is open to everyone at once, and only the explaining is led by a designated group. OpenAI also names the cost AGMAI is worried about: On the other hand, choosing initial shepherds necessarily shapes who gets involved first and creates asymmetry of information. Just a week ago I asked whether a network of agents could formalize QFT ../math/math-at-home.html . And this is it, much earlier than I expected: The physics collaboration will understand and explain a result that gives a mathematically rigorous existence proof of certain interacting quantum field theories containing gauge fields and fermions in four dimensions, including Quantum Chromodynamics QCD and a unified completion of the Standard Model of particle physics. … As a subproblem, this work also includes a proof of the existence of pure Yang–Mills theory, which is part of the Quantum Yang–Mills Theory Clay Mathematics Institute Millennium Prize problem. The timeline and the way it is handled are interesting: Our models produced a natural language proof for Yang–Mills existence on September 9th, 2026, and then subsequently produced a proof for QCD on September 18th, 2026. Given the length and complexity of the work, we postponed release until the Lean formalization completed. We finished our formalization of Yang–Mills’ existence on October 16th, 2026, which led us to develop the collaboration described here. The proof is not even out there yet. This is an interesting take on progressive disclosure: progressively review what’s proved, but take more time to digest it, to publish it properly. It also means the Yang–Mills proof existed inside OpenAI more than a month before I asked, which is the lab’s early access by construction, as I argued in the economy post ../math/economics.html . Because of that, it is not clear what has been proved. My reading is this: