OpenAI model refutes Exponential Time Hypothesis with machine-checked proof, overturning 27-year-old assumption

An OpenAI model has refuted the Exponential Time Hypothesis (ETH) by finding a faster method for the 3-SAT logic puzzle. A machine-checked proof formalized in Lean validates the claim, overturning an assumption researchers relied on for 27 years. The result does not prove P equals NP, leaving modern encryption intact. The algorithm poses no direct threat to Bitcoin or Ethereum cryptography.