L'IA est en train de provoquer une révolution sans précédent dans le domaine des mathématiques

Julien Dubois – 12 mars 2026 à 20h55

Pendant des millénaires, les théorèmes ont été validés par une poignée d'experts. De nouveaux outils permettent désormais à des machines de vérifier formellement les démonstrations, transformant en profondeur la discipline.

Temps de lecture: 2 minutes - Repéré sur New Scientist

Depuis l'Antiquité, la validité d'un théorème reposait sur le consensus d'une élite capable de le relire. Aujourd'hui, ce modèle s'effondre. La complexité de certaines démonstrations modernes, atteignant parfois des milliers de pages, dépasse les capacités de vérification d'un cerveau humain. De nouveaux outils technologiques s'imposent aujourd'hui.

Un article du site New Scientist évoque par exemple le langage de programmation Lean. En transformant un raisonnement en code informatique, il permet à une machine de garantir avec une certitude........

© Slate