OpenAI claims ETH refutation, says no practical threat to Bitcoin
- —The claim concerns 3-SAT, not secp256k1 cryptography
- —Lean formalization covers a weaker bound than the manuscript
- —Independent reviewers declined to certify the result
- —Bitcoin mining and signatures rely on discrete logs and hashes
Why it matters: The result does not change the security assumptions behind ECDSA and Schnorr, but it fuels debate over algorithmic and quantum risks to Bitcoin.
Source: CryptoSlate