Loading page…
Public proof materials allow immediate scrutiny in mathematics and computing. Physics collaborators will prepare their own account before releasing the AI output.
Listen to this story
OpenAI says its systems produced results spanning mathematics, theoretical computer science and physics, but the claims are at different stages of review. Mathematics and computer science materials, including Lean-checked proofs, are public; for the physics work, David Gross’s group is preparing an independent writeup before the artifacts are released. The physics claim includes an existence proof for pure Yang–Mills theory, not a solution of the full Millennium Prize problem. The split review process means outside researchers will have unequal access to the claims at first.
OpenAI says its models proved the local smoothing conjecture in every dimension, also resolving the Kakeya and Stein restriction conjectures.
The computer science result challenges the Exponential Time Hypothesis, which researchers have used to establish conditional limits across many fields.
Russell Impagliazzo, Ramamohan Paturi and Ryan Williams will examine and explain the computer science result; practical algorithmic gains remain uncertain.
OpenAI is claiming three scientific breakthroughs while calling the underlying manuscripts raw research data, not finished scientific understanding. Its October 26, 2026 announcement pairs results in mathematics, computer science and physics with different routes to scrutiny: public proof materials for the first two, and an expert-led writeup before releasing the physics artifacts.
The mathematics result concerns the local smoothing conjecture: the idea that the most extreme focusing of waves must be short-lived. OpenAI says its models proved it in every dimension, also resolving the Kakeya and Stein restriction conjectures in all dimensions.
Following an external expert’s recommendation, the company published its AI-generated writeup and a proof formalized in Lean, leaving researchers to organize their own explanatory efforts. The computer science release combines public proof materials with a designated group to verify and explain the result.
That result challenges the Exponential Time Hypothesis, a conjecture about the difficulty of finding solutions to Boolean logic formulas. Researchers have used it in hundreds of papers to derive conditional limits on computing tasks across fields including databases, graph theory and computational biology.
OpenAI says its system disproved the hypothesis and that Lean verified the result. Russell Impagliazzo and Ramamohan Paturi, both original proposers, will lead the examination alongside Ryan Williams. Finding faster algorithms and translating theoretical gains into practical improvements will require significant further research, the company cautions.
choosing initial shepherds necessarily shapes who gets involved first and creates asymmetry of information.
OpenAI, October 26 research announcement
The physics claim concerns rigorous mathematical existence proofs for certain interacting quantum field theories in four dimensions. OpenAI says these include quantum chromodynamics, which describes strong-force interactions involving quarks and gluons, and a unified completion of the Standard Model of particle physics.
The work also includes a claimed existence proof for pure Yang–Mills theory—part of the Clay Mathematics Institute’s Quantum Yang–Mills Millennium Prize problem, not a claim to have completed the entire problem.
David Gross will lead a group including Michael Douglas, Arthur Jaffe, Igor Klebanov and Nikita Nekrasov. According to OpenAI, these collaborators chose to withhold the AI-produced artifacts while preparing their own writeup. The company says it deferred to them on publication.
OpenAI’s stated rules give collaborators freedom to reach and publish their own conclusions:
Loading discussion...
Join the conversation
Explain when early disclosure helps science—or gets ahead of scrutiny.
Be the first to share a perspective or an experience.
Reader comments
Newest comments first. Replies stay oldest first.