Claude gjorde Fermats sidste sætning maskinkontrollerbar på 11 dage
Anthropic siger, at Claude-agenter på 11 dage formaliserede den kendte bevisvej i Lean. Det åbne resultat fylder 13 millioner linjer og er kontrolleret af to forskellige proof-kernels, men det er ikke et nyt matematisk bevis.