September 5, 2026 Le dernier théorème de Fermat formalisé en 11 jours : quand l'IA bouscule la révision mathématique IAMathématiquesAutomatisation
