Proof & Program 
AI-Assisted Formal Mathematics

9:00 : Opening - Welcome coffee 

9:30 – 10:10 : Yann Fleureau (S1)
10:10 – 10:50 : Marc Lelarge (S2) "Is generative AI solving mathematics?"

10:50 – 11:15 : Coffee break

11:15 – 12:00 : Guillaume Baudart (S3)

12:00 – 14:00 : Lunch break

14:00 – 14:40 : Theophane Weber (S4)
14:40 – 15:20 : Assia Mahboubi (S5) "Machine-checked mathematics"

15:20 – 15:45 : Coffee break

15:45 – 16:25 : François Charton (S6) "Mathematical discovery while watching a model learn"

16:30 – 17:00 : Round table 

• Béatrice de Tilière (Director of FSMP)
• Romuald Elie (Google DeepMind)
• Pascal Massart (Director of Fondation Mathématiques Jacques Hadamard)
• Gabriel Peyré (Research Director at CNRS, Center for Data Science of the Ecole Normale Supérieure)

SAVE THE DATE AND SIGN UP
mandatory

Organisation

• Francis Bach (Inria)
• Gérard Biau (Sorbonne Université)
• Claire Boyer (Université Paris-Saclay)
• Pierre Marion (Inria)
• Gabriel Peyré (CNRS-ENS)