by Coinstrooper Crypto Articles
Quick Take
  • An OpenAI model has refuted the Exponential Time Hypothesis (ETH) by finding a faster method for a classic logic puzzle.
  • A machine-checked proof backs the claim, overturning an assumption researchers trusted for 27 years.
  • The result does not prove that P equals NP, the larger question behind modern encryption.
  • As a result, the algorithm poses no direct threat to the cryptography securing Bitcoin (BTC) and Ethereum.

What Happened

Greg Brockman, OpenAI’s president and co-founder, made the same point hours after the announcement.

Market Context

The hypothesis holds that no algorithm can escape this exponential growth in the worst case.

Benjamin Cowen, a member of BeInCrypto’s Market Intelligence Expert Council, addressed the concern.

Why It Matters

An OpenAI model has refuted the Exponential Time Hypothesis (ETH) by finding a faster method for a classic logic puzzle. A machine-checked proof backs the claim, overturning an assumption researchers trusted for 27 years.

The result does not prove that P equals NP, the larger question behind modern encryption. As a result, the algorithm poses no direct threat to the cryptography securing Bitcoin (BTC) and Ethereum.

Details

Why Did the Exponential Time Hypothesis Matter?

The hypothesis concerns 3-SAT, a puzzle built from true-or-false switches and rules linking them. The goal is a switch setting that satisfies every rule at once.

Checking a proposed answer is easy. Finding one is hard, because each added switch doubles the possible combinations.

Russell Impagliazzo and Ramamohan Paturi proposed ETH in 1999. Despite the shared acronym, it has nothing to do with Ethereum’s ticker.

Researchers treated it as a load-bearing wall. According to OpenAI, hundreds of papers in graph theory, computational biology, and databases built hardness results on it.

How Did an AI Find a Shortcut Experts Missed?

OpenAI’s system produced a natural-language proof on October 16. A day later, the team formalized it in Lean, software that verifies every logical step.

The published algorithm handles inputs with n variables in roughly 2^(n/√log n) steps. That beats the exponential floor ETH predicted, yet remains far too slow for practical use.

OpenAI cautions that practical speedups need extensive further research.

Impagliazzo and Paturi, both at UC San Diego, will now lead the review alongside MIT’s Ryan Williams. In other words, the hypothesis’s authors are vetting its refutation.

Meanwhile, OpenAI claims no scientific credit for the discovery, a stance that follows an earlier Navier-Stokes dispute.

Scott Aaronson, a computer science professor at the University of Texas at Austin, recounted hearing the news.

“My students just came to my office to tell me that an OpenAI model has now refuted the Exponential Time Hypothesis”

Scott Aaronson via Shtetl-Optimized

Does Breaking ETH Mean P Equals NP?

No. P versus NP asks whether every problem with quickly checkable answers can also be solved quickly.

ETH was a stricter claim than P ≠ NP. Therefore, disproving it leaves the larger question open.

Picture a mountain between two valleys. The AI found a shorter path over the ridge, not a tunnel through it.

The distinction matters for crypto holders. Bitcoin signatures rely on elliptic curve cryptography, a hard math problem this algorithm does not address.