OpenAI says its models solved three major theory problems. What is actually verified?
Lean formalizations and two AI-generated manuscripts are public, while external experts are only beginning to assess the claims. OpenAI itself calls the work raw research data; the physics materials are still withheld.
The short version
- What happened
- OpenAI announced AI-generated results on local smoothing and Kakeya, the Exponential Time Hypothesis, and four-dimensional quantum field theory; these are extraordinary company claims, not peer-reviewed conclusions.
- Who it affects
- Scientists may gain a new way to generate and check arguments, but premature acceptance could redirect research, credit or funding before the claims are understood.
- What remains unproven
- Company announcement rather than peer-reviewed publication
Keep in mind
Company announcement rather than peer-reviewed publication
OpenAI generated and released the materials
No settled independent verdict
Physics artifacts are not public
Formal correctness does not by itself establish novelty, interpretation or practical scientific impact
Source analysis · 3 linked sources. Primary analysed source date: 26 October 2026. Earliest linked supporting source: 25 October 2026.
Read the full report · 4 min The evidence, methods, implications and limitations
Three claims arrived with three different release states
OpenAI announced on 26 October that internal models had produced a proof of the local smoothing conjecture in every dimension, a disproof of the Exponential Time Hypothesis, and existence proofs for certain four-dimensional quantum field theories including QCD. If accepted, each would matter deeply in its field. But the company explicitly describes the manuscripts as raw research data and says it does not yet know which community-verification process will work best.
The local-smoothing manuscript and Lean development are public. The ETH natural-language proof and formalization are also public, with a group led by Russell Impagliazzo, Ramamohan Paturi and Ryan Williams organizing examination. For the physics claim, a group led by David Gross is reviewing the work and has not released the AI-produced artifacts. Readers can therefore inspect two claims in detail; the third cannot yet be independently checked from the supplied materials.[1][2][3]
Lean verification is important, but it is not the whole verdict
A proof assistant checks whether a formal statement follows from definitions, axioms and earlier lemmas without an invalid logical step. That is stronger evidence than an unchecked generated argument. OpenAI's local-smoothing scope document says the development includes estimates connected to Kakeya sets in all dimensions; the company also says the ETH result was formalized the day after its natural-language disproof.
Formalization still leaves scientific questions. Experts must confirm that the encoded theorem is exactly the theorem people think was solved, that assumptions do not smuggle in the conclusion, and that imported libraries and definitions are appropriate. They must compare the argument with prior literature and explain its conceptual contribution. A machine-checked file can be correct yet narrower, differently framed or less novel than a launch headline suggests.[1][2][3]
The distinction that matters
Three results, three verification stages
The public evidence is uneven, so the claims should not share one confidence label.
Local smoothing
Manuscript and Lean scope public
Open for independent checking
ETH
Proof, formalization and expert group public
Organized verification beginning
Quantum field theory
Expert group formed; artifacts withheld
Independent inspection not yet possible
The verification process is now the story
OpenAI says external working-group participation is voluntary and unpaid, participants may discuss the work freely, and the groups' conclusions will be independent. The company does not seek academic credit for the model outputs and has agreed to release raw ETH materials and fund a conference about the claim. Those commitments improve inspectability, while the initial choice of shepherds still shapes access and attention.
For researchers, the immediate task is reproduction and interpretation—not rewriting textbooks. No journal acceptance, independent proof audit or settled community verdict accompanied the announcement. The assessment would change if experts publish transparent checks that connect every formal statement to the claimed result and establish novelty; it would weaken if gaps, mismatches or prior results emerge. Until then, these are unusually well-artifacted claims under active examination, not confirmed scientific breakthroughs.[1]