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 !

Pour retrouver facilement cette page, chercher « automath paris » sans s à automath.

Le séminaire automath (aux tomates) est bimestriel, soit une fois tous les deux mois, accessible, de type colloquium, un vendredi à 11h :

• 30 janvier 2026. Salle Dussane, École normale supérieure, 45 rue d’Ulm, Paris
  Marc Lelarge - Is generative AI solving mathematics?
• 20 mars 2026. Salle Dussane, École normale supérieure, 45 rue d’Ulm, Paris
  Assia Mahboubi - Computer-assisted mathematics
• 29 mai 2026. Lieu à préciser, Paris
  Léo Dreyfus-Schmidt - Titre à préciser

Pour vous tenir informé, n’hésitez pas à vous inscrire à la liste de diffusion https://lists.ens.psl.eu/wws/info/automath

Julie Delon, Borjan Geshkovski, Amaury Hayat, Marc Lelarge, Frédéric Marbach, et Gabriel Peyré.

Automath est un clin d’œil à Nicolaas Govert de Bruijn.