Gérard Biau (Sorbonne Université) : Mathématiques et intelligence artificielle : un état des lieux

L’objectif de cet exposé est de montrer comment l’intelligence artificielle transforme progressivement la recherche en mathématiques. Après un survol historique de plusieurs problèmes pour lesquels l’ordinateur a joué un rôle décisif dans l’établissement de preuves mathématiques, je décrirai le fonctionnement général des grands modèles de langage modernes. J’expliquerai ensuite comment ces outils peuvent s’articuler avec les assistants de preuve, et comment cette combinaison permet désormais d’aborder de nombreux problèmes de niveau recherche. Enfin, je présenterai quelques développements récents qui éclairent la manière dont les mathématiciennes, les mathématiciens et l’intelligence artificielle seront amenés à collaborer dans les années à venir.