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
L'exposé tournera autour du programme d'Erlangen de Felix Klein. Il abordera les notions de groupes, de transitivité, d'invariants et de relations et en expliquant en quoi ces outils théoriques représentent un apport essentiel pour l'enseignement de la géométrie. Séminaires des Mathématiques
Séminaires des Mathématiques