Morning Edition · Wednesday, October 28, 2026Published at 1:45 AM EDT · New York
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.

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. 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 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 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 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.
Part of a tracked trend
AI Becomes a Contested Input to Crypto's Security Assumptions
Claims that advancing AI capability undermines blockchain cryptographic and mining security keep entering mainstream crypto debate, and each is met with the counterargument that the same capability accelerates formal verification and defensive auditing, so AI becomes a recurring two-sided variable in how the market prices protocol security rather than a settled threat.
Start a discussion in Townsquare.
More from this edition
If the proof holds, OpenAI gains a verified research result that strengthens its standing with investors and researchers, while holders of Bitcoin and Ethereum lose nothing, because the algorithm does not attack the discrete-logarithm problem that secures their keys.
OpenAI formalized the proof in the Lean proof assistant and committed $5 million to an outside review, but one technical summary describes the speedup as small, and experts are still checking it, so "refuted" remains OpenAI's claim until independent reviewers confirm it.
An open-source-intelligence read of how likely this story is true with its real nuance, not a judgment of any outlet. It assesses the claim, weighing independent and adversarial reporting. How we label confidence.
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
Observations to monitor, not financial advice.
Synthesized from: CryptoSlate · KuCoin News · Aztec Network (Alpha V5 vulnerability) · Aztec Network (Alpha V5) · Aztec Network (bug bounty)
Comments
0No comments yet.