Working with academic communities to build scientific understanding openai.com

OpenAI says its models produced proofs resolving three major problems: the local smoothing conjecture in every dimension, a refutation of the Exponential Time Hypothesis, and rigorous existence proofs for four-dimensional quantum field theories including QCD. It has published the mathematics and computer-science outputs with Lean formalizations, while a group led by David Gross will guide the physics work and write it up before release; separate academic teams will examine the computer-science and mathematics results.