L'intelligence artificielle révolutionne la recherche mathématique