Colloquium à 11h

Oratrice : Assia Mahboubi (INRIA, Nantes)

Titre : How to Prove It: Computation, Proofs, and Mathematical Rigor

Résumé : Computers have dramatically expanded the scale of experimentation and visualization in mathematics, becoming indispensable tools for formulating conjectures and discovering proofs. This phenomenon largely predates the rise of AI, which nonetheless vastly amplifies its scope and impact. Yet computer-aided mathematics remains a striking blind spot in the rigorous peer-review standards enforced by the most prestigious mathematical journals. This talk examines the role of computational tools in contemporary mathematics, with a particular focus on interactive theorem proving and its potential to finally bridge this gap.