Anthropic affirme que Claude a produit une preuve complète du Dernier Théorème de Fermat, vérifiée avec Lean
9/10Le modèle Claude d'Anthropic a généré une preuve complète du Dernier Théorème de Fermat, laquelle a été formellement vérifiée avec l'assistant de preuve Lean. Cette réalisation illustre les capacités avancées de raisonnement mathématique et de vérification formelle assistée par IA. Cela marque une avancée significative dans les applications de l'IA à la recherche symbolique.
