Claude formalise le théorème de Fermat en 11 jours avec 6 milliards de tokens générés
9/10Le modèle Claude d'Anthropic a formalisé le dernier théorème de Fermat en seulement 11 jours, utilisant une sortie de 6 milliards de tokens. Cette performance démontre une capacité remarquable de raisonnement mathématique avancé, soulignant les compétences d'IA de Claude dans des tâches complexes.
