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. 

When and where

4 April 2025

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

Pre-registration

Pre-registration is free but mandatory using this link.

Schedule

Morning :

• 09:30 - 10:10 : Yann Fleureau & Jia Li (Numina)
  Numina Project : AI applied to mathematical reasoning and formalization
  

• 10:10 - 10:40 : coffee break

• 10:40 - 11:20 : Amaury Hayat (ENPC)
  How can artificial intelligence help mathematicians ?
  

• 11:20 - 12:00 : Marc Lelarge (INRIA)
  Towards mathematical proofs with agents
  

Afternoon :

• 14:00 - 16:00 : Hands on session.

Organizing Committee

• Aymeric Dieuleveut (École Polytechnique)

• Francis Bach (INRIA)

• Gabriel Peyré (CNRS and ENS)

Supporting institutions