OpenAI’s October 26, 2026 announcement described three model-generated research results: a proof claim in harmonic analysis, a claimed refutation of a central computer-science hypothesis, and an existence result in quantum field theory. The company called the manuscripts “raw research data” and said outside experts would help turn them into scientific understanding—not that the results had already been independently confirmed.
13
26
What OpenAI claimed
Mathematics: Sogge’s local smoothing conjecture
OpenAI said its models proved Christopher Sogge’s 1991 local smoothing conjecture for waves in every spatial dimension. The company also said the result implies advances on Kakeya and Stein restriction problems.
13
The public GitHub history gives a more specific description: it says the work establishes local smoothing in spatial dimensions of at least two, yields the Kakeya maximal and dimension conjectures, and provides Stein’s spherical restriction estimates within the interior of the conjectured range. It describes the proof as using an auxiliary partial differential equation and lists a manuscript with a Lean formalization.
2
Computer science: the Exponential Time Hypothesis
OpenAI also claimed that a model refuted the Exponential Time Hypothesis (ETH), a conjecture about the difficulty of Boolean satisfiability problems. Reporting says the model produced the purported disproof on October 16 and that the paper and proof were made public.
1
11
The available reporting does not establish the precise scope and running-time details of the counting algorithm described in the broader claim. Those specifics should not be treated as settled without examining and validating the proof itself.
Physics: an existence result in quantum field theory
The third claim concerns the existence of certain four-dimensional quantum field theories, including quantum chromodynamics (QCD), according to reporting on the announcement.
4
11 The materials were not publicly released, and the available sources do not establish the exact theorem or show that it satisfies the requirements of the Clay Millennium Prize problem.
4
6
How the release and review plans differ
Mathematics: OpenAI published mathematical manuscripts and Lean formalizations on GitHub. The repository says this release followed an October 6 release precedent.
2
Computer science: The ETH paper and proof were also reported as public. Russell Impagliazzo, Ramamohan Paturi and Ryan Williams were asked to organize an outside examination of the claim. Williams said the group would work without pay and had not signed nondisclosure agreements; their involvement is not itself a certification of the result.
1
11
19
Physics: Unlike the public mathematics release, the physics materials were withheld at the physics group’s decision, according to coverage.
4 OpenAI described the broader role of outside “shepherds” as organizing experts to understand the results.
13
Reporting also linked the announcement to a $5 million contribution to the Simons Foundation for workshops. That funding detail does not establish that any of the scientific claims has been verified.
11
What is—and isn’t—established
The announcement establishes that OpenAI made the claims and that it chose different routes for sharing and reviewing the results. It does not establish that the proofs are correct or accepted by the relevant research communities. As of the reporting immediately after the announcement, coverage said independent verification had not yet occurred.
4
24
That distinction matters especially for the physics result: the available information is not enough to conclude that it solves the Clay Millennium Prize problem. More generally, public manuscripts, Lean formalizations and expert review efforts are parts of a process of scrutiny; they should not be confused with its outcome.