Automath! Marc Lelarge: Is generative AI solving mathematics?
ENS Salle DussaneAutomath 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
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