Claude zatvoril Fermat za 11 dní: 13,4 milióna riadkov Lean a nula „to je zrejmé“
Anthropic oznámil prvý kompletný počítačovo skontrolovaný dôkaz Fermatovej poslednej vety: Claude zmenil Wilesov dôkaz na Lean za 11 dní – 13,4 milióna riadkov, 29 500 teorémov, tri axiómy.