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 : ChatGPT, Gemini, …
usage de la formalisation des mathématiques et des assistants de preuve : Lean, Coq/Rocq, …
usage de la combinaison des deux !