OpenAI says its AI models produced three new scientific results
OpenAI says its models generated three results in mathematics, complexity theory, and quantum field theory, with some proofs formally verified in Lean.
AT A GLANCE
Key points
- OpenAI reported three model-produced results across mathematics, computer science, and physics.
- Natural-language and Lean materials were released for the mathematics and complexity results.
- External academic groups will independently examine and contextualize the claims.
What is changing?
OpenAI announced on October 26 that its models had produced three results in harmonic analysis, computational complexity, and quantum field theory. According to the company, the mathematics work proves the local smoothing conjecture in every dimension, extending to the Kakeya and Stein restriction conjectures. The computer science result claims that the Exponential Time Hypothesis is false; its natural-language proof and Lean formalization were released publicly.
The physics work claims a mathematical existence proof for interacting four-dimensional quantum field theories, including quantum chromodynamics and a unified completion of the Standard Model. OpenAI describes these outputs as “raw research data.” External expert groups will examine and explain the results, while release of the physics materials is being deferred to that group. The claims therefore should not be treated as independently validated scientific conclusions yet.
Explore the original sources
Source date: 26 October 2026.
Published by AI Radar: 27 Oct 2026, 01:08 (Istanbul, UTC+3). Updated: 27 Oct 2026, 01:13.
FOLLOW THE TOPIC
Topics and tags
Share your discovery.
Send this story to a friend.
Reader comments
What do you think about this development? Share your experience or question. Comments are published after editorial approval.
Your name/nickname and comment become public if approved. Read: Privacy notice.
Loading comments…