# OpenAI Says Its AI Refuted the Exponential Time Hypothesis, and Researchers Say Bitcoin's Signatures Are Not Affected

The claim concerns counting solutions to a hard logic problem faster than brute force and still awaits independent verification. Aztec's disclosure of a critical proof flaw found by AI-assisted auditing shows the same capability working on the defensive side.

- Published: 2026-10-28T05:45:35.192Z
- Canonical: https://polylog.news/crypto/2026-10-28/openai-says-its-ai-refuted-the-exponential-time-hypothesis-a
- Publisher: Polylog (Crypto desk)
- Section: tech
- Sources: [CryptoSlate](https://cryptoslate.com/openai-claims-a-math-breakthrough-does-that-threaten-bitcoin/), [KuCoin News](https://www.kucoin.com/news/flash/openai-claims-cryptography-breakthrough-no-immediate-threat-to-bitcoin), [Aztec Network (Alpha V5 vulnerability)](https://aztec.network/blog/alpha-v5-proving-system-vulnerability), [Aztec Network (Alpha V5)](https://aztec.network/alpha-v5), [Aztec Network (bug bounty)](https://aztec.network/blog/aztec-network-raises-total-bug-bounty-to-2-million)

OpenAI said on October 26 that one of its AI systems had disproved the Exponential Time Hypothesis, the long-standing assumption in complexity theory that problems such as 3-SAT cannot be solved meaningfully faster than brute force in the worst case. The paper describes a deterministic algorithm that counts 3-SAT solutions in subexponential time, [according to KuCoin News](https://www.kucoin.com/news/flash/openai-claims-cryptography-breakthrough-no-immediate-threat-to-bitcoin). OpenAI first posted it on October 17 and revised it on October 25. Researchers have organized an independent review, and the result is not yet verified.

The crypto market's first reaction confused two different meanings of "ETH". [CryptoSlate](https://cryptoslate.com/openai-claims-a-math-breakthrough-does-that-threaten-bitcoin/) points out that ETH here refers to the hypothesis, not Ethereum. It also notes that a theoretical speedup for satisfiability problems does not by itself produce a practical attack on cryptography. The elliptic-curve signatures that protect Bitcoin and Ethereum, ECDSA and Schnorr, rest on the hardness of the discrete-logarithm problem, which a faster 3-SAT counting algorithm does not break. Researchers cited in coverage of the paper said practical attacks on on-chain keys remain unlikely without further, separate advances.

On the defensive side, the evidence is specific. Aztec, the privacy-focused Ethereum layer-2 (L2) network, has disclosed that its core contributors found a [critical flaw in the Alpha V5 proving system](https://aztec.network/blog/alpha-v5-proving-system-vulnerability) on July 27 through internal AI-assisted auditing. The flaw could let an attacker build a proof that passes verification for a transaction the network should reject, allowing a state change outside the rules. Aztec told users to treat funds and applications on [Alpha V5](https://aztec.network/alpha-v5) as exposed until incident response ends, and it plans the fix for V6. Validators that re-execute transactions would not catch a flaw of this kind, because they trust the proof rather than checking it independently. Aztec has separately [raised its total bug bounty to $2 million](https://aztec.network/blog/aztec-network-raises-total-bug-bounty-to-2-million).

## What this means

Markets are pricing AI's effect on cryptography two opposite ways at once. One view treats AI-generated mathematics as a future attack on key security. The other treats AI auditing as the fastest current way to find soundness bugs. Today's evidence supports the second view more than the first. The OpenAI result, if it holds, would change complexity theory, while the Aztec case is a confirmed critical flaw that AI-assisted review found before attackers did. The precedent for a sudden cryptographic break is SIKE, a post-quantum candidate that researchers broke in 2022 on an ordinary computer using classical mathematics. It was removed from consideration within weeks, which shows a scheme can fail quickly once its specific hard problem is broken. That is not the situation here. The desk's read is that over the next few months, each new AI mathematics claim will cause brief selling and commentary in crypto, while the measurable change will show up in proving-system audits and in earlier, embargoed disclosures. The forecast fails if a verified result links the new algorithm to discrete-logarithm or lattice problems, which would turn the debate into a real migration deadline.

## What to watch

- The outcome of the independent review of OpenAI's paper. A confirmed result would reopen research on related hardness assumptions, while a retraction would end the market discussion.
- Whether other zero-knowledge rollups disclose soundness bugs found through AI-assisted audits. A series of such disclosures would confirm that proof systems are a separate risk class.
- When Aztec's V6 ships with the proving fix. Until it does, funds on V5 remain exposed under Aztec's own guidance.