C’est peut-être un moment historique à la fois pour les mathématiques et pour l’intelligence artificielle. OpenAI affirme qu’un de ses systèmes expérimentaux est parvenu à résoudre le célèbre problème de Navier-Stokes, l’un des sept « problèmes du millénaire ». Une énigme qui résiste aux mathématiciens depuis près d’un siècle. Mais avant de parler définitivement de révolution, la communauté scientifique va devoir examiner minutieusement une démonstration particulièrement complexe.
Le 8 septembre 2026, OpenAI a fait une annonce pour le moins spectaculaire : un système d’intelligence artificielle interne aurait trouvé une solution au problème mathématique dit de l’existence et de la régularité des équations de Navier-Stokes.
Derrière ce nom assez intimidant se cache pourtant quelque chose de très concret : la manière dont se déplacent les fluides.
L’eau qui tourbillonne dans une rivière, l’air autour d’une aile d’avion, les courants atmosphériques, la fumée, les turbulences ou encore la circulation de certains fluides biologiques peuvent tous être décrits, au moins en partie, par ces fameuses équations.
Le Clay Mathematics Institute considère le problème comme suffisamment important pour l’avoir inscrit en 2000 parmi ses sept « problèmes du millénaire », chacun associé à une récompense d’un million de dollars.
Des équations connues depuis le XIXe siècle… mais avec un énorme problème
Les équations de Navier-Stokes sont utilisées quotidiennement par les ingénieurs et les physiciens. On sait les résoudre approximativement dans de nombreuses situations grâce aux ordinateurs. Elles sont notamment indispensables en aérodynamique, en météorologie ou pour simuler des écoulements.
Mais un mystère fondamental subsiste. Imaginons un fluide dont la vitesse et les propriétés sont parfaitement régulières au départ.
Peut-on garantir qu’elles resteront toujours régulières ? Ou les équations peuvent-elles, dans certaines circonstances extrêmement particulières, produire ce que les mathématiciens appellent une singularité ?
Une singularité correspond ici à une situation où certaines grandeurs mathématiques, comme la vitesse du fluide, deviennent théoriquement infinies en un temps fini.
Évidemment, aucun véritable liquide ne peut soudainement atteindre une vitesse infinie. Une telle situation signifierait plutôt que le modèle mathématique cesse d’être capable de décrire correctement ce qui se passe. C’est précisément cette possibilité que personne n’était encore parvenu à démontrer rigoureusement.
L’IA aurait trouvé une singularité
Selon OpenAI, son système a construit une démonstration montrant qu’un fluide initialement parfaitement régulier peut évoluer jusqu’à l’apparition d’une singularité.
Dans la construction proposée, le phénomène prend la forme d’un gigantesque processus de concentration mathématique autour d’un vortex.
Le tourbillon se resserre progressivement tout en s’étirant dans une autre direction. Sa région centrale devient de plus en plus petite alors que sa vitesse augmente considérablement.
Et ce processus pourrait théoriquement se poursuivre jusqu’à ce que la vitesse devienne non bornée.
Le point essentiel est que l’énergie totale reste néanmoins finie pendant l’évolution du système. OpenAI affirme également que la force externe utilisée dans cette version de la démonstration reste parfaitement régulière : la singularité n’est donc pas créée artificiellement en injectant une force elle-même infinie.
Si la démonstration résiste à l’analyse des spécialistes, elle constituerait une réponse négative à la question de la régularité globale : les équations de Navier-Stokes pourraient effectivement « casser » dans certaines configurations mathématiques.
10 000 agents d’intelligence artificielle mobilisés
La façon dont la démonstration aurait été obtenue est presque aussi impressionnante que le résultat lui-même. OpenAI explique avoir utilisé une version expérimentale de son prochain système d’IA, nettement plus performante que ses modèles actuellement disponibles. Au lieu de laisser un seul modèle travailler sur le problème, l’entreprise a mis en place une véritable armée virtuelle d’agents capables d’explorer différentes pistes simultanément.
Selon OpenAI, environ 10 000 agents d’intelligence artificielle ont finalement participé à l’effort consacré au problème de Navier-Stokes. Ils auraient échangé quelque 2,7 millions de messages et généré environ 130 milliards de tokens au cours de leurs recherches. La solution aurait été obtenue après environ 88 heures de calcul et de travail coordonné. Quelques jours pour attaquer un problème auquel des générations de mathématiciens se sont confrontées. C’est évidemment ce qui donne à cette annonce une dimension supplémentaire.
Une seconde IA chargée de vérifier la démonstration
Trouver une démonstration mathématique est une chose. Être certain qu’aucune erreur ne se cache dans des dizaines ou centaines de pages de raisonnement en est une autre. OpenAI affirme donc avoir également traduit la démonstration dans Lean, un logiciel de vérification formelle des mathématiques. Lean permet de représenter les différentes étapes d’une preuve sous une forme qu’un ordinateur peut vérifier logiquement. Cette formalisation aurait nécessité environ 17 heures supplémentaires et aurait été réalisée avec l’aide de GPT-6 Astra.
Cela constitue un élément important, car les grandes démonstrations mathématiques peuvent contenir des erreurs extrêmement difficiles à détecter. Une preuve formalisée réduit considérablement ce risque.
Elle ne remplace toutefois pas l’examen scientifique humain : il faut également vérifier que le théorème formalisé correspond exactement au problème posé et que toutes les hypothèses utilisées sont bien conformes à sa formulation officielle.
Une étrange course entre plusieurs équipes
L’annonce d’OpenAI intervient dans un contexte particulièrement étonnant. D’autres chercheurs travaillaient presque simultanément sur des problèmes très proches.
Les mathématiciens Levent Alpöge et Tristan Buckmaster ont ainsi rendu publics des travaux démontrant l’apparition d’une singularité dans des équations apparentées, notamment les équations d’Euler, qui correspondent grossièrement à la dynamique d’un fluide lorsque l’on retire l’effet de la viscosité. Ils ont eux-mêmes utilisé plusieurs modèles d’intelligence artificielle dans leurs recherches. Terence Tao, l’un des mathématiciens les plus réputés au monde, a qualifié ces avancées de remarquables et estimait que ces méthodes pouvaient ouvrir la voie vers Navier-Stokes. Une autre équipe dirigée par la chercheuse Anima Anandkumar, du Caltech, a également annoncé indépendamment des résultats concernant le cas sans viscosité, en utilisant cette fois des réseaux neuronaux intégrant directement certaines lois physiques.
Nous assistons donc peut-être à quelque chose de plus vaste qu’une simple découverte isolée : l’intelligence artificielle semble commencer à pénétrer le domaine des mathématiques de recherche au plus haut niveau.
Le problème est-il officiellement résolu ?
Pas encore. C’est probablement la précision la plus importante. À ce jour, nous devons parler d’une solution revendiquée par OpenAI, et non d’un problème officiellement classé comme résolu. Les règles du Clay Mathematics Institute sont extrêmement strictes.
Une proposition doit notamment être publiée dans une publication reconnue, être étudiée par la communauté mathématique internationale et acquérir une acceptation générale. Le Clay Mathematics Institute impose normalement au minimum deux années d’examen par la communauté scientifique avant qu’une solution puisse être considérée pour le prix.
OpenAI précise par ailleurs ne pas avoir l’intention de réclamer la récompense d’un million de dollars. L’entreprise présente surtout cette démonstration comme une illustration des progrès extrêmement rapides de ses nouveaux systèmes d’intelligence artificielle.
Il faudra donc probablement des semaines ou des mois pour que les spécialistes comprennent entièrement la démonstration, et beaucoup plus longtemps avant qu’elle puisse éventuellement recevoir le statut de solution définitive.
Pourquoi cette découverte pourrait dépasser largement les mathématiques
Les équations de Navier-Stokes ne sont pas une simple curiosité intellectuelle. Elles se trouvent au cœur de la mécanique des fluides et sont liées à des phénomènes aussi divers que l’atmosphère, les océans, les turbulences, les moteurs, l’aéronautique ou certains processus astrophysiques. Cependant, il serait exagéré d’affirmer que cette démonstration va immédiatement révolutionner les prévisions météorologiques ou permettre de concevoir de meilleurs avions. Les simulations utilisées dans ces domaines fonctionnent déjà très bien sans connaître la réponse au problème du millénaire.
La véritable révolution pourrait se trouver ailleurs. Elle concerne la manière dont la science elle-même est produite. Jusqu’à récemment, les modèles d’intelligence artificielle étaient surtout considérés comme capables de retrouver des connaissances existantes, d’effectuer des calculs, d’écrire du code ou d’assister les scientifiques.
Cette fois, si les résultats sont confirmés, un système d’IA aurait participé à la production d’une nouvelle connaissance mathématique fondamentale, en explorant un espace de raisonnement tellement vaste qu’une équipe humaine aurait probablement eu besoin de beaucoup plus de temps.
Un tournant pour la science ?
Il faut encore rester prudent.
L’histoire des mathématiques regorge d’annonces de démonstrations spectaculaires qui se sont finalement révélées incomplètes ou incorrectes après plusieurs mois d’analyse. Mais cette fois, la situation est différente sur un point essentiel : la démonstration est accompagnée d’une formalisation informatique destinée à permettre une vérification extrêmement détaillée. Si elle est confirmée, deux événements historiques se produiraient simultanément. L’un des plus célèbres problèmes mathématiques du monde trouverait enfin une réponse. Et une intelligence artificielle aurait joué un rôle central dans sa résolution. Après avoir appris à écrire, programmer, traduire ou analyser des images, l’IA pourrait ainsi franchir une nouvelle frontière : celle de la découverte scientifique fondamentale. Et c’est peut-être cet aspect, plus encore que le million de dollars associé au problème de Navier-Stokes, qui fait de l’annonce du 8 septembre 2026 un événement à suivre de très près.
Cette avancée pourrait marquer le début d’une véritable révolution dans le monde des mathématiques. Jusqu’ici, les grands problèmes non résolus reposaient presque exclusivement sur l’intuition, la créativité et le travail de chercheurs capables de consacrer des années, parfois des décennies, à une seule question. L’arrivée d’intelligences artificielles capables d’explorer simultanément des milliers de pistes, de tester des hypothèses, de détecter des incohérences et de formaliser des démonstrations pourrait profondément accélérer ce processus. À terme, cela pourrait permettre de résoudre plus rapidement certains problèmes considérés aujourd’hui comme presque inaccessibles, mais aussi d’ouvrir de nouveaux champs de recherche en physique, en climatologie, en ingénierie, en informatique ou encore en médecine. Le rôle des mathématiciens ne disparaîtrait pas pour autant : il évoluerait vers celui de guide, de vérificateur et d’interprète des résultats produits par les machines. Si cette tendance se confirme, l’IA ne serait plus seulement un outil d’assistance, mais pourrait devenir un véritable partenaire de découverte scientifique, capable d’aider l’humanité à franchir des barrières intellectuelles qui semblaient encore infranchissables il y a quelques années.
Adaptation Terra Projects
Sources : Nature, OpenAI, Clay Mathematics Institute et travaux/commentaires de chercheurs spécialistes des équations aux dérivées partielles.
(0)
