AG : Thomas Lanard (LMV) – L’utilisation de l’intelligence artificielle en mathématiques et application au dual de Aubert-Zelevinsky
Résumé : Cet exposé a pour objectif de montrer comment l’intelligence artificielle (IA) peut devenir un allié précieux dans la recherche mathématique, en particulier pour générer des conjectures. Dans une première partie, nous introduirons les concepts fondamentaux de l’apprentissage supervisé et