Quand l’univers décide de jouer au désordre organisé.

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 ?