La résolution par l’IA d’un problème mathématique majeur entraîne un tourbillon de controverses
L’entreprise américaine OpenAI a annoncé le 8 septembre avoir résolu l’énigme de Navier-Stokes. Si tout le monde, dans le milieu des mathématiques, reconnaît une avancée majeure, certains débats demeurent..
Le 8 septembre 2026, l'entreprise américaine OpenAI a annoncé avoir résolu les équations de Navier-Stokes, un problème mathématique majeur resté sans réponse depuis près de deux siècles. Ces équations, formulées au XIXe siècle par les physiciens français Claude-Louis Navier et George Gabriel Stokes, décrivent le mouvement des fluides comme l'eau, l'air ou le sang dans les artères. Leur résolution est l'un des sept problèmes du millénaire, une liste établie en 2000 par l'Institut de mathématiques Clay pour récompenser les avancées majeures en mathématiques. OpenAI affirme avoir utilisé son dernier modèle d'intelligence artificielle, GPT-6 Astra, combiné à 10 000 agents d'IA travaillant pendant 88 heures pour parvenir à cette démonstration. Cette annonce s'ajoute à celle d'Anthropic, un concurrent, qui a formalisé le dernier théorème de Fermat (un autre problème du millénaire) en seulement 11 jours.
Les équations de Navier-Stokes sont essentielles dans de nombreux domaines industriels et scientifiques. Elles permettent de concevoir des ailes d'avion plus aérodynamiques et stables, en simulant les écoulements d'air autour des structures. En médecine, elles modélisent la circulation sanguine dans les artères, aidant à comprendre les maladies cardiovasculaires ou à optimiser les prothèses. En météorologie, elles servent à prévoir les courants marins ou atmosphériques, cruciaux pour anticiper les tempêtes ou les changements climatiques. Leur résolution par l'IA pourrait donc accélérer les innovations dans ces secteurs, en réduisant le temps et les ressources nécessaires pour tester des hypothèses ou des designs.
Bien que l'exploit d'OpenAI soit salué comme une avancée majeure par une partie de la communauté mathématique, il suscite aussi des controverses. Certains experts remettent en question la validité de la démonstration, soulignant que les méthodes utilisées par l'IA diffèrent radicalement des approches traditionnelles, basées sur des preuves rigoureuses et vérifiables. D'autres s'interrogent sur la transparence des algorithmes employés, craignant que les solutions proposées par l'IA ne soient pas reproductibles ou compréhensibles par des humains. La rapidité de la résolution (88 heures contre des décennies de recherches humaines) interroge également sur la fiabilité des résultats et leur acceptation par la communauté scientifique.
La résolution de problèmes mathématiques par l'IA soulève des questions plus larges sur l'avenir de la recherche. Si ces outils peuvent accélérer les découvertes, ils risquent aussi de marginaliser le rôle des mathématiciens humains, dont l'expertise réside dans la capacité à interpréter et valider les résultats. Par ailleurs, l'utilisation massive de ressources computationnelles (ici, 10 000 agents d'IA pendant 88 heures) pose des questions environnementales, notamment en termes de consommation énergétique. Enfin, cette avancée pourrait redéfinir les critères de reconnaissance des contributions scientifiques, traditionnellement basés sur la rigueur et la reproductibilité des preuves.
