Braid
Anthropic Says Claude Refuted the Exponential Time Hypothesis, and Shipped a Lean Proof to Check
30:37
Hosts: Lenar Kess, Damra Vol. Anthropic's repository says an internal Claude model found a subexponential algorithm for 3-SAT and shipped a Lean proof that rebuilds in eight minutes, and its own README admits that no machine checks that the short statement file matches the paper. That question of who checks the checkable thing runs through the rest of the day, from a self-hosted coding model at…