Programme de la journée

Matin

9:00-9:15 : Accueil

9:15-10:00 : Mise en perspective, Amaury Hayat (Professeur, ENPC - IPP)  

10:00-11:00: Pourquoi expliquer des maths aux ordinateurs, introduction à LEAN, Patrick Massot (Professeur, Laboratoire de Mathématiques d'Orsay, Université Paris-Saclay)

11:00-11:30 : Pause

11:30-12:30 : Application des modèles de langage à la résolution de problèmes de mathématiques: des olympiades à la recherche, Yann Fleureau (Ingénieur et entrepreneur, cofondateur du project Numina) 

Déjeuner libre

Après-midi 

14h00-15h00: Adam Zsolt Wagner (Google DeepMind)

15:00-15h30 : Pause

15:30-16:15 :  Victorita Dolean-Maini (Professeur, TU Eindhoven) 

16:15-17:00 :  François Charton (Ingénieur de recherche, Axiom) 

17:00-17:30 : Table ronde: quelles conséquences (cadre, gouvernance, éthique, ...) de l'introduction de ces nouvelles technologies- animée par Gérard Biau (Professeur, Sorbonne Université, directeur du SCAI)

Ivan Nourdin (Professeur, Université du Luxembourg et GrewIA)

Hadi Quesneville (Directeur adjoint - Direction pour la Science Ouverte INRAE et administrateur des Données, Algorithmes et Codes de la recherche INRAE)