Il faut commencer par la formulation exacte, parce que le raccourci « une IA a résolu Navier-Stokes » cache presque tout ce qui rend cette annonce intéressante.

Le 8 septembre, OpenAI a publié une démonstration selon laquelle une solution initialement lisse des équations tridimensionnelles incompressibles de Navier-Stokes peut développer une singularité en temps fini. Le fluide commence au repos, reçoit une force externe qui reste elle-même lisse et conserve une énergie finie pendant que la vitesse devient non bornée.

La société affirme ainsi établir les alternatives C et D de la formulation officielle du Clay Mathematics Institute.

Le 11 septembre, le Clay Institute a répondu avec des mots extraordinairement prudents pour une annonce extraordinairement importante : le problème a « apparemment été réglé ». L'institut n'a pas encore attribué de prix ni définitivement distribué le crédit.

La singularité ressemble à un vortex qui se resserre jusqu'à casser le modèle

Les équations de Navier-Stokes décrivent notamment le mouvement de l'air et de l'eau. Elles interviennent dans l'aérodynamique, la météo ou encore l'étude de l'écoulement sanguin.

Le problème mathématique est moins intuitif : lorsqu'un fluide tridimensionnel commence dans un état parfaitement régulier, les équations garantissent-elles qu'il restera toujours régulier ?

OpenAI répond négativement dans le cadre précis de sa construction avec forçage. Le mécanisme proposé repose sur un vortex qui spiralise vers l'intérieur tout en s'étirant. La région centrale devient de plus en plus petite et les vitesses augmentent jusqu'à diverger en un temps fini.

La difficulté consiste à provoquer cette explosion sans tricher avec une force externe elle-même infinie. Accélération, pression, transport de quantité de mouvement et viscosité deviennent très grands, mais doivent s'équilibrer assez précisément pour que le terme de forçage reste lisse.

Le détail à ne pas perdre : le problème sans force externe reste différent

La construction d'OpenAI utilise explicitement une force externe lisse. Cela ne démontre donc pas qu'un fluide visqueux tridimensionnel non forcé développera spontanément une singularité.

Cette distinction a créé beaucoup de confusion après l'annonce, mais elle n'invalide pas automatiquement la revendication relative au prix du millénaire. La formulation officielle de Charles Fefferman pour le Clay Institute contient quatre alternatives A, B, C et D ; établir C ou D suffit à résoudre le problème tel qu'il est officiellement posé.

La question non forcée reste néanmoins un problème mathématique majeur à part entière.

On peut donc avoir simultanément deux phrases vraies : le résultat revendiqué peut régler le Millennium Prize Problem, et la version la plus intuitive du mystère de la régularité sans forçage peut rester ouverte.

OpenAI n'a pas demandé à un seul modèle de réfléchir très fort

La partie IA de l'expérience est presque aussi spectaculaire que le résultat mathématique.

OpenAI explique avoir lancé le 1er septembre plusieurs groupes d'agents capables de lire un cache du web, d'exécuter du code et de communiquer entre eux. Les groupes recevaient différentes variantes des problèmes du millénaire afin d'explorer simultanément plusieurs voies.

Le groupe qui a fini par produire la construction Navier-Stokes comptait de l'ordre de 10 000 agents concurrents.

Ils ont travaillé environ 88 heures avant d'arriver au résultat annoncé le 5 septembre. GPT-6 Astra a ensuite participé pendant 17 heures supplémentaires à la formalisation et à la vérification dans Lean.

Pour la seule recherche Navier-Stokes, OpenAI annonce environ 2,7 millions de messages entre agents et 130 milliards de tokens de sortie.

Avant Navier-Stokes, les agents ont attaqué Euler

La recherche n'a pas commencé directement avec le résultat final.

OpenAI avait également donné à ses agents des problèmes considérés comme plus accessibles. Près d'une centaine d'entre eux auraient travaillé pendant environ cinquante heures sur un problème de régularité pour les équations d'Euler, qui correspondent grossièrement à la limite sans viscosité.

Après avoir trouvé une construction de singularité pour une version non forcée d'Euler, l'équipe a réalloué davantage d'agents à Navier-Stokes et réinjecté certains résultats intermédiaires dans d'autres groupes.

Codex a servi à consolider et redistribuer les pistes jugées utiles.

Ce n'est donc pas seulement un modèle plus puissant. C'est une architecture de recherche parallèle qui consomme des quantités gigantesques de calcul pour explorer, filtrer et combiner des stratégies.

Lean vérifie la logique, mais ne transforme pas automatiquement l'annonce en verdict académique

OpenAI a publié deux artefacts : une démonstration mathématique rédigée et une formalisation dans Lean.

Lean permet de transformer les différentes étapes d'une preuve en objets vérifiables par un assistant formel. C'est une protection considérable contre certaines erreurs logiques ou étapes implicitement impossibles.

Cela ne remplace pas entièrement l'évaluation mathématique.

La communauté doit encore examiner la manière dont les définitions formelles correspondent à l'énoncé revendiqué, comprendre les idées nouvelles et vérifier ce qui doit être attribué à qui. Le Clay Institute a justement indiqué que ce processus serait volontairement lent.

OpenAI affirme de son côté ne pas avoir l'intention de réclamer le prix d'un million de dollars.

Une bataille de priorité s'est greffée presque immédiatement à la preuve

L'histoire est devenue plus compliquée parce qu'une autre équipe travaillait au même moment sur des problèmes proches.

Le mathématicien Tristan Buckmaster de NYU et Levent Alpöge, employé d'Anthropic, menaient des travaux utilisant eux aussi des outils d'IA. OpenAI dit avoir lancé son offensive sur les problèmes du millénaire après avoir entendu une rumeur selon laquelle deux d'entre eux auraient été résolus.

OpenAI a ensuite appris que cette rumeur concernait les travaux de Buckmaster et Alpöge sur Euler, pas une solution complète identique de Navier-Stokes.

La chronologie a déclenché une dispute publique sur la priorité, les discussions entre les chercheurs et la possibilité que des interactions privées avec des outils d'IA aient influencé les systèmes.

Après enquête interne, OpenAI affirme que les prompts Codex de Buckmaster durant les deux mois précédant l'annonce ne pouvaient pas avoir influencé son modèle, y compris par entraînement. Les chercheurs concernés continuent toutefois de contester certains aspects du comportement et du partage du crédit autour de la course.

Le résultat le plus important pour l'IA n'est peut-être pas Navier-Stokes lui-même

Les problèmes du millénaire ont une valeur symbolique énorme. Ils constituent presque des tests de résistance culturels pour les mathématiques.

Mais le changement technique se trouve peut-être ailleurs : un laboratoire affirme maintenant pouvoir mobiliser des milliers d'agents pendant plusieurs jours sur un problème scientifique ouvert, leur faire construire des pistes, les confronter, réinjecter les idées prometteuses et terminer par une preuve machine-checkable.

Ce procédé coûte extraordinairement cher et n'a pour l'instant rien d'un outil scientifique banal.

Il déplace quand même la frontière. Le modèle n'est plus seulement interrogé sur une démonstration connue dont la réponse existe quelque part dans ses données. Il est utilisé comme composant d'une machine de recherche destinée à produire quelque chose que personne n'avait encore publié.

Le Clay Institute n'a pas encore écrit le mot « résolu » sans précaution.

Le fait qu'il ait écrit « apparemment réglé » est déjà beaucoup.