IA pour les mathématiques : découverte et automathisation Amaury Hayat L’IA pour les mathématiques au sens moderne, c’ 6h de cours