CryptoSlate|Oct 27, 2026 21:07
OpenAI says its AI system refuted the Exponential Time Hypothesis on 3-SAT.
The claim is under review; its Lean-verified bound is weaker than the paper’s sharpest result and does not establish a practical Bitcoin attack.
Analysis by @akibablade
Share To
Timeline
HotFlash
APP
X
Telegram
CopyLink