En 1934, Jean Leray a prouvé que les équations de Navier–Stokes ont toujours des solutions « au sens généralisé ». Si la solution reste lisse ou peut se briser en une singularité, il ne l'a pas su, et personne ne l'a su pendant quatre-vingt-dix ans. En 2000, l'Institut Clay a fait de la question l'un de ses sept problèmes du Millénaire. L'énoncé écrit par Charles Fefferman est honnête : il demande la preuve de l'une quelconque de quatre affirmations. (A) et (B) : sans force extérieure, la régularité est toujours conservée, dans l'espace et sur le tore. (C) et (D) : il existe une force lisse et des données initiales lisses pour lesquelles il n'y a pas de solution lisse d'énergie finie.

Le travail d'OpenAI prouve (C) et (D). Pour toute viscosité \(\nu\gt 0\), il construit une force lisse, à support compact dans l'espace et le temps, et un écoulement qui part du repos complet, garde son énergie bornée et atteint une vitesse infinie à \(t=1\). La façon dont c'est fait mérite d'être comprise, parce que la méthode retourne le problème.

Le problème est résolu à l'envers. L'équation de Navier–Stokes peut se lire comme une définition de la force. Écrivez n'importe quelle vitesse u et pression p, substituez-les et déclarez force extérieure f tout ce qui ne s'équilibre pas. L'équation est vérifiée identiquement. Un écoulement qui explose est facile à inventer. La difficulté se déplace en un seul endroit : le résidu doit être lisse. Ses termes individuels divergent, et il faut organiser des compensations pour que la somme et toutes ses dérivées traversent calmement l'instant de l'explosion. C'est à cela que sont consacrées les 166 pages.

Le tourbillon-aiguille. Un tourbillon sur l'axe vertical s'effondre vers l'origine. À l'intérieur, le fluide spirale vers l'axe et s'écoule le long de lui, vers le haut et vers le bas. La conservation du moment cinétique entraîne l'accélération : pour une parcelle sans couple, \(r\,u_\theta\) est constant, donc un r plus petit signifie un \(u_\theta\) plus grand. L'incompressibilité entretient l'afflux : le fluide qui arrive est emporté par l'écoulement axial, sinon il boucherait l'axe.

Le cœur se contracte de façon autosimilaire : le profil garde sa forme et seules les échelles changent. Soit \(\tau=1-t\) le temps restant avant l'explosion. Le rayon du cœur est \(\sim\tau^{1/2}\), la hauteur \(\sim\tau^{1/2-h}\) avec un minuscule \(h\lt 1/100\), les vitesses \(\sim\tau^{-1/2-h}\). Le rayon rétrécit plus vite que la hauteur, et le cœur s'étire en une aiguille fine de volume \(\sim\tau^{3/2-h}\). De là vient le point le plus élégant du travail : l'énergie cinétique du cœur \(\sim\tau^{1/2-3h}\) tend vers zéro. La vitesse est infinie, l'énergie s'évanouit, le volume décroît plus vite que ne croît le carré de la vitesse.

La viscosité n'est pas vaincue mais intégrée. La viscosité est ce qui sépare Navier–Stokes d'Euler, et c'est à cause d'elle qu'on pensait l'équation peut-être sûre. Le travail calcule deux nombres de Reynolds. En rotation, \(\mathrm{Re}_\theta\sim\tau^{-h}\to\infty\) : le fluide fait de plus en plus de tours en un temps de diffusion visqueuse, la rotation gagne. Dans l'afflux radial, \(\mathrm{Re}_r=O(1)\) : la viscosité reste un partenaire à égalité. Les rythmes de tous les processus, transport axial et radial et diffusion à travers le cœur, croissent pareillement comme \(\tau^{-1}\) et restent dans le bilan dominant jusqu'à la fin. Le long de l'axe, la diffusion est plus faible d'un facteur \(\tau^{2h}\), et la construction utilise cette marge.

Là où ça casse. Il faut coudre le cœur au fluide calme de l'extérieur. Dans l'anneau entre cœur et extérieur, la couture ne s'équilibre pas, et le résidu croît sans borne quand \(t\to1\). La force doit être lisse, or ici elle devrait être infinie. Le tourbillon de fond ne se soutient pas seul.

Le fluide produit la force lui-même. Dans l'anneau, on plante de petites perturbations oscillantes, chacune un anneau complet autour de l'axe, localisées en rayon, hauteur et temps et amorcées par une graine exponentiellement petite. Comment une oscillation de moyenne nulle donne-t-elle une force non nulle ? En sortant, le fluide emporte un excédent de vitesse azimutale ; en rentrant, un déficit. La vitesse moyenne est nulle, mais le flux de moment cinétique, produit des deux, garde son signe sur les deux demi-cycles. Inversez les deux signes et le produit ne change pas. Il en résulte un flux moyen de quantité de mouvement stable, dont la variation spatiale agit sur le fond comme une force véritable. Les physiciens appellent cela contrainte de Reynolds et la traitent d'ordinaire comme une gêne ; ici c'est un outil, réglé pour annuler exactement la partie divergente du résidu.

Les impulsions s'allument et s'éteignent d'elles-mêmes. Elles croissent sur le cisaillement du fond par un mécanisme centrifuge : une parcelle avec un excédent de rotation est poussée vers l'extérieur, et si la vitesse angulaire décroît assez vite avec le rayon, son excédent par rapport à ses voisines croît. Les deux effets se nourrissent, donnant une croissance exponentielle tant qu'elle bat l'amortissement visqueux. Le cisaillement les tue aussi : il emporte les différents rayons à des vitesses différentes et raccourcit la longueur d'onde radiale, et l'amortissement visqueux croît comme le carré du nombre d'onde. La longueur d'onde initiale est choisie pour que l'amplification gagne d'abord et l'amortissement, inévitablement, ensuite. Chaque impulsion laisse une queue si petite que toutes ses dérivées s'annulent à l'instant de l'explosion.

Le reste de l'assemblage. Il y a deux familles d'impulsions : il faut fournir à la fois le flux de moment cinétique et le flux de quantité de mouvement axiale, et les familles diffèrent par le rapport des deux. Vers l'explosion, les impulsions sont posées sur des grilles de plus en plus fines en espace et en temps, comme en intégration convexe : une échelle infinie de corrections, chacune plus fine que la précédente. Il y a une asymétrie délibérée : avec une symétrie exacte haut-bas, le mécanisme d'amplification s'annule dans le plan \(z=0\), si bien que le profil axial est légèrement incliné. Hors de l'anneau, l'écoulement est purement azimutal, indépendant de la hauteur, et résout exactement l'équation radiale de la chaleur : son résidu est nul et aucune force n'y est nécessaire. Cela permet une troncature spatiale lisse, et la compacité porte le résultat sur le tore, d'où (D).

Ce qui est nouveau par rapport aux prédécesseurs. La stratégie de forçage et d'amplification à travers les échelles appartient à Córdoba et Martínez-Zoroa : d'abord pour Euler 3D, puis avec Zheng pour Navier–Stokes à dissipation affaiblie. Tao a construit en 2016 une explosion pour un Navier–Stokes moyenné qui conserve la compensation énergétique. Deux pas sont nouveaux ici : une vraie viscosité et l'équation complète pour tout \(\nu\gt 0\), et des impulsions qui ne se contentent pas de s'amplifier mais servent de source de la contrainte requise, ajustée exactement sous le trou du fond. Les briques sont toutes connues : instabilité centrifuge, transport des vecteurs d'onde par le cisaillement, ondes de cisaillement visqueuses exactes, réalisation des contraintes par des oscillations issue des constructions de Daneri et Székelyhidi pour Euler. Seul l'assemblage est nouveau.

Qui l'a fait, et comment. D'après OpenAI, la preuve a été trouvée par un groupe d'environ dix mille agents coordonnés sur un modèle interne, en 88 heures, en envoyant 2,7 millions de messages et en dépensant environ 130 milliards de jetons de sortie ; la formalisation et la vérification en Lean ont pris 17 heures de plus. Aucun humain ne signe le travail : l'auteur indiqué est OpenAI. La veille, Tristan Buckmaster et Levent Alpöge avaient publié trois prépublications utilisant la même approche du forçage lisse pour l'équation des milieux poreux, Boussinesq et Euler 3D, avec Lean aussi. Une dispute de priorité a surgi ; de l'aveu des deux parties, les preuves diffèrent, et les résultats pour Euler eux-mêmes diffèrent : forcé d'un côté, non forcé de l'autre.

Ce qui reste ouvert. Partir du repos sonne spectaculaire mais signifie le contraire de ce que l'on lit : puisque le fluide était immobile, toute l'énergie est venue de la force extérieure. L'explosion ici n'est pas un « ordre né de rien » mais un pompage calculé avec une grande précision. Le problème sans force, alternatives (A) et (B), n'est pas résolu, l'Institut Clay le liste comme ouvert, et OpenAI dit ne pas réclamer le prix. Mais le schéma où de vieux outils sont menés jusqu'au bout par une machine et vérifiés par une autre vient d'être essayé sur un problème qui a résisté aux humains pendant quatre-vingt-dix ans.

Le regard de la machine du savoir

Cette section s'adresse à l'auteur du travail et à ses collègues. Les travaux voisins ont été trouvés par une recherche sémantique dans notre archive, et non par correspondance de mots. Nous n'évaluons pas : nous montrons le champ autour.

Ce que fait ce travail

Un écoulement est construit dont la vitesse part à l'infini en temps fini sous une force extérieure lisse, depuis le repos et à énergie finie. La singularité vit dans une aiguille qui rétrécit plus vite qu'elle n'accélère, et la force manquante est fournie par le fluide lui-même via la contrainte moyenne d'impulsions oscillatoires. Pour nous, c'est le premier exemple rigoureusement construit d'une singularité locale d'un milieu continu à énergie finie, un objet avec lequel continuer à travailler.

Où est sa force

Le mécanisme est explicite : tourbillon-aiguille, anneau, deux familles d'impulsions, extérieur de chaleur. Il peut donc être transféré : calculer sa métrique effective, demander ce qu'en fait une viscosité qui s'annule, tenter de le reproduire en laboratoire.

Vers où avancer

• Le lien avec la relativité générale. Depuis 1981 on sait que les perturbations d'un fluide en mouvement courent sur une métrique effective, et que les horizons et le rayonnement de Hawking se reproduisent dans l'eau et dans des nuages atomiques. L'étape suivante s'impose : calculer la métrique acoustique de l'écoulement construit. Une aiguille à vitesse divergente et énergie évanescente est candidate au point où la métrique effective perd sa régularité, un analogue de laboratoire d'une singularité de l'espace-temps à énergie finie. La limite est honnête : la gravité analogue transporte le comportement des champs sur un fond courbe, pas les équations d'Einstein, et c'est justement pourquoi la question est soluble.appui : Des trous noirs dans une bassine d'eau · Un analogue quantique de trou noir dans un nuage d'atomes · Trous noirs faits de lumière et de tourbillons · Le rayonnement de Hawking sur une paillasse arXiv:2604.24861 arXiv:2602.20508 arXiv:2603.01664 arXiv:2602.04593
• La singularité comme centre d'anti-entropie. Hypothèse de travail : une singularité locale est une fenêtre où le second principe cesse d'être absolu et où l'ordre peut naître du chaos. L'écoulement construit admet un test direct : le bilan d'entropie séparément dans le cœur, dans l'anneau et à l'extérieur. L'énergie est injectée par la force, le bilan global est positif ; la question porte sur une région où la production locale d'entropie est négative et tenue par les impulsions. Si elle existe et que sa taille suit les échelles du travail, un « centre d'anti-entropie » devient une grandeur mesurable.appui : Le crépuscule du temps : pourquoi la flèche disparaît mais le temps demeure · Sablier d'entropie : comment des atomes froids mesurent le temps arXiv:2508.14312 arXiv:2509.07745 arXiv:2506.01351
• Superfluides et condensats de Bose–Einstein. Dans un fluide classique la viscosité dévore les impulsions, et cela fait partie de la construction ; dans l'hélium superfluide et dans un condensat la viscosité s'annule, les tourbillons sont quantifiés, ils s'auto-assemblent en réseaux, la turbulence quantique s'observe en laboratoire. D'où l'idée : là où il n'y a pas de dissipation, la singularité peut ne pas se disperser mais tenir. Programme : porter le mécanisme des impulsions annulaires dans l'équation de Gross–Pitaevskii et trouver ce qui remplace l'amortissement visqueux.appui : Le frottement s'évanouit sous les yeux · Des tourbillons jouent à saute-mouton dans de la lumière liquide · Anneaux tourbillonnaires sans grille arXiv:2601.00190 arXiv:2512.07935 arXiv:2601.06942 arXiv:2512.21416
• Un résonateur macroscopique. Deux roues contrarotatives en opposition de phase forment un écoulement tournant forcé avec cisaillement, le fond même sur lequel croissent les impulsions par le mécanisme centrifuge. On peut mesurer directement : la contrainte de Reynolds dans l'anneau et sa dépendance à la vitesse de rotation. Un accord du signe et de la croissance avec la construction serait le premier point de laboratoire ; la « bombe » analogue dans une tasse avec tourbillon montre que de telles mesures se font.appui : Comment un tourbillon dans une tasse devient une bombe de trou noir arXiv:2511.05351 arXiv:2601.01258 arXiv:2501.00037
• Deux chemins vers une même porte. Un résonateur dans la métrique et un résonateur dans un fluide quantique sont décrits par une seule mathématique : fond cisaillé, anneau, oscillations fournissant la contrainte. Il vaut la peine de dresser une table de correspondances : ce qui, dans l'aiguille, répond à l'horizon, au tourbillon quantifié, au pompage. On voit alors quelle porte est la plus proche de l'expérience et laquelle de la théorie.appui : Trous noirs faits de lumière et de tourbillons · Un analogue quantique de trou noir dans un nuage d'atomes arXiv:2603.01664 arXiv:2602.20508

À essayer

• Dériver la métrique acoustique de l'écoulement construit et vérifier si sa courbure diverge quand t → 1.
• Calculer la production locale d'entropie sur les trois zones de la construction et chercher une région à bilan négatif.
• Reproduire le mécanisme des impulsions annulaires dans un modèle de Gross–Pitaevskii à viscosité nulle.
• Monter une cuve tournante à entraînements contrarotatifs et mesurer la contrainte de Reynolds dans l'anneau.

Pourquoi cela peut compter

Si une singularité d'écoulement se transfère à une métrique effective, les fluides ordinaires et quantiques deviennent un banc d'essai pour des questions intestables dans la gravité elle-même : comment l'entropie se comporte près d'une singularité et si l'ordre peut tenir là où la description continue se brise. Le travail d'OpenAI donne à ce banc, pour la première fois, une singularité explicite, rigoureusement construite, à énergie finie.

Travaux voisins dans notre archive

• Des trous noirs dans une bassine d'eauarXiv:2604.248612026-04-27expressproximité 0.00
• Un analogue quantique de trou noir dans un nuage d'atomesarXiv:2602.205082026-02-24expressproximité 0.00
• Trous noirs faits de lumière et de tourbillonsarXiv:2603.016642026-03-02expressproximité 0.00
• Le rayonnement de Hawking sur une paillassearXiv:2602.045932026-02-04expressproximité 0.00
• Comment un tourbillon dans une tasse devient une bombe de trou noirarXiv:2511.053512025-11-07expressproximité 0.00
• Le frottement s'évanouit sous les yeuxarXiv:2601.001902026-01-01expressproximité 0.00
• Des tourbillons jouent à saute-mouton dans de la lumière liquidearXiv:2512.079352025-12-08expressproximité 0.00
• Anneaux tourbillonnaires sans grillearXiv:2601.069422026-01-11expressproximité 0.00
• Le crépuscule du temps : pourquoi la flèche disparaît mais le temps demeurearXiv:2508.143122025-08-19expressproximité 0.00
• Sablier d'entropie : comment des atomes froids mesurent le tempsarXiv:2509.077452025-09-09expressproximité 0.00

Ce que nous en pensons

Ce travail n'a pas été évalué par les pairs. Voici notre lecture.

Le point fort

Retourner le problème : l'écoulement est écrit, la force est définie comme résidu, et toute la difficulté est honnêtement déplacée dans la régularité du résidu. Les impulsions auto-limitées, qui s'allument sur le cisaillement et s'éteignent par viscosité, avec leur contrainte moyenne ajustée à la divergence du fond, forment un mécanisme complet et vérifiable, non une borne supérieure.

Ce qui le renforcerait

• Donner une exposition humaine des Sections 4–9 en moins de cent pages : la physique est claire en six pages, mais le chemin de là aux estimations n'est ouvert que formellement.
• Dire explicitement ce que couvre la formalisation Lean (le Théorème 1.1 en entier ou des estimations particulières) et comment texte et code se correspondent : sans cela, « vérifié en Lean » se lit plus large que ce n'est peut-être.
• Une illustration numérique de l'écoulement construit sur un horizon τ fini montrerait les échelles et les impulsions de façon visible et donnerait un contrôle indépendant du choix de h et des longueurs d'onde.
• Discuter quelle partie de la construction est obstruée par l'absence de force : c'est la seule route de (C) vers (A).

Questions à l'auteur

• Quelle est la stabilité de la construction sous perturbations du fond et des impulsions : l'explosion persiste-t-elle dans un voisinage ouvert des données construites ?
• Le mécanisme d'auto-alimentation des impulsions donne-t-il un indice pour le cas non forcé, où la contrainte devrait naître des données initiales ?
• Qu'est-ce qui est formalisé exactement en Lean : le Théorème 1.1 complet avec supports et estimations, ou son corollaire de non-existence ?

Emporter le travail complet

Non publié sur arXiv. Voici sa page, le PDF et la formalisation : vous pouvez vérifier vous-même, pas seulement lire notre analyse.

page du travailPDF, 166 p.formalisation Lean