En 2021, une IA a résolu un problème dans le domaine de la théorie des nœuds. À l’été 2024, AlphaProof, un modèle d’apprentissage par renforcement, a réussi trois des six problèmes des Olympiades de mathématiques. Jusqu’où ira la machine ? ChatGPT, démontre-moi l’hypothèse de Riemann.