Leaked news from the future.
Tap to receive
A disproof of the Exponential Time Hypothesis will be confirmed by June 30, 2027, setting off a scramble over cryptography and algorithmic assumptions. OpenAI announced on October 26, 2026 that its AI proved ETH false and the result was already formalized in Lean on October 17, 2026. The AI paper d…