OpenAI releases formal proof addressing a decades-old quantum physics problem

OpenAI says its internal AI model produced a formal proof related to quantum chromodynamics, a theory used to describe fundamental forces and particles.

The work addresses the Yang-Mills problem, a long-running effort to put the mathematics behind quantum field theory on a rigorous footing.

The problem includes proving that the theory exists mathematically and that it has a nonzero mass gap; the account does not say OpenAI solved both parts.

Two mathematicians, Levent Alpöge of Anthropic and Ethan Sussman of Northwestern University, had been pursuing an independent proof and had shared progress publicly.

OpenAI’s announcement came before their work was complete, though Sussman said they may have been only weeks away.

The result matters because mathematicians have worked for decades to make quantum field theory rigorous, and experts describe this as a major advance.

Researchers are also questioning whether AI-generated proofs can be trusted, including how Lean software checks them; no further next steps are specified.