It describes the manuscripts as raw research data and says external experts will help organize understanding and review.
For its mathematics claim, OpenAI has released a natural-language writeup and a Lean formalization in its public GitHub repository. The company says the work proves the local smoothing conjecture in every dimension, with consequences for the Kakeya and Stein restriction conjectures. It says the model output was obtained on October 18 and formalized in Lean the following day.
For a claimed refutation of the Exponential Time Hypothesis, OpenAI says an external group led by Russell Impagliazzo, Ramamohan Paturi, and Ryan Williams will examine and explain the result; the natural-language proof and Lean formalization are public. For the physics result, the collaborating group has chosen not to release AI-produced artifacts yet and will prepare its own writeup.
OpenAI says participation is voluntary, unpaid, independent, and not subject to NDAs. The announcement does not establish that the claimed mathematical, complexity-theory, or physics results are correct, nor does it provide completed external validation or a timetable for the withheld physics materials.