Anthropic Says Claude Refuted the Exponential Time Hypothesis
Anthropic says an internal Claude research model found a subexponential algorithm for 3-SAT, independently reaching the same conclusion as OpenAI. The company published a paper and Lean 4 formalization.