OpenAI and Anthropic Say Their AI Models Refuted the Exponential Time Hypothesis

OpenAI and Anthropic say internal AI models independently found subexponential algorithms for 3-SAT, a result that would refute the Exponential Time Hypothesis (ETH). Both released Lean-formalized proofs, but outside researchers have not certified the claims and are still examining what the proofs establish.