The man paid to prove Fermat by hand says Claude did it in 11 days
SMRTR summary
Anthropic's Claude AI, using dozens of agents and 13 million lines of code, formally proved Fermat's Last Theorem in just 11 days, completing what mathematician Kevin Buzzard has spent years working on with a £1 million grant. Buzzard confirmed the proof is legitimate but noted it verifies existing math rather than discovering anything new.
SMRTR provides this summary for quick context. The original article belongs to The Next Web.
Read the original article