Computer-assisted mathematics
Séminaire Automath
Le séminaire Animath est un projet collectif pour faire communauté en région parisienne autour de l’informatisation des mathématiques : usage de l’apprentissage automatique (notamment par réseaux de neurones) pour faire des mathématiques : ChatGPT, Gemini, … ; usage de la formalisation des mathématiques et des assistants de preuve : Lean, Coq/Rocq, …; usage de la combinaison des deux !
Programme
20 mars 2026. Salle Dussane, École normale supérieure, 45 rue d’Ulm, Paris
Assia Mahboubi - Computer-assisted mathematics
Mis à jour le 16/3/2026