FULL STORY

OpenAI Claims AI Made Three Major Scientific Discoveries

OpenAI announced that its AI produced major findings in harmonic analysis, complexity theory, and quantum field theory. The claimed refutation of the Exponential Time Hypothesis sent shockwaves through the CS community.

2026-10-27 ~ 2026-10-27 · 2 episodes · 69 posts

Episode 1 · OpenAI Claims AI Produced Three Major Scientific Discoveries, Including Millennium Problem Results (2026-10-27, 67 posts)

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.

47 more related posts →

Episode 2 · Claims that ETH has been disproved stir the CS community (2026-10-27, 2 posts)

Claims that the Exponential Time Hypothesis (ETH) has been disproved are spreading through the CS community, with engineers and MIT CSAIL forum threads abuzz over the potentially颠覆 common beliefs about SAT complexity.