OpenAI shares AI math, complexity and physics results with academics
Original title: Working with academic communities to build scientific understanding
Shepherds chose three release paths; Lean writeups for the math and ETH results are already public.
OpenAI said internal models produced a proof of the local smoothing conjecture in every dimension, which would also resolve the Kakeya and Stein restriction conjectures, plus a claim that the Exponential Time Hypothesis is false and a quantum-field-theory result. External experts are shepherding three release strategies without nondisclosure agreements or pay. Math and computer-science artifacts are public on GitHub; the physics group is withholding AI outputs while writing its own account. OpenAI says it will not seek academic credit.
Unconfirmed: The manuscripts are described as raw model output, and independent verification is not reported.
- The local-smoothing output was obtained on October 18, 2026 and formalized in Lean the next day.
- The math argument relies on a novel auxiliary partial differential equation.
- Computer-science collaborators published a natural-language proof and Lean formalization.
- The physics group is delaying release of the AI-produced artifacts.
- Participants may publish their own conclusions and do not speak for OpenAI.
From the original article
10 min read at openai.comOpenAI shares model results on the Kakeya conjecture, Exponential Time Hypothesis, and quantum chromodynamics—and how researchers can verify and build on them.
openai.com
A short excerpt; the article and its images belong to the publisher. Summary, key facts and assessment above are AI-written from the article and can be wrong.