En 88 heures, des agents IA pilotés par un modèle interne d’OpenAI ont résolu une partie du problème de Navier-Stokes, l’un des sept grands défis mathématiques du siècle. Isabelle Gallagher, présidente de la Société mathématique de France, exprime le sentiment de dépossession des mathématiciens : « J’avoue être un peu effondrée de voir que cette belle question, sur laquelle nous avons consacré des années à discuter autour d’un tableau, aurait été résolue en quelques jours. » Faut-il utiliser l’IA pour résoudre tous les problèmes ouverts en maths pures ? Terence Tao, considéré comme le meilleur mathématicien vivant, pense que non.

La valeur pour la société, dit-il, réside moins dans la réponse à ces problèmes (souvent sans application pratique) que dans le chemin qu’empruntent des humains pour y aboutir. En route, on découvre des techniques, on cartographie ce qui résiste à l’esprit humain, on tisse des liens entre des domaines, et surtout, on entretient une forme d’excellence…