Proof & Program
AI-Assisted Formal Mathematics

The rapid development of artificial intelligence is transforming the landscape of formal mathematics. Proof & Program brings together leading researchers to explore how AI-assisted methods are reshaping mathematical proof, verification, and discovery.

This event will highlight recent advances at the intersection of formal methods, machine learning, and mathematical reasoning, fostering dialogue between mathematicians, computer scientists, and AI researchers.

Confirmed Speakers

• Guillaume Baudart (Inria)
• François Charton (Axiomath.ai)
• Marc Lelarge (Inria – ENS)
• Assia Mahboubi (Inria)
  And more speakers to be announced soon
   

Round Table Discussion
A dedicated round table will address the strategic and institutional perspectives of mathematics and AI:

• Béatrice de Tilière, Director of FSMP
• Pascal Massart, Director of Fondation Mathématiques Jacques Hadamard
   

Save the Date & Sign Up
Registrations are open.

Organization Committee

• Francis Bach (Inria)
• Gérard Biau (Sorbonne Université)
• Claire Boyer (Université Paris-Saclay)
• Pierre Marion (Inria)
• Gabriel Peyré (CNRS – ENS)