Automath !

Image créée pour Automath par ChatGPT
Automath 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
- usage de la formalisation des mathématiques et des assistants de preuve
Séminaire Automath
Une fois par mois environ, accessible, style colloquium :
- Un jour de janvier 2026, heure et lieu à préciser – Séance de lancement !
Liste de diffusion
https://lists.ens.psl.eu/wws/info/automath
Organisateurs
Djalil Chafaï, Julie Delon, Borjan Geshkovski, Amaury Hayat, Marc Lelarge, et Gabriel Peyré.
Liens divers
- Journée AI4Maths à l’Institut Henri Poincaré (2025-11-18)
- Journée IA & mathématiques : une thématique au cœur de la recherche (2025-04-04)
- Projet Malinca – Mathematicae Lingua Franca – Bridging the Linguistic Gap Between the Mathematician and the Machine
- Mathematical research with GPT-5 : a Malliavin-Stein experiment (arXiv.2509.03065)
- Google and OpenAI Get 2025 IMO Gold
- A Lean companion to “Analysis I” (Fall 2025)
- Formal Proof of the Four Color Theorem in Coq
(H|N)ommage
Automath est un clin d’œil à Nicolaas Govert de Bruijn.