Intelligence artificielle
L'IA Claude formalise le dernier théorème de Fermat en onze jours
- Le modèle d'intelligence artificielle Claude a généré treize millions de lignes de code pour démontrer le dernier théorème de Fermat.
- Cette prouesse technique a été réalisée en onze jours, un exploit inédit pour une IA.
- Aucun mathématicien humain n'avait encore réussi cette formalisation numérique.
Lire à la source
