OpenAI says its latest AI-generated mathematical work proves a long-standing local smoothing conjecture across every spatial dimension of two or more, with consequences for several other major problems. The result is a substantial claim about what AI-assisted mathematics may produce, but the proof still needs expert examination.
OpenAI Watch analysis
What happened
The work concerns local smoothing for the Euclidean wave equation. According to OpenAI, its proof uses an auxiliary partial differential equation and also establishes the Kakeya maximal and dimension conjectures, along with Stein’s spherical restriction estimates throughout the interior of the conjectured range. The Verge reports that the materials were published on GitHub.
OpenAI says it is releasing the model output directly. This mathematical result is one of three discoveries announced by the company; the computer-science and physics claims are separate work. Read The Verge’s report.
Why it matters
These are connected, difficult problems in analysis, and the claimed result reaches beyond a single conjecture. If the proof holds up, it could change what researchers can establish about waves and related mathematical structures. The public release also gives mathematicians material to examine rather than asking them to take a company announcement on trust.
That examination is the important next step. OpenAI says an independent group of mathematical advisers recommended releasing the output for researchers to work through; the supplied report does not establish that the proof has been independently validated.
Our read
This is an intriguing research claim, not a settled mathematical result. The useful point is the specific scope OpenAI claims: local smoothing in every dimension at least two, with further consequences for Kakeya and Stein’s restriction estimates. The proof and the scrutiny it receives matter more than the announcement’s excitement level, which is already doing plenty of lifting.
What to watch
- Whether researchers confirm the proof and its claimed consequences.
- Whether the argument is clarified, corrected or narrowed during examination.
- How OpenAI and researchers handle credit for producing, checking and explaining AI-generated work.
Discussion spark: If AI produces a proof that experts later verify, should credit go mainly to the system’s developers, the researchers who checked it, or both?
Sources and evidence
- OpenAI announces three big science discoveries and a new way to work with academics – The Verge (26 October 2026, 23:34 UTC)
OpenAI Watch is independently operated by WittyWires. It is not affiliated with, endorsed by, or operated by OpenAI.