OpenAI has announced that its AI models have resolved three significant academic conjectures in mathematics, computer science, and physics. The company is collaborating with external experts to share and understand these findings.
TL;DR
- OpenAI's AI models have resolved three major academic conjectures.
- The company is collaborating with external experts to share and understand these findings.
- OpenAI is committed to supporting the broader work of understanding and building on these results.
What happened
OpenAI has announced that its AI models have resolved three significant academic conjectures: the local smoothing conjecture in mathematics, the Exponential Time Hypothesis in computer science, and the existence of quantum chromodynamics in physics. The company has decided to collaborate with external experts to share and understand these findings.
For the mathematics result, OpenAI has released the AI output publicly, following the same strategy as its October 6th, 2026 release. For the computer science result, the group has decided to make the natural language proof and Lean formalization public immediately. For the physics result, the group has decided to hold off on releasing the AI-produced artifacts and instead work on writing it up themselves.
OpenAI has committed to funding a conference to understand the implications of the Exponential Time Hypothesis result on the field as a whole. The company has also committed to supporting the broader work of understanding and building on these results, including a $5 million contribution to the Simons Foundation.
Why it matters
These results have significant implications for the respective fields. The resolution of the local smoothing conjecture implies the resolution of the Kakeya conjecture and Stein's restriction conjecture in all dimensions. The refutation of the Exponential Time Hypothesis reopens questions about how much faster certain computational tasks could become. The existence proof of quantum chromodynamics and completions of the Standard Model marks a significant step towards making quantum field theory a mathematically rigorous field.
For developers and startups, these results could open up new avenues for research and development. For investors, these results demonstrate the potential of AI to drive significant advances in academic research, which could have commercial applications in the future.
However, there are also limitations and open questions. The refutation of the Exponential Time Hypothesis raises questions about how to turn theoretical advances into practical improvements. The resolution of these conjectures is just the beginning, and significant further research will be required to fully understand and build on these results.
Key facts
- OpenAI's AI models have resolved three significant academic conjectures: the local smoothing conjecture in mathematics, the Exponential Time Hypothesis in computer science, and the existence of quantum chromodynamics in physics.
- OpenAI has decided to collaborate with external experts to share and understand these findings, following four principles: transparency, no academic credit, recognition, and independence.
- For the mathematics result, OpenAI has released the AI output publicly. For the computer science result, the group has decided to make the natural language proof and Lean formalization public immediately. For the physics result, the group has decided to hold off on releasing the AI-produced artifacts and instead work on writing it up themselves.
- OpenAI has committed to funding a conference to understand the implications of the Exponential Time Hypothesis result on the field as a whole. The company has also committed to supporting the broader work of understanding and building on these results, including a $5 million contribution to the Simons Foundation.
- The mathematics result was obtained on October 18th, 2026, and the Lean formalization was completed the following day. The computer science result was obtained on October 16th, 2026, and the Lean formalization was completed on October 17th, 2026. The physics result was obtained on September 9th, 2026, for Yang–Mills existence and on September 18th, 2026, for QCD. The Lean formalization of Yang–Mills' existence was completed on October 16th, 2026.
- The computer science collaboration is led by Russell Impagliazzo (UC San Diego), Ramamohan Paturi (UC San Diego), and Ryan Williams (MIT). The physics collaboration is led by David Gross, with Michael Douglas, Arthur Jaffe, Igor Klebanov, and Nikita Nekrasov.
Context
OpenAI is a leading AI research lab, known for its work on large language models like GPT-4. The company has a history of collaborating with external experts to share and understand its findings, and has previously announced a $5 million contribution to the Simons Foundation to support workshops, conferences, and special programs to help researchers understand and build on results produced by AI.
The resolution of these conjectures is a significant step forward for the respective fields. The local smoothing conjecture is a fundamental result in harmonic analysis, with wide-ranging implications throughout mathematical analysis. The Exponential Time Hypothesis is a longstanding conjecture about the computational complexity of Boolean formula satisfiability, a problem deeply related to the P vs. NP problem. The existence proof of quantum chromodynamics and completions of the Standard Model marks a significant step towards making quantum field theory a mathematically rigorous field.
