Cette conférence d'une journée vise à informer la communauté mathématique, au sens large, des avancées récentes en matière d'intelligence artificielle appliquée aux mathématiques, y compris les nouveaux modèles LLM pour le raisonnement et les nouvelles techniques d'entraînement. Elle couvrira également les contributions mathématiques à l'IA, telles que les ensembles de données spécialisés pour le raisonnement et les assistants de preuve. L'accent sera mis sur les applications pratiques, avec une séance de travaux pratiques l'après-midi, consacrée à l'utilisation pratique de ces outils pour résoudre divers problèmes mathématiques.

Programme

• 09:30 - 10:10 : Yann Fleureau & Jia Li (Numina)
• 10:10 - 10:40 : Pause café
• 10:40 - 11:20 : Amaury Hayat (ENPC)
• 11:20 - 12:00 : Marc Lelarge (INRIA)
• 14:00 - 16:00 : Session pratique

Comité d'organisation

- Aymeric Dieuleveut (École Polytechnique)
- Francis Bach (INRIA)
- Gabriel Peyré (CNRS et ENS)