Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?

Live updates

1. 1h ago

   Frontier AI Labs Claim Refutation of Exponential Time Hypothesis

   OpenAI and Anthropic announced that their artificial intelligence models successfully refuted the Exponential Time Hypothesis, a foundational and long-standing 30-year-old assumption in computer science regarding computational hardness. The labs released math solutions and proofs checked with Lean across mathematics, computer science, and physics. If the bold claims hold true, they imply that certain notoriously difficult problems may actually be solvable faster than previously believed. The announcements have triggered intense scrutiny, academic review, and a debate within mathematical and computer science communities over the reliability and implications of AI-generated proofs.

   Why it matters

   The Exponential Time Hypothesis is a core concept in computational complexity theory that dictates the time required to solve specific hard problems. Validating or refuting assumptions of this magnitude impacts theoretical frameworks like P versus NP, as well as practical applications in cryptography. However, the rapid pacing of proprietary announcements has sparked friction between researchers and labs accused of gatekeeping breakthroughs.

   What is confirmed

   • OpenAI and Anthropic announced that their AI models refuted the Exponential Time Hypothesis.
   • The Exponential Time Hypothesis is a foundational assumption in computer science and computational complexity.
   • OpenAI shared proofs checked with Lean across mathematics, computer science, and physics.
   • MIT professor Ryan Williams is organizing the computer science community response through an open letter and a planned conference.

   Still unconfirmed

   • Bitcoin cryptography stays entirely safe despite the theoretical refutation of the hypothesis.

   What to watch next

   • Results of the academic review and community response organized by MIT professor Ryan Williams
   • Further technical scrutiny of the Lean proofs released by OpenAI and Anthropic
   Sources used for this update (18)

   1. The Atlantic — The Year AI Ate Math
   2. OpenAI — Working with academic communities to build scientific understanding
   3. New Scientist — AI refutes 30-year-old mathematical assumption in computer science
   4. TechCrunch — Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?
   5. Scientific American — OpenAI just scooped mathematicians’ work on another million-dollar problem
   6. techcrunch.com — Frontier AI labs say their models refuted the Exponential ...
   7. Business Insider — What smart people are saying about OpenAI's Exponential Time Hypothesis claim
   8. The Verge — Researchers are getting tired of OpenAI gatekeeping its breakthroughs
   9. BBC — A bust-up between mathematicians is fuelling fears that AI could undermine science
   10. www.printingpressai.com — Frontier AI labs say their models refuted the Exponential ...
   11. emergent.sh — AI Models Refute Exponential Time Hypothesis: What It Means
   12. explore.n1n.ai — Frontier AI Labs Refute Exponential Time Hypothesis
   confidence 95%