« La preuve, c’est vital » : face à l’IA, les mathématiciens défendent le chemin plutôt que le résultat

En six semaines, les laboratoires d'IA ont multiplié les démonstrations de force en mathématiques, jusqu'à tirer les larmes d'un médaillé Fields. Matthieu Alfaro, professeur de mathématiques appliquées, explique ce que…