The Signal
OpenAI Says Its Models Proved QCD Exists
OpenAI says its models produced a mathematical existence proof for quantum chromodynamics and related four-dimensional quantum field theories. The company is withholding the physics proof materials while an outside group led by David Gross
Quantum.world Team · Written with AI · fact-checked ·
“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.”
OpenAI
OpenAI said on October 26 that its models had produced an existence proof for quantum chromodynamics, or QCD, and related quantum field theories. The company has not released the proof or its supporting artifacts. Instead, an outside group led by physicist David Gross will examine the work and write an explanation.
The announcement describes a mathematical claim, not a new experimental observation about quarks and gluons. OpenAI says the result establishes the existence of certain interacting quantum field theories in four dimensions, including QCD and a unified completion of the Standard Model. The company also says the work builds on an approach in constructive quantum field theory developed by mathematician David Balaban.
OpenAI’s QCD proof is not public
OpenAI says it delayed releasing the physics materials because of the work’s length and complexity. The external group chose to hold back the AI-generated artifacts while its members prepare their own write-up. The announcement does not provide the proof’s text, a paper, a Lean formalization for QCD, or a timetable for publication.
That leaves a significant distinction between the QCD claim and the company’s computer-science result announced in the same post. For that result, OpenAI says the collaborators chose to publish the natural-language proof and Lean formalization immediately. For the physics work, outside researchers will first decide how to present what they examine.
Five researchers will shepherd the physics work
Gross will lead a group that includes Michael Douglas, Arthur Jaffe, Igor Klebanov and Nikita Nekrasov. OpenAI says their role is to understand and explain the result; the company says the researchers participate independently, without pay, and speak for themselves rather than for OpenAI. The company also says it seeks no academic credit for discoveries produced by its internal models.
The scope OpenAI describes extends beyond QCD. It says the proof covers certain four-dimensional theories containing gauge fields and fermions, and includes pure Yang–Mills theory as a subproblem. Pure Yang–Mills describes gluon self-interactions without matter such as quarks; the broader result OpenAI claims includes theories with fermions, the particle family that includes quarks.
The claim awaits an inspectable proof
OpenAI’s own release draws a line between producing a result and making it understandable: it calls the manuscripts “raw research data” and says external groups will help turn them into scientific understanding. For QCD, that process begins before the underlying materials reach the public. Readers therefore cannot yet assess the argument or compare it with the cited mathematical framework.
OpenAI says it completed a Lean formalization of pure Yang–Mills existence on October 16, but does not say that a QCD formalization has been completed. The distinction matters because the announcement places QCD within a wider result while confirming formalization only for the Yang–Mills part. For now, the QCD proof remains a company claim under academic examination, not a publicly checkable demonstration.