Research
Anthropic posts a Claude-found claim that refutes the Exponential Time Hypothesis, backed by an AI-written Lean proof
Anthropic has released a paper and a Lean 4 formalization claiming that an internal Claude model found a deterministic subexponential algorithm for 3-SAT, which would overturn the Exponential Time Hypothesis; the result …