Si les machines démontrent les théorèmes, que reste-t-il aux humains ? En quelques mois, les progrès des modèles d’IA ont fait entrer la recherche mathématique mondiale dans une crise sans précédent, remettant à la fois en cause ses critères de valeur, son organisation pratique et son image publique. En dépit de sa nouveauté radicale, la crise actuelle nous confronte à des questions anciennes, jamais résolues, dont les mathématicien(ne)s ont longtemps cru qu’elles étaient purement théoriques : que sont les mathématiques ? Comment créent-elles de la valeur ? Quel rôle jouent-elles dans la cognition humaine ?

Séminaires des Mathématiques