Est-ce qu’un modèle d’IA peut démontrer un énoncé mathématique complexe ? Formaliser des preuves ? Une IA peut-elle développer une intuition mathématique plus puissante qu’un humain sur un problème spécifique et aider à la découverte de nouveaux théorèmes ? Les récentes avancées issues de la combinaison de différentes techniques de machine learning allant des modèles de langage aux méthodes d’apprentissage par renforcement posent de nombreuses questions sur l’avenir de la pratique des mathématiques. Pour explorer ces enjeux, nous présenterons plusieurs exemples de travaux récents en IA pour les mathématiques et nous en discuterons les perspectives.