Navier-Stokes : OpenAI annonce avoir résolu un problème du millénaire

OpenAI roule des mécaniques

« Nous partageons une solution au problème de l’existence et de la régularité des équations de Navier-Stokes, l’un des problèmes du prix du millénaire », écrit OpenAI en tête de sa publication de recherche du 8 septembre 2026 [1].

Cette accroche met en lumière une prouesse de haut niveau. La question de l’existence et de la régularité des solutions en trois dimensions résiste aux mathématiciens depuis près de 90 ans ; ce problème, qui porte sur les équations décrivant le mouvement des fluides newtoniens, figure ainsi parmi les sept problèmes du millénaire [4]. Acclamée d’un côté, l’entreprise californienne ne fait pourtant pas l’unanimité avec cette annonce, survenue dans un contexte de travaux concurrents et de désaccord sur le crédit scientifique [6][7].

Ce que les équations permettent - et ce qu’elles ne garantissent pas

Les équations de Navier-Stokes servent à calculer comment un fluide évolue à partir d’un état de départ. Pour illustrer la complexité de ce problème, l’animation ci-dessous elle montre le cas simple d’un écoulement régulier face à un obstacle cylindrique, en vue du dessus. Ce courant peut produire, de façon peu intuitive, un sillage asymétrique composé de vortex [8]. Le problème du millénaire porte sur le cas général en 3D : si le mouvement du fluide est parfaitement lisse au départ, les équations décrivent-elles toujours une vitesse finie qui évolue sans rupture, ou peuvent-elles finir par atteindre une singularité [4] ? OpenAI ne dit pas avoir trouvé une formule pour prévoir tous les fluides ; l’entreprise annonce au contraire un cas mathématique où un vortex se resserre jusqu’à produire une vitesse sans borne en temps fini, une « vitesse infinie » dans le modèle. Un seul cas suffit à réfuter la garantie universelle, sans rendre tous les écoulements réels imprévisibles [1][2].

Animation en 2D d'un fluide allant de gauche à droite autour d'un cylindre rouge. Le nombre de Reynolds compare l'inertie du mouvement à la viscosité qui le freine ; il dépend notamment du fluide, de sa vitesse et de la taille du passage ou de l'obstacle. Selon le nombre de Reynolds, le sillage passe d'un écoulement régulier à des vortex alternés puis à la turbulence. Elle montre comment un obstacle simple peut produire un mouvement difficile à modéliser ; elle n'est cependant pas le contre-exemple mathématique annoncé par OpenAI. Le contre-exemple d'OpenAI part lui d'un fluide 3D entièrement au repos. Une force extérieure lisse et localisée, soigneusement construite par l'IA, y fait naître un vortex en forme de colonne : le fluide spirale vers son axe tandis que son coeur se resserre autour d'un point et accélère jusqu'à produire une vitesse sans borne.

Un deuxième problème du millénaire bientôt résolu ?

La conjecture de Poincaré était jusqu’ici le seul problème du millénaire résolu parmi ceux établis par le Clay Mathematics Institute (CMI). Grigori Perelman, mathématicien russe, a démontré cette hypothèse géométrique en 2002, marquant une avancée dans la compréhension de la forme de l’Univers. Il a ensuite refusé le prix d’un million de dollars décerné par le CMI pour ce travail, ainsi que la médaille Fields [9][10].

Pour parvenir à cette démonstration sur Navier-Stokes, OpenAI affirme avoir coordonné de l’ordre de 10 000 agents alimentés par un modèle interne que l’entreprise décrit comme nettement plus performant que GPT-6 Astra [1]. Il ne s’agissait donc pas de GPT-6 Astra lui-même. Présenté le 3 septembre 2026 comme le plus récent modèle généraliste annoncé publiquement par OpenAI et proposé dans son API, GPT-6 Astra aurait seulement servi ici à formaliser et vérifier la preuve dans Lean pendant 17 heures [5]. En 88 heures, les agents auraient échangé 2,7 millions de messages et produit environ 130 milliards de jetons [1].

Une annonce ne vaut toutefois pas encore validation scientifique définitive : OpenAI met sa démonstration à disposition pour examen et affirme qu’elle ne réclamera pas le prix du millénaire [1]. Reste une question au cœur de la controverse : comment attribuer le crédit quand une preuve est produite par des agents d’intelligence artificielle à proximité de travaux humains ?

Derrière la preuve, une bataille pour la paternité

L’annonce d’OpenAI a rapidement été éclipsée par une polémique sur la paternité de la découverte. Depuis près d’un an, Tristan Buckmaster, professeur de mathématiques à l’université de New York, travaillait avec Levent Alpöge, mathématicien employé par Anthropic - concurrent d’OpenAI - sur un problème étroitement lié à celui de Navier-Stokes [6][7].

Avant même qu’OpenAI ne lance ses milliers d’agents sur Navier-Stokes, Buckmaster et Alpöge avaient obtenu, le 15 août, un résultat majeur sur les équations d’Euler avec forçage, un système apparenté à Navier-Stokes mais dépourvu de viscosité [6]. Quelques semaines plus tard, OpenAI affirme que ses propres agents sont parvenus à démontrer un résultat analogue pour Euler sans forçage, une avancée qui les aurait convaincus de concentrer leurs efforts sur Navier-Stokes [1].

Les deux chercheurs s’appuyaient notamment sur des outils d’intelligence artificielle, dont Codex d’OpenAI, auquel Buckmaster avait soumis une partie de leurs travaux. Buckmaster s’est demandé si leurs recherches confidentielles avaient pu contribuer indirectement à la découverte [6][7]. OpenAI affirme qu’aucun chercheur ni agent n’a consulté leurs travaux avant leur publication. Après une enquête interne, l’entreprise a également déclaré que les requêtes Codex de Buckmaster des deux mois précédents n’avaient pas pu influencer le système, y compris par entraînement [1].

La controverse s’est intensifiée autour du crédit scientifique. Selon Buckmaster, OpenAI lui aurait proposé de publier d’abord les résultats sur Euler, puis de présenter lui-même la preuve de Navier-Stokes produite par le modèle interne ; il affirme aussi que l’entreprise souhaitait écarter Levent Alpöge de cette seconde publication [6][7]. Sébastien Bubeck, qui dirigeait l’effort mathématique d’OpenAI, conteste cette interprétation. OpenAI déclare de son côté avoir proposé une publication simultanée reconnaissant la priorité des travaux de Buckmaster et Alpöge sur Euler, et précise qu’elle ne réclamera pas le prix du millénaire [1]. L’affaire pose ainsi une question nouvelle : lorsque l’intelligence artificielle achève une démonstration dans un domaine où travaillent déjà des chercheurs utilisant ces mêmes systèmes, à qui revient réellement la découverte ?

Au-delà du million, un enjeu scientifique aux retombées imprévisibles

Au-delà de la polémique, le résultat annoncé concerne un point précis : l’existence et la régularité des solutions des équations de Navier-Stokes en trois dimensions. Il ne donne pas une formule universelle pour calculer tous les écoulements [2][4]. Ces équations restent néanmoins au cœur de la mécanique des fluides : elles décrivent aussi bien l’écoulement de l’air autour d’une aile que celui de l’eau dans une canalisation, les mouvements de l’atmosphère ou encore la circulation du sang.

Le contre-exemple annoncé répond « non » à une garantie universelle : même avec un état initial et une force extérieure parfaitement lisses, il existerait en 3D au moins un cas où un vortex se concentre jusqu’à rendre la vitesse non bornée en temps fini - une « vitesse infinie » dans le modèle. À l’approche de ce point, le calcul ne peut plus poursuivre une évolution classique et régulière. Cela ne signifie pas que tous les écoulements réels deviennent imprévisibles ; cela montre qu’on ne peut pas garantir que le modèle continu reste valable de cette manière dans absolument tous les cas [1][2].

Les conséquences pratiques restent donc incertaines. Le résultat annoncé n’améliore pas directement les prévisions météorologiques, climatiques ou industrielles ; il précise d’abord une limite fondamentale des équations en 3D. En revanche, les méthodes créées pour construire et vérifier ce contre-exemple pourraient inspirer de nouveaux outils mathématiques ou numériques, dont les applications sont encore impossibles à prévoir.