À l'occasion de la cérémonie de lancement de l'année des mathématiques le 2 octobre 2019, Antoine Chambert-Loir, membre de l'IMJ-PRG, a donné une conférence de 20 minutes à propos de la place de la démonstration en mathématiques.