Automath est un projet collectif pour faire communauté en région parisienne autour de l’informatisation des mathématiques – Séminaire de lancement ce 30 janvier :  » This presentation surveys very recent advances claimed for mathematics using large language models, highlighting the cultural divide between mathematics and deep learning, and the different tools and techniques each field brings to problem solving. «