Les mathématiques (et les sciences) à l'ère de l’IA.

par Jalal Fadili

mercredi 17 juin 2026, 11:00 → 11:30 Europe/Paris

Salle de conférence (XLIM)

Si les mathématiques ont été au coeur des fondements de l'IA moderne, cet exposé va explorer la façon dont l'IA moderne, et plus exactement les grands modèles de langages et l'IA agentique, est en train de transformer progressivement la pratique des mathématiques.
On abordera rapidement le fonctionnement général des grands modèles de langage modernes. On verra ensuite comment leur articulation avec les outils de vérification formelle et les assistants de preuve permet désormais de résoudre de nombreux problèmes, y compris certains réputés difficiles. J'exposerai ensuitre quelques initiatives récentes et les tendances qui dessinent une nouvelle manière d'aborder la recherche (et la formation) en mathématiques dans les années à venir.