WHAT A DAY at Sorbonne Université

Yesterday, Proof & Program brought together leading researchers, entrepreneurs, engineers, and students at Sorbonne Université for a full day dedicated to one of the most strategic frontiers in artificial intelligence: AI-assisted formal mathematics.

Organised by SCAI, Inria, Université Paris Saclay & CNRS, the conference explored how artificial intelligence is reshaping formal reasoning, theorem proving, and the very foundations of mathematical rigor.

The energy throughout the day confirmed one thing: we are witnessing a decisive shift — from generative AI systems that produce text to AI systems capable of structured, verifiable reasoning.

We extend our sincere thanks to all speakers, contributors, partners, and participants who made this event such a success.

The future of mathematics — and of trustworthy AI — is being shaped at the intersection of proof and program.