“AI and Maths” Conference

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. 

Where : PSL Building, 16 bis rue de l’Estrapade, 75005 PARIS

Schedule :

Morning
09:30 - 10:10 : Yann Fleureau (Numina)
10:10 - 10:40 : coffee break
10:40 - 11:20 : Amaury Hayat (ENPC) [slides]
11:20 - 12:00 : Marc Lelarge (INRIA) [slides]
Afternoon
14:00 - 15:00 : Hands on session, Numina [solutions]
15:00 - 15:30 : coffee break
15:30 - 16:30 : Hands on session, Theo Stoskopf [solutions]

Organizers :
Aymeric Dieuleveut (IPP)
Gabriel Peyré (CNRS and ENS)
Francis Bach (INRIA)

Sponsors :
ELLIS Paris - DataIA - Hi !Paris - PRAIRIE PSAI - SCAI - ERC WOLF - AISSAI