Les théorèmes à l’heure de l’innovation algorithmique
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.