OpenAI Says the Exponential Time Hypothesis Is False: What the Paper Shows, What Still Needs Checking and What Changes

By Carlos Montiel | Enterprise AI Specialist
Leer en español →
Published: 2026-10-29 | By: Carlos Montiel | Reading time: ~5 minutes
Breaking: OpenAI says its AI disproved the Exponential Time Hypothesis and experts are now reviewing the proof

OpenAI published a preprint on October 26 titled “The Exponential Time Hypothesis is False.” If it survives review, it would be one of the most important results in computational theory in two decades, and an AI model would have found it.

What Is the Exponential Time Hypothesis?

The ETH (Exponential Time Hypothesis) was formulated by Russell Impagliazzo and Ramamohan Paturi in 2001. It says that solving 3-SAT, the problem of deciding whether a logical formula with n variables has any assignment that makes it true, requires worst-case time of 2Ω(n): it grows exponentially with the number of variables, with no substantial shortcuts.

It isn't the same as P vs NP. The ETH is a stronger, more specific assumption, and hundreds of "hardness" results in graphs, databases, computational biology and parameterized algorithms use it as a starting point: "if the ETH is true, this problem can't be solved faster than X."

What the Paper Claims

The document describes a deterministic algorithm that exactly counts how many assignments satisfy a k-CNF formula, for any fixed k ≥ 2. Counting is harder than deciding: if the count is greater than zero, the formula is satisfiable.

Problem #k-SAT (counting solutions), fixed k ≥ 2 Time (n+m)^O_k(1) · 2^( n / (log n)^(1/2+o(1)) ) Space polynomial in n and m Type deterministic, exact Consequence 3-SAT in time 2^o(n) → the ETH would be false Technique "shared linear summaries" and counting common zeros of sparse polynomial equations

The exponent n/(log n)1/2 is still enormous, but it grows more slowly than any c·n. That's enough to refute the hypothesis, which concerns asymptotic behavior, not practical speed.

How It Happened and Who Will Review It

Oct 16, 2026 an internal OpenAI model produces the proof Oct 17, 2026 OpenAI verifies it in Lean (a formal proof assistant) Oct 26, 2026 paper and Lean code published on GitHub

An independent review will be led by Impagliazzo and Paturi (UC San Diego), the very authors of the ETH, together with Ryan Williams (MIT). In an open letter they wrote: "Our involvement should not be taken as certification of the claim. A result of this significance requires careful, independent scrutiny." Williams clarified that they signed no non-disclosure agreements and are not being paid. In the same package OpenAI announced two other proofs: the local smoothing conjecture in all dimensions (which would resolve Kakeya and the Stein restriction problem) and the existence of Yang-Mills in four dimensions.

What isn't proven yet: the paper hasn't been peer-reviewed and no outside party has confirmed the result. Lean guarantees that each logical step is correct, but not that the formal statement says exactly what the paper says in words; that is precisely the point the reviewers have to check. The result doesn't resolve P vs NP or make SAT solvers faster in practice.

What Changes If It's Confirmed

Results that depended on the ETH would lose their foundation and have to be rewritten on weaker assumptions. Stronger versions, such as SETH, would fall with it. Cryptography in use isn't broken by this: AES, RSA and elliptic curves don't depend on the ETH, and an algorithm with this exponent has no practical use against them.

The bigger change is something else: if validated, it would be the first time an AI model on its own refutes a central conjecture of computational complexity, with a proof a machine can verify.

Takeaway for your company: nothing changes in your software this quarter. What does change is how AI gets evaluated: OpenAI's method (a model generates the proof + a formal verifier + independent human review) is the same pattern worth demanding of any agent that makes critical decisions. An AI output is worth as much as its verification, not what the announcement promises.

Sources: paper "The Exponential Time Hypothesis is False" (OpenAI, October 17, 2026, revised October 25), The Next Web and StudyFinds (October 27-28, 2026). Result not peer-reviewed.

Carlos Montiel
Enterprise AI Solutions Architect
Specialist in LLMs, Agents, and Orchestration
guatemalia.com/#contacto · info@guatemalia.com

Need to implement AI in your company?

Carlos Montiel is an enterprise AI solutions architect. He implements LLMs, Agents, RAG, and orchestrators for companies across Guatemala and Latin America. Reach out for a consultation.

Contact Carlos Montiel

info@guatemalia.com