Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?
OpenAI and Anthropic have released research claiming to refute the Exponential Time Hypothesis, a fundamental concept in computational complexity. The findings have sparked debate within the scientific community regarding the validity of AI-generated proofs and the appropriate norms for sharing such breakthroughs.
Why it matters
This marks a significant shift where AI models are contributing to foundational mathematical proofs, potentially altering our understanding of computational limits.
OpenAI released solutions to three blockbuster math problems that have long vexed researchers yesterday. One was a surprise rejection of the Exponential Time Hypothesis (ETH), a durable assumption in computer science that plays a large role in how we understand what is difficult to compute.
As with previous proof-drops from the frontier lab, scientific communities responded with a mixture of thrill and dismay. Anthropic mathematician Levent Alpöge suggested that OpenAI was basing its solutions from pre-existing work, and hours later, Anthropic subsequently released its own refutation of ETH.
Also covering this story
One other newsroom covered this event. We read that version too.
Get smarter about the news
Sign up free for a feed built around what you actually care about, Dive Deeper research on any story, and the full text of every article.
Create free accountAlready have an account? Sign in