OpenAI announced three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory, with release strategies coordinated through external expert shepherds.
Mathematics: models produced a proof of the local smoothing conjecture in every dimension, resolving the Kakeya conjecture and Stein’s restriction conjecture in all dimensions, with Lean formalization.
Computer science: the system proved the Exponential Time Hypothesis (ETH) is false, verified in Lean—a result shepherded by Russell Impagliazzo, Ramamohan Paturi, and Ryan Williams. Raw writeups and Lean proofs were published to GitHub; OpenAI committed to funding a conference on implications.
Physics: a collaboration led by David Gross will explain a rigorous existence proof for interacting QFTs including QCD and Yang–Mills in four dimensions, building on Balaban’s constructive QFT approach. AI artifacts for physics are held for academic writeup.
OpenAI described manuscripts as raw research data and outlined principles: transparency, no academic credit claims, recognition for shepherd groups, and independence.