Des différents temps de la recherche mathématique à l’obsession de la preuve
Ouvrir la voie des mathématiques à toutes et tous, créer des aventures collectives
Logique mathématique, informatique théorique, et esthétique des théorèmes
L’intelligence artificielle dans tous ses états
