OpenAI Announces Three AI-Driven Scientific Discoveries in Math, CS and Physics
On October 26, OpenAI announced that its AI models have produced three major scientific discoveries spanning mathematics, computer science, and physics—a rare scale of results covering harmonic analysis, complexity theory, and quantum field theory, two of which are directly tied to Millennium Prize Problems. The company says it has provided Lean formal verification and organized independent academic review, and the academic community is watching the verification process closely amid the shock.
Confirmed
- Mathematics: OpenAI released a preprint (official repo openai/math, already with 16k stars), stating that AI invented a new mathematical technique, "local smoothing for the Euclidean wave equation," proving the 1991 local smoothness conjecture in all dimensions, and thereby simultaneously resolving the Kakeya conjecture and the Stein restriction conjecture in all dimensions, as well as a 35-year-old open problem on wave focusing. Previously, the only results in this direction were the 2019 two-dimensional work of Guth-Wang-Zhan and some 2025 three-dimensional progress.
- Computer science: The model claims to refute the Exponential Time Hypothesis (ETH), which asserts that problems like 3-SAT admit no subexponential-time algorithms and underpins complexity theory and numerous lower-bound proofs. According to m17, theoretical computer scientist Ryan Williams announced that an internal OpenAI model produced a refutation of ETH; Andrew Curran also posted a paper link on X claiming ETH does not hold. If 3SAT has a subexponential algorithm, the implications would be profound, since 3SAT is NP-complete.
- Physics: Per m4's account of the official OpenAI blog post "Building scientific understanding with academic communities," the model produced a proof of Yang-Mills existence (a Millennium Prize Problem) on September 9, 2026, and completed Lean formalization; m7 and m16 also mention results on quantum chromodynamics (QCD) existence and the Standard Model.
- Former OpenAI president Greg Brockman and Polymarket, among others, publicly shared the news; on Polymarket, the market for "OpenAI announces another Millennium Prize Problem solved by year-end" was at 54%.
- The academic community is organizing independent reviews; multiple posts show scholars including Andrew Curran and Ryan Williams have joined the discussion.
Not yet confirmed
- None of the proofs have (within the material covered by these posts) passed full peer review; they are all "claims" awaiting independent review conclusions.
- Posts conflict on attribution: most attribute the results to OpenAI, but m7 says the news comes from Harmonic AI via danintheory (the harmonic-related team), and m13 says there are four results rather than three. The version based on OpenAI's official release says three.
- m8's author esrtweet observed that people in the field have begun discussing "whether ETH being false implies P=NP"; he personally still leans toward P≠NP but says his confidence dropped noticeably over the past 4 hours—this is speculation, not a conclusion.
Why it matters
- If the proofs hold, the refutation of ETH would shake the complexity-theoretic foundations and cryptographic lower-bound proofs underlying hundreds of papers. Cryptographer Matthew Green marveled that the result arrived far earlier than expected—he had thought such a "bizarre" breakthrough wouldn't appear until around Thanksgiving—and quipped that none of those who, two weeks ago, were so certain about the models' capability limits predicted this.
- Yang-Mills existence is a Clay Millennium Prize Problem, and the Kakeya and Stein restriction conjectures are core open problems in harmonic analysis. AI simultaneously approaching or solving top-tier problems across three fields is seen as a landmark moment in AI shifting from tool to "agent of scientific discovery"—as Brockman put it, perhaps marking the point where AI begins genuinely helping humanity deepen its understanding of the universe.
2026-10-27 ~ 2026-10-27 · 108 related posts
- Episode 1: Mathematicians Urge AI Labs to Stop Handpicking Researchers for AI Discoveries(2026-10-26, 2 posts)
- Episode 2: OpenAI Announces Three AI-Driven Scientific Discoveries in Math, CS and Physics(2026-10-27, 108 posts)
- Episode 3: Brockman on AI math hype: P probably still doesn't equal NP(2026-10-27, 6 posts)
- Episode 4: AI Claimed Solution to ETH Problem Faces Verification Doubts(2026-10-27, 2 posts)
Primary sources
- OpenAI internal model claims to refute ETH; top theorists to run open verification — rrwilliams · 2026-10-27
- ETH verification team: no NDAs, no pay, raw data release requested from OpenAI — rrwilliams · 2026-10-27
- OpenAI models produce Lean-verified existence proofs for QCD and Yang–Mills — danintheory · 2026-10-27
- OpenAI math repo adds new Lean-verified papers, including an ETH refutation claim — danintheory · 2026-10-27
- Harmonic announces three discoveries: ETH false, QCD existence, Kakeya conjecture — apples_jimmy · 2026-10-27
- OpenAI Outlines Plan to Build Scientific Understanding with Academia — Chemical-Agency-3997 · 2026-10-27
- OpenAI PDF claims refutation of ETH, solving 3SAT in exp(n/(log n)^(1/2+o(1))) — rrwilliams · 2026-10-27
- OpenAI Announces Three New Discoveries in Math, CS, and Physics — thesaraharminta · 2026-10-27
- [source] Greg Brockman announces AI-assisted discoveries in math, CS, and quantum field theory — gdb · 2026-10-27
- 'The exponential time hypothesis is FALSE!' — TCS community reacts to 3SAT result — danintheory · 2026-10-27
- Bubeck hails subexponential-time 3SAT algorithm as biggest TCS surprise in 20 years — danintheory · 2026-10-27
- [source] OpenAI says its models produced a Yang-Mills existence proof, formalized in Lean — exophades · 2026-10-27
- Harmonic announces three discoveries in math, CS, and physics — thegautamkamath · 2026-10-27
- OpenAI claims its AI invented a new math technique, cracking a 35-year-old wave-focusing problem — 141_1337 · 2026-10-27
- OpenAI Partners With Academic Communities to Build Scientific Understanding — dataoops · 2026-10-27
- Polymarket: OpenAI says its AI models made 3 major scientific discoveries in math, CS, and physics — Polymarket · 2026-10-27
- Matthew Green hails stunning new ETH result pending Lean proof validity — matthew_d_green · 2026-10-27
- OpenAI claims its AI cracked decades-old problems in math, complexity theory and physics — THE_ILL_SAGE · 2026-10-27
- OpenAI announces AI-generated proofs targeting ETH, Kakeya, and Yang–Mills in one day — ChrisGPT · 2026-10-27
- Polymarket puts 54% odds OpenAI solves another Millennium Prize problem after 3 claimed AI discoveries — Polymarket · 2026-10-27
- OpenAI internal model claims to refute Exponential Time Hypothesis; independent review organized — Singularitarian · 2026-10-27
- Chris Albon: OpenAI is A/B/C testing how to integrate AI results with human scientists — chrisalbon · 2026-10-27
- AI announces new discoveries in harmonic analysis, complexity theory and QFT — MoonL88537 · 2026-10-27
- OpenAI claims models helped falsify the Exponential Time Hypothesis — Environmental_Mix22 · 2026-10-27
- Screenshot claims AI system refuted Exponential Time Hypothesis, verified in Lean — felpix_ · 2026-10-27
- Cryptographer Matthew Green uses Claude to unpack ETH's new Lean-verified complexity result — matthew_d_green · 2026-10-27
- Cryptographer on the exponential time hypothesis falling in October: 'expected until Thanksgiving' — matthew_d_green · 2026-10-27
- Why OpenAI's complexity result matters: some NP problems may beat exponential time — jfischoff · 2026-10-27
- "The Exponential Time Hypothesis is false": major complexity claim spreads — davidad · 2026-10-27
- OpenAI system disproves Exponential Time Hypothesis, result verified in Lean — FlorianGallwitz · 2026-10-27
- OpenAI announces three major breakthroughs, resurfacing a 2024 'P vs NP by 2027' bet — inductionheads · 2026-10-27
- Greg Brockman Announces Three Major AI-Assisted Scientific Discoveries — brhydon · 2026-10-27
- Viral 'OpenAI' paper also claims Kakeya Conjecture true in all dimensions — RexDouglass · 2026-10-27
- Paper attributed to OpenAI claims to refute the Exponential Time Hypothesis in 64 pages — wavefnx · 2026-10-27
- AI reportedly disproves the Exponential Time Hypothesis, shifting P vs NP odds — esrtweet · 2026-10-27
- ETH originators to lead open independent review of OpenAI's refutation claim — danintheory · 2026-10-27
- Claim: a Lean formalization 'proves' the Exponential Time Hypothesis is false — akbirthko · 2026-10-27
- OpenAI touts three major scientific discoveries in physics, math, and CS — pickover · 2026-10-27
- OpenAI claims Exponential Time Hypothesis is false, solving 3SAT in subexponential time — fortnow · 2026-10-27
- ETH reviewers say OpenAI's claimed disproof shouldn't be read as certified — fortnow · 2026-10-27
- OpenAI claims its model refuted the Exponential Time Hypothesis, verified in Lean — AIFlow_ML · 2026-10-27
- Claimed disproof of Exponential Time Hypothesis: subexponential 3SAT algorithm announced — cephaloform · 2026-10-27
8 near-duplicate retellings: morey56 · rohanpaul_ai · matthew_d_green · Dr_Singularity · Dr_Singularity · Dr_Singularity · ErnestRyu · RileyRalmuto