Claude a scris în 11 zile prima demonstrație a Marii Teoreme a lui Fermat verificabilă de calculator — 13 milioane de linii de cod
Anthropic anunță că zeci de agenți Claude au lucrat 11 zile ca să „formalizeze” demonstrația Marii Teoreme a lui Fermat: 13 milioane de linii de cod Lean verificabile automat, cea mai mare demonstrație formală din istorie. Nu e o demonstrație nouă, ci formalizarea celei a lui Wiles din 1994.