Working with academic communities to build scientific understanding

OpenAI announces three new discoveries produced by its AI models in mathematics, computer science, and physics. In mathematics, a proof of the local smoothing conjecture in all dimensions, which also resolves the Kakeya and Stein restriction conjectures, is released as raw AI output. In computer science, a disproof of the Exponential Time Hypothesis is being verified by a group led by Russell Impagliazzo, Ramamohan Paturi, and Ryan Williams. In physics, a proof of the existence of Quantum Chromodynamics and a unified completion of the Standard Model, including a proof of pure Yang-Mills theory, is being shepherded by a group led by David Gross. Each result follows a different release strategy advised by external experts, based on the principles of transparency, no academic credit, recognition, and independence. The work builds on prior results such as Balaban's approach in constructive quantum field theory and recent proofs by Guth, Wang, and Zhang, and Wang and Zahl.

(Source：OpenAI)