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