Intelligence artificielle
L'IA Claude formalise en onze jours la démonstration du dernier théorème de Fermat
- L'agent d'Anthropic a traduit une preuve mathématique complexe en langage de programmation.
- Cette avancée permet une vérification automatique et ouvre des perspectives pour la validation des résultats.
- Le dernier théorème de Fermat, résolu en 1994, est désormais accessible à une vérification algorithmique.
Lire à la source
