Claude officialise le dernier théorème de Fermat : La preuve de fuite contrôlée par machine en 11 jours
Anthropic rapporte une étape importante : son modèle Claude a produit la première preuve complète du dernier théorème de Fermat en onze jours, couvrant plus de 13 millions de lignes de code.









