OpenAI · Bitcoin · Ethereum · CryptoSlate
The Oct. 26 ETH claim concerns a different result
Compiled by KHAO Editorial — aggregated from 1 source. See llms.txt for citation guidance.
◌ Single Source
Ryan Williams, posting as, said he, Russell Impagliazzo and Mohan Paturi had been asked to organize an open, independent examination, without NDAs or compensation.
Key facts
- CryptoSlate's examination of the paper is limited to its introductory pages 1–8, rather than a review of the full proof
- The Oct. 26 announcement has researchers organizing an independent examination
- The distinction follows a debate CryptoSlate covered on Oct. 7, when Justin Drake urged preparations for “bunker mode” after an earlier OpenAI mathematics release
- Ryan Williams, posting as, said he, Russell Impagliazzo and Mohan Paturi had been asked to organize an open, independent examination, without NDAs or compensation
Summary
01 OpenAI claims an Exponential Time Hypothesis refutation, while researchers are organizing an independent examination of the result. 02 The disclosed SAT speed-up does not establish a practical attack on Bitcoin mining or spending signatures. 03 The Lean formalization covers a weaker subexponential time bound than the manuscript’s sharpest claim. OpenAI says its AI system has refuted the Exponential Time Hypothesis, a longstanding assumption about how difficult certain logic problems are to solve. ETH here means Exponential Time Hypothesis, rather than Ether.