Tech & Gaming
L'IA d'Anthropic prouve le dernier théorème de Fermat en 11 jours
Le 4 septembre 2026, l'intelligence artificielle Claude d'Anthropic a formellement prouvé le dernier théorème de Fermat en 11 jours, avec une preuve computérisée de 13 millions de lignes de code Lean et 29 500 théorèmes intermédiaires.