«C’est comme si l’IA avait tiré le tapis sous les pieds des mathématiciens»

L’intelligence artificielle (IA) vient de résoudre plus de 370 problèmes mathématiques complexes, dont certains résistait aux efforts des mathématiciens depuis plus d’un siècle.

Ces résultats, dévoilés par OpenAI, couvrent des domaines variés comme l’algèbre, la théorie des nombres ou la topologie.

Les démonstrations, générées par un modèle interne d’IA inaccessible au public, ont été vérifiées par des ordinateurs utilisant le langage de programmation Lean, qui formalise la logique mathématique.

Cependant, ces solutions restent souvent incompréhensibles pour les humains, car elles complexifient inutilement des étapes simples ou omettent des démonstrations essentielles.

Le mathématicien Luc Vinet, professeur à l’Université de Montréal, compare cette situation à un « tapis tiré sous les pieds des mathématiciens », soulignant que la recherche en mathématiques ne sera plus jamais la même.