Après avoir battu les plus grands maîtres aux échecs puis au jeu de go ; après nous avoir en quelque sorte « dépossédés » du langage et de la traduction ; après avoir pris une place de plus en plus importante dans tous les métiers d’expertise, à commencer par le codage informatique ; après avoir investi tous les secteurs de la création visuelle et culturelle ; après toutes ces réussites, donc, l’IA va-t-elle maintenant nous égaler, en tant qu’espèce, voire nous surpasser, dans l’un des derniers bastions de l’intelligence humaine que l’on pensait rétif à l’automatisation, les mathématiques ? La réponse n’est pas encore parfaitement claire, mais ce qui est certain, c’est que les modèles de langage (LLM) se sont révélés bien meilleurs qu’on ne l’imaginait... Il y a encore trois ans, les performances calamiteuses de ChatGPT en mathématiques faisaient l’objet de moqueries. Aujourd’hui, ils révolutionnent déjà le travail quotidien des mathématiciens. La question n’est pas de savoir…