OpenAI dit avoir résolu avec l’IA l’un des problèmes du prix du millénaire. Le 8 septembre 2026, l’entreprise a annoncé une démonstration concernant Navier–Stokes, les équations qui décrivent le mouvement des fluides. Elle affirme avoir construit un écoulement initialement régulier qui développe une singularité : des vitesses qui croissent sans limite en un temps fini.
Si la preuve est confirmée, ce serait une avancée majeure sur une question ouverte depuis des décennies. L’annonce s’accompagne d’un différend avec les mathématiciens Tristan Buckmaster et Levent Alpöge sur la priorité, la paternité du travail et les données de recherche. Mais même en laissant cette polémique de côté, il existe une raison mathématique de ne pas considérer l’affaire comme close.
La construction utilise une force extérieure. Montrer qu’un fluide peut perdre sa régularité avec cette intervention ne décide pas, à lui seul, s’il peut le faire sans elle.
Ce détail importe parce que l’énoncé du prix autorise cette voie. Nous pourrions disposer d’une solution au problème du millénaire sans avoir répondu à l’une des questions les plus naturelles sur ces équations.
L’annonce d’OpenAI renvoie à un manuscrit et à une formalisation en Lean, un assistant de preuve. Nous examinons ici la portée de l’affirmation ; ni l’annonce ni l’existence d’une formalisation ne remplacent un examen mathématique indépendant.
Ce que signifie la perte de régularité d’un fluide
L’eau dans une canalisation et l’air autour d’un avion sont des exemples d’écoulements étudiés avec Navier–Stokes. Nous utilisons ces équations depuis plus d’un siècle. Leur utilité n’exige pas de connaître tout ce qu’elles peuvent produire dans chaque situation imaginable.
Le problème de Clay porte sur une version précise : un fluide incompressible, de viscosité positive, en trois dimensions. Incompressible signifie que chaque petite portion conserve son volume en se déplaçant. Elle peut se déformer et tourner, mais pas se comprimer.
On part d’un champ de vitesses lisse, sans sauts ni singularités initiales. On sait suivre la solution pendant au moins un certain intervalle de temps. La question est de savoir si l’on peut continuer indéfiniment ou si l’évolution peut elle-même rompre cette régularité. C’est ce qu’on appelle le blow-up, ou explosion en temps fini.
Nous ne cherchons pas une formule permettant de calculer n’importe quel mouvement de l’eau. Nous demandons si la description mathématique lisse peut cesser d’exister en un temps fini.
Deux tendances coexistent dans les équations. La viscosité atténue les différences de vitesse et dissipe l’énergie. La dynamique non linéaire permet au mouvement de réorganiser sa propre structure ; en trois dimensions, l’étirement des tourbillons peut intensifier la rotation et engendrer des échelles plus petites.
L’image intuitive est celle d’une compétition entre lissage et concentration. Dire que la viscosité lisse ne prouve pas qu’elle gagne toujours. Contrôler l’énergie totale ne suffit pas non plus à contrôler ce qui se passe dans une région toujours plus petite. Cet écart entre contrôle global et comportement local est au cœur de l’explication de Terence Tao sur la difficulté du problème.
L’énoncé de Clay comporte une asymétrie importante
L’énoncé officiel de Charles Fefferman propose quatre possibilités, combinant deux types de résultats et deux cadres spatiaux :
| Résultat | Espace entier | Espace périodique | Force extérieure |
|---|---|---|---|
| Existence de solutions lisses pour tout temps | A | B | Fixée à zéro |
| Rupture de l’existence globale exigée | C | D | Autorisée sous des conditions précises |
On peut imaginer l’espace périodique comme une boîte dont le motif se répète dans toutes les directions. Cela permet d’étudier la dynamique sans introduire de parois.
Le point décisif figure dans la dernière colonne. La voie de la régularité exige de montrer que toutes les données initiales admises donnent des solutions lisses pour toujours sans force extérieure. La voie de la rupture autorise un contre-exemple avec une force extérieure.
Ces deux voies ne sont donc pas une affirmation et sa négation exacte. La négation de « tous les écoulements sans force restent lisses » serait de trouver un écoulement sans force qui cesse de l’être. Autoriser une intervention élargit la classe des mouvements dans laquelle on peut chercher un contre-exemple.
Une preuve avec force extérieure ne réfuterait pas, à elle seule, la régularité universelle du cas sans force. Il faudrait un autre argument pour relier les deux résultats. C’est la source possible d’insatisfaction : l’énoncé du prix et la question que nous posons sur le fluide n’ont pas la même portée.
Pourquoi ajouter une force ne rend pas le résultat trivial
L’objection est raisonnable : si l’on peut intervenir sur le fluide, ne provoque-t-on pas artificiellement la rupture ?
On choisit effectivement une intervention, mais on ne peut pas y introduire subrepticement la singularité. Appliquer une force devenant infinie, puis constater que la vitesse explose aussi, ne suffirait pas.
Le mot « lisse » ne résume pas non plus toutes les conditions de Clay. Dans l’espace entier, la force et ses dérivées doivent décroître rapidement dans l’espace et dans le temps ; dans le cadre périodique, il faut une périodicité spatiale et des conditions de décroissance temporelle. La force doit satisfaire les hypothèses même au passage de l’instant supposé de rupture.
Le théorème principal du manuscrit d’OpenAI formule une affirmation précise : pour toute viscosité positive, il construit une évolution qui part du repos, conserve une énergie cinétique bornée et développe des vitesses non bornées. La force est lisse et à support compact dans l’espace et le temps : elle n’agit que dans une région et pendant une période limitées.
L’introduction décrit un tourbillon qui se concentre et accélère. Le défi consiste à équilibrer les termes de l’équation pour que, même si certains croissent sans limite, leur combinaison laisse une force régulière. Les corrections oscillatoires visent à annuler les parties singulières qui apparaîtraient autrement dans cette force.
C’est une description de l’argument présenté, pas une validation de ses étapes. Elle permet cependant de comprendre pourquoi autoriser une force ne transforme pas le problème en exercice facile : la difficulté est de maintenir sa régularité alors que le mouvement la perd.
La question qui reste lorsqu’on écrit f = 0
Une fois compris le rôle de l’intervention, l’étape suivante paraît immédiate : la supprimer.
Dans l’équation, il suffit d’écrire f = 0. Dans la démonstration, cela peut tout changer. La force fait partie de la construction ; l’effacer ne préserve pas automatiquement le comportement obtenu.
La question devient celle-ci : le mouvement initial, évoluant selon Navier–Stokes sans force extérieure, peut-il engendrer une singularité par lui-même ? Un contre-exemple qui nécessite cette force ne tranche pas la question.
Il faut aussi prendre au sérieux l’autre possibilité : le cas sans force pourrait bénéficier d’une protection qui disparaît lorsqu’on autorise des interventions. Un résultat de rupture forcée, considéré isolément, n’exclut pas ce scénario.
Cela ne diminuerait en rien l’importance de l’avancée. Montrer qu’une classe d’évolutions admet des singularités modifierait notre connaissance des équations. Mais la découverte suivante viendrait de la compréhension des parties du mécanisme qui dépendent de la force et de la possibilité de s’en passer, plutôt que de répéter que le problème est résolu.
Une singularité possible ne décrit pas tous les fluides
Démontrer l’existence d’un cas ne dit pas à quelle fréquence il se produit. Une construction peut dépendre de conditions extraordinairement précises. De petites perturbations pourraient détruire son mécanisme ; une large famille de mouvements pourrait le préserver. L’existence seule ne permet pas de choisir entre ces possibilités.
Cela n’implique pas non plus que l’eau réelle atteigne une vitesse infinie. Navier–Stokes est un modèle continu. Passer d’une construction à une affirmation physique exige de vérifier si ses hypothèses restent adaptées aux échelles considérées.
Une autre distinction est utile : perdre la régularité ne signifie pas perdre toute description mathématique. Les solutions faibles expriment les équations par des relations intégrales et admettent moins de régularité. Sous des conditions appropriées, la théorie initiée par Leray fournit des solutions faibles globales.
La rupture d’une solution lisse n’efface pas cette théorie. Elle ouvre des questions sur le prolongement, les conditions d’énergie conservées et l’unicité que l’on peut établir dans la classe de solutions choisie. Toutes les notions de solution faible n’offrent pas les mêmes garanties.
Ce qui oppose OpenAI aux mathématiciens
L’annonce a aussi une histoire humaine qu’il ne faut pas effacer. Dans sa déclaration publique, Buckmaster présente sa collaboration avec Alpöge comme personnelle, bien que celui-ci travaille chez Anthropic, et attribue l’idée de départ à Diego Córdoba et Luis Martínez-Zoroa.
Il affirme que Sébastien Bubeck a demandé d’exclure Alpöge d’une proposition de signature et rapporte des commentaires sur les conséquences pour sa carrière s’il rendait le différend public. Ce sont les affirmations de Buckmaster au sujet de conversations privées. Il demande aussi si ses sessions Codex ont pu alimenter l’entraînement, tout en précisant qu’il ignore si ses données ont été utilisées.
OpenAI reconnaît que des rumeurs sur ces avancées ont motivé son initiative. L’entreprise nie avoir accédé aux travaux avant leur publication, sans exclure que des données désidentifiées issues de l’utilisation de ses produits aient contribué à améliorer ses modèles. Elle affirme que les preuves diffèrent et reconnaît la priorité des chercheurs pour Euler avec force. C’est la position de l’entreprise.
Ces réponses laissent des questions à éclaircir. Le doute sur l’entraînement ne prouve pas une appropriation des résultats ; l’explication du processus technique ne règle pas non plus, à elle seule, les accusations concernant la paternité du travail. La chronologie, l’origine des idées et les conditions proposées aux auteurs nécessitent leurs propres éléments de preuve.
La tension dépasse ce cas : un chercheur peut utiliser les outils d’une entreprise qui cherche aussi à produire des avancées dans son domaine. Une preuve correcte ne réglerait pas cette question de confiance. Un comportement contestable, s’il était établi, ne réfuterait pas non plus l’argument mathématique à lui seul.
Résoudre devrait aussi nous aider à comprendre
Les avancées ne surgissent pas du néant. Dans son explication du 7 septembre, Tao inscrit les travaux d’Alpöge et Buckmaster dans une ligne antérieure de Córdoba et Martínez-Zoroa. Les résultats qu’il commente concernent d’autres équations des fluides : milieux poreux incompressibles, Boussinesq et Euler. Euler exclut la viscosité ; une avancée dans ce cadre ne résout pas automatiquement Navier–Stokes.
Comprendre ce qui se transmet entre ces équations fait partie de la valeur scientifique des preuves. Déterminer le rôle des forces, la stabilité des singularités et ce qui se passe après la perte de régularité en fait également partie.
L’acceptation du résultat suit son propre processus. Avant d’examiner une proposition, les règles de Clay exigent une publication dans un support répondant à ses critères, un délai d’au moins deux ans depuis cette publication et une acceptation générale par la communauté mathématique. Cette procédure est distincte de l’examen, aujourd’hui, de la justesse de l’argument.
Si la démonstration est confirmée, nous aurons appris quelque chose de profond : les conditions admises dans la construction ne suffisent pas à protéger le fluide d’une singularité. La question suivante sera de savoir ce qui produit cette rupture et dans quelle mesure elle dépend de l’intervention extérieure.
Résoudre le problème établit une conclusion. Comprendre la démonstration devrait permettre d’expliquer pourquoi le phénomène se produit et quelle est sa portée. C’est là que commence un travail qu’aucun titre « Navier–Stokes résolu » ne peut déclarer achevé.
Sources
- OpenAI : annonce et réponse sur les travaux concurrents, 8 septembre 2026.
- OpenAI : manuscrit « Finite time blowup for Navier–Stokes ».
- OpenAI : dépôt des formalisations Lean.
- Charles Fefferman / Clay : énoncé officiel et errata.
- Clay : règles des problèmes du millénaire.
- Tristan Buckmaster : déclaration sur les résultats et les échanges avec OpenAI.
- Terence Tao : difficulté de la régularité globale de Navier–Stokes.
- Terence Tao : avancées avec force lisse dans des équations apparentées, 7 septembre 2026.
