Colloquium de Mathématiques
Friday 12 June 2026 à 10:00 - Polytech Amphi SC002
Gérard Biau (Académie des Sciences, Sorbonne universit&)
Les mathématiques à l’heure de l’intelligence artificielle
L’objectif de cet exposé est de montrer comment l’intelligence artificielle transforme progressivement la recherche en mathématiques. Après un survol historique illustrant plusieurs problèmes où l’ordinateur a joué un rôle utile dans l’établissement de preuves mathématiques, je décrirai le fonctionnement général des grands modèles de langage modernes. J’expliquerai comment ces outils s’articulent avec les assistants de preuve et comment cette combinaison permet désormais de résoudre de nombreux problèmes, en particulier ceux issus des olympiades internationales. Enfin, je présenterai quelques développements récents qui éclaireront la manière dont les mathématicien(ne)s et l’intelligence artificielle seront amené(e)s à collaborer dans les années à venir.