L’IA crée un débat existentiel sur l’usage des mathématiques

Tout l’été, des conjectures mathématiques ont été résolues par des systèmes d’IA. Le point culminant a été atteint début septembre avec la résolution du problème de Navier-Stokes, réputé extrêmement difficile. Pour les scientifiques, deux visions du sens et des ambitions de leur discipline s’affrontent.

C’ était C’était l’une des énigmes mathématiques les plus difficiles. Un défi qui figurait même sur la très sélective liste des « problèmes du prix du millénaire » établie à la fin du XX e siècle par l’Institut de mathématiques Clay, qui offre un prix de 1 million de dollars pour chaque question résolue. Avant septembre, un seul de ces sept problèmes avait été résolu. Voilà qu’un système d’intelligence artificielle (IA) en aurait fait tomber un deuxième. C’est en tout cas ce qu’affirme OpenAI dans un communiqué le 8 septembre 2026, même si l’entreprise annonce refuser la récompense.