Claude Didn't Prove Fermat's Last Theorem. What It Actually Did Is More Interesting.
Anthropic's Claude wrote 13 million lines of Lean code in 11 days. The mathematician paid £1 million to do this by hand found out at a music festival and assumed it was a crank. Here's what actually happened — and why most headlines got it wrong.