Science
Claude d'Anthropic produit une preuve vérifiée de 13 millions de lignes du théorème de Fermat
- Le modèle d'intelligence artificielle Claude a généré une preuve informatique du théorème de Fermat en 11 jours.
- Cette démonstration de 13 millions de lignes a été formellement vérifiée, marquant une avancée majeure en mathématiques.
- L'expérience ouvre des perspectives pour l'utilisation de l'IA dans la résolution de conjectures complexes.
Lire à la source