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.

Program

• 09:30 - 10:10 : Yann Fleureau & Jia Li (Numina)
• 10:10 - 10:40 : Break
• 10:40 - 11:20 : Amaury Hayat (ENPC)
• 11:20 - 12:00 : Marc Lelarge (INRIA)
• 2 - 4pm : Hands on session

Organizing Committee

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