OpenAI’s triple threat: New proofs challenge math, computing and quantum physics

OpenAI says its models have produced mathematical proofs that challenge established theories in harmonic analysis and computer science. The work also includes a claimed existence proof for quantum field theories, including quantum chromodynamics (QCD). Researchers will now examine the results, verify their implications and explain their significance to the wider scientific community.

The company has adopted different release strategies for the three projects. It has published the mathematical and computing proofs, while an external physics group will prepare its own account of the research.

Math results challenge established theories

One proof addresses the local smoothing conjecture, a problem in harmonic analysis proposed by Christopher Sogge in 1991. It describes how waves behave when they concentrate, suggesting that extreme focusing cannot persist for long periods.

OpenAI says its models proved the conjecture across every spatial dimension. The result also resolves the Kakeya conjecture and Stein’s restriction conjecture, according to the company.

Previous research established important milestones in this area. In 2019, Larry Guth, Hong Wang and Ruixiang Zhang proved the local smoothing conjecture in two spatial dimensions. Wang and Zahl subsequently proved the three-dimensional Kakeya conjecture in 2025.