Un modèle d'IA d'OpenAI révolutionne la recherche mathématique