Séminaire Les mathématiques à l’heure de l’intelligence artificielle

Lieu: Grand Amphithéatre, Batiment A, ENSICAEN, Campus 2 – entrée Gratuite, accueil café

L’intelligence artificielle (IA) et les sciences entretiennent des liens riches et en constante évolution, ouvrant des perspectives inédites pour la recherche. Quelles sont ses applications concrètes pour la recherche ? Et en retour, comment les sciences inspirent-elles l’évolution de l’IA ?

Pour explorer ces questions, nous lançons une nouvelle série de séminaires dédiée à l’IA pour les Sciences. Le premier séminaire aura lieu le jeudi 26 mars 2026 à 11h dans le grand amphithéâtre du bâtiment A.  Nous invitons pour ce premier rendez-vous Gérard Biau, directeur du Sorbonne Center for Artificial Intelligence.

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, Gérard Biau décrira le fonctionnement général des grands modèles de langage modernes. Il expliquera 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,  quelques développements récents seront présentés, ils éclaireront la manière dont les mathématicien(ne)s et l’intelligence artificielle seront amené(e)s à collaborer dans les années à venir.

Gérard Biau est professeur des universités au Laboratoire de Probabilités, Statistique et Modélisation (LPSM) de Sorbonne Université à Paris. Ses recherches portent principalement sur le développement de nouvelles méthodologies et théories mathématiques en apprentissage statistique et intelligence artificielle. Il a été membre junior de l’Institut Universitaire de France de 2012 à 2017 et a présidé la Société Française de Statistique de 2015 à 2018. En 2018, il a reçu le Prix Michel Monpetit – Inria de l’Académie des Sciences. Depuis 2024, il est membre senior de l’Institut Universitaire de France et a été élu la même année à l’Académie des Sciences. Il est actuellement directeur du Sorbonne Center for Artificial Intelligence (SCAI).