L'IA Claude formalise en onze jours la démonstration du dernier théorème de Fermat | Factaevendredi 11 septembre 2026ven. 11 sept.1214 faits, 162 médias, 14 pays
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.
1 rédaction rapporte ce fait
Factae établit le fait ; chaque récit est à un clic, chez sa rédaction.
Ailleurs en Intelligence artificielle
Intelligence artificielleUne piscine de Brême a désactivé son système de surveillance par IA. Le dispositif visait à détecter les…
Lire à la source
Intelligence artificielle À lire aussi
ÉconomieLa France revoit à la baisse sa croissance pour 2026, désormais estimée à 0,5 %. Roland Lescure, ministre…
Lire à la source
+4 
Le Mondelemonde.fr · FR
↗
Un ingénieur de Coinbase teste un cerveau de mouche simulée pour trader des cryptomonnaies. L'expérience…
Lire à la source
Intelligence artificielleLa chercheuse Timnit Gebru accuse les entreprises d'IA de dramatiser les risques d'extinction. Elle affir…
Lire à la source
Intelligence artificielleNeuf jeunes chercheurs en intelligence artificielle figurent parmi les 35 innovateurs de moins de 35 ans…
Lire à la source
ÉconomieLes rebelles houthis ont pris le contrôle du port historique de Mocha, au Yémen. Cette avancée les rappro…
Lire à la source
+5 © 2026 Factae · Tous droits réservés
Des signaux, du bruit, des faits…