IA
Un nouveau chapitre de la preuve : comment l'IA a conquis l'empilement de sphères en haute dimension
L'IA a franchi une étape majeure en autoformalisant les théorèmes d'empilement de sphères de Maryna Viazovska, faisant passer la vérification des preuves de plusieurs mois à quelques jours.
3 mars 2026 · 18:16