AI Labs Claim Their Models Refuted a 20-Year-Old Math Proof—Here's the Catch

The claim, stripped of hype

On October 27, 2026, TechCrunch reported that frontier AI labs are claiming their models refuted the Exponential Time Hypothesis (ETH). ETH is not a theorem—it’s a conjecture that 3-SAT can’t be solved in subexponential time. If it falls, a lot of complexity-theory results built on it get shaky.

The labs’ framing matters. A model “refuting” ETH is not the same as a human writing a proof. It means a model produced a candidate argument that, if verified, breaks the conjecture. Verification is the whole ballgame.

What ETH actually is, and why anyone cares

ETH underpins fine-grained complexity—the branch that says “this problem is hard, and here’s exactly how hard.” It’s why researchers believe problems like edit distance and certain graph problems can’t be solved dramatically faster than the naive approach.

For builders, ETH is the invisible reason some algorithms are considered “good enough.” If ETH is false, the theoretical floor on those problems shifts. That doesn’t change your code tomorrow, but it changes which optimizations are worth chasing.

The verification problem

A refutation is only as good as its proof. The labs say their models generated arguments; the math community now has to check them. History is not kind here—AI-generated proofs have a habit of looking airtight until a human spots the gap on page 14.

So the honest headline is: models produced candidate refutations. Whether ETH is actually dead depends on peer review, not a press release.

What builders should take away

First, don’t rewrite your infrastructure because of this. Second, do notice the pattern: frontier models are being pointed at formal reasoning, not just code completion. That’s a different evaluation regime, and it’s one where “the model said so” is not evidence.

If the claim survives scrutiny, it’s a genuine milestone—AI contributing to theoretical computer science, not just shipping PRs. If it doesn’t, it’s still a useful signal about where model capability is heading.