AI and Maths 
a one day conference in Paris

The four Paris AI clusters, together with ELLIS Paris, are co-organizing a conference on AI and mathematics.

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.

Pre-registration is free but mandatory on the conference website: https://sites.google.com/view/ia-maths/

 

PROGRAM

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.

ORGANIZING COMMITTEE

Aymeric Dieuleveut (École Polytechnique)
Francis Bach (Inria)
Gabriel Peyré (CNRS and ENS)