Claude produit la première démonstration du dernier théorème de Fermat vérifiée par ordinateur en 11 jours, générant 13 millions de lignes de code
Selon Anthropic, Claude, l’IA d’Anthropic, a produit le 4 septembre la première démonstration du dernier théorème de Fermat vérifiée par ordinateur, en générant 13 millions de lignes de code qu’un ordinateur peut vérifier ligne par ligne. Claude a achevé cette formalisation en 11 jours, en grande partie de manière autonome, dépassant ainsi un projet mené par des humains à l’Imperial College London depuis 2024. Le mathématicien Kevin Buzzard, qui dirige le projet de l’Imperial, a examiné la démon
GateNews·09-05 13:07
