OpenAI announced that its AI model has achieved three major scientific breakthroughs in mathematics, computer science, and physics, including the proof of the Kakeya conjecture in harmonic analysis, the refutation of the Exponential Time Hypothesis (ETH) in computational complexity theory, and a rigorous proof of existence for four-dimensional quantum field theories (including QCD and the Standard Model).Author and source: AIBase
Recently, OpenAI officially announced that its AI model has made three major scientific discoveries in mathematics, computer science, and physics, involving harmonic analysis, computational complexity theory, and quantum field theory. To transform these cutting-edge raw research findings into genuine scientific understanding, OpenAI innovatively adopted a new model of deep collaboration with the external academic community and implemented diversified publication strategies tailored to each field’s results.
In the field of harmonic analysis, the model successfully proved the local smoothing conjecture in all dimensions, thereby directly resolving the mathematical community’s Kakeya conjecture and Stein restriction conjecture. The new proof is based on a novel auxiliary partial differential equation. OpenAI has published the AI-generated natural language report and Lean proof on its publicly accessible GitHub repository.
In the field of computer science, a system has disproven the Exponential Time Hypothesis (ETH), a long-standing conjecture closely related to the famous P vs. NP problem, which had been widely used in hundreds of papers to derive conditional computational hardness results. This result has also been verified in Lean. The work has been reviewed and guided by a leading team of experts led by Russell Impagliazzo, Ramamohan Paturi, and Ryan Williams, and both the findings and the Lean formal proof have been publicly released on a GitHub repository.
In the field of physics, models have provided mathematically rigorous proofs of existence for certain interacting quantum field theories in four dimensions, including quantum chromodynamics (QCD) and the unified, complete formulation of the Standard Model of particle physics, with the existence of pure Yang–Mills theory as a subproblem—this being part of the Clay Mathematics Institute’s Millennium Prize Problems. This complex work was advanced by a team of physicists led by David Gross, including Michael Douglas, Arthur Jaffe, Igor Klebanov, and Nikita Nekrasov.
To fully support independent academic review and in-depth exploration of these breakthrough results, OpenAI previously donated $5 million to the Simons Foundation to fund related workshops, conferences, and special programs. These initiatives not only demonstrate the immense potential of AI in cutting-edge fundamental scientific research but also signal that modern theoretical physics and mathematics are accelerating toward higher standards of rigor.