« 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 enchaîné les démonstrations de force en mathématiques, jusqu'à émouvoir aux larmes un médaillé Fields. Matthieu Alfaro, professeur de mathématiques appliquées, décrit ce que ces annonces changent pour son métier.