Models forecast ETH proof is decades away — turns out it happened yesterday

emollick · x · 2026-10-27

Ethan Mollick shares a forecasting fail: asked without searching when we'd solve the Exponential Time Hypothesis, Claude gave careful reasoning (ETH implies P≠NP, all known barriers apply, best 3-SAT algorithms crept from 2^n to 1.3^n over 25 years) and put <10% on a proof by 2075; GPT-6 guessed the 2120s. Then the user said "Now Google ETH news" — and the model replied: "Well. Yesterday, it turns out." A vivid lesson in how hard AI forecasting is, even for AI.

Original post →

More from Fun

Fun channel →