Workshops & Seminars
“AI and Maths” Conference
04/04/2025
9:30 - 16:00
PSL Building, 16 bis rue de l’Estrapade, 75005 PARIS
This one-day conference aims to inform the mathematical community, in the broadest sense, about recent advancements in artificial intelligence applied to mathematics, including new LLM models for reasoning and novel training techniques. It will also cover mathematical contributions to AI, such as specialized datasets for reasoning and proof assistants. A key focus will be on practical applications, with an afternoon hands-on session dedicated to the practical use of these tools to tackle various mathematical problems.
Conference Programme
Morning:
- 09:30 – 10:10: Yann Fleureau & Jia Li (Numina)
- 10:10 – 10:40: coffee break
- 10:40 – 11:20: Amaury Hayat (ENPC)
- 11:20 – 12:00: Marc Lelarge (INRIA)
Afternoon :
14:00 – 16:00: Hands on session.