Un fluide, une singularité, et un siècle d'échecs
Imaginez un tourbillon d'eau qui se resserre sur lui-même, de plus en plus vite, jusqu'à ce que la vitesse du fluide devienne... infinie. C'est, en substance, la question que posent les équations de Navier-Stokes depuis 1822 : peut-on, dans certaines conditions, forcer un fluide visqueux à développer une telle singularité ? Ou la physique l'interdit-elle toujours ? La réponse à cette question vaut un million de dollars — le prix du Clay Mathematics Institute, qui a inscrit le problème sur sa liste des sept grands défis du millénaire en 2000. Depuis, les mathématiciens tournent autour sans parvenir à trancher.
Le 9 septembre 2026, OpenAI a annoncé avoir tranché. Pas un mathématicien seul dans son bureau, pas une équipe de dix chercheurs sur dix ans. Dix mille agents d'intelligence artificielle, travaillant en parallèle pendant quatre-vingt-huit heures, auraient construit une preuve de 166 pages démontrant qu'une telle singularité peut exister. Comme le rapporte Phys.org, la revendication a immédiatement déclenché une controverse sur la paternité de la découverte. Ce qui devait être un triomphe est devenu une bataille.
Qu'est-ce qu'une singularité de Navier-Stokes, exactement ?
Avant d'entrer dans la mêlée, un point de vocabulaire s'impose. Les équations de Navier-Stokes décrivent le mouvement de tout fluide visqueux — l'air, l'eau, le sang dans vos artères. Elles sont au cœur de la météorologie, de l'aéronautique, de la simulation climatique. Le problème Clay, tel que Charles Fefferman l'a formulé dans le texte officiel, pose une question précise : existe-t-il des conditions initiales lisses (sans irrégularité) et une force extérieure lisse pour lesquelles la vitesse du fluide devient non bornée en temps fini ?
Ce que le manuscrit d'OpenAI, intitulé Finite time blowup for Navier–Stokes, affirme avoir prouvé correspond aux alternatives C et D de la formulation Clay : la construction explicite d'un fluide tridimensionnel, partant du repos, soumis à une force externe lisse, dont la vitesse explose en temps fini — au temps t = 1, selon le théorème 1.1 du manuscrit. Et cela, pour tout coefficient de viscosité positif, aussi petit soit-il.
Pensez à une tornade qui se referme sur son propre axe — spirale vers le centre. Le cœur du tourbillon se contracte radialement plus vite qu'il ne s'étire verticalement. Résultat : l'énergie totale reste bornée (rien d'impossible physiquement), mais la vitesse au cœur monte sans limite. Comme l'a décrit Terence Tao sur son blog, la stratégie consiste à « construire itérativement la solution en étapes », chaque échelle préparant l'amplification de la suivante.
10 000 agents, 130 milliards de tokens — et une dispute
La machinerie déployée par OpenAI donne le vertige d'une autre façon. Selon le communiqué officiel d'OpenAI, l'effort a mobilisé environ 10 000 agents concurrents, généré 2,7 millions de messages et environ 130 milliards de tokens de sortie pour la seule partie Navier-Stokes. Le modèle utilisé — interne, non disponible pour les clients ChatGPT — avait commencé à être entraîné le 28 août 2026. Les agents avaient accès à une version mise en cache d'Internet et pouvaient exécuter du code. La formalisation de la preuve dans Lean, un assistant de preuve qui vérifie mécaniquement chaque étape logique, aurait pris 17 heures supplémentaires.
C'est là que la controverse commence. Tristan Buckmaster, professeur de mathématiques à l'Université de New York, et son collaborateur Levent Alpöge travaillaient depuis l'été sur des résultats très proches. Dans une déclaration publique, Buckmaster précise avoir obtenu des progrès majeurs le 15 août 2026 et avoir vérifié son résultat dans Lean le 22 août — soit deux semaines avant qu'OpenAI ne lance son propre effort, le 1er septembre. Il rapporte avoir utilisé plusieurs outils d'IA, dont Codex avec un modèle interne OpenAI, pour relire et auditer son travail. La question qui empoisonne tout : ces interactions ont-elles pu, indirectement, alimenter l'entraînement ou les prompts du système qui a ensuite produit la preuve d'OpenAI ?
Buckmaster est explicite sur ce qu'il ne sait pas : « Je ne sais pas ce qu'a fait leur modèle, ni comment. Je ne sais pas si nos données ont été utilisées. Je n'accuse personne de rien. » Mais il conteste la chronologie et la manière dont OpenAI a géré l'annonce. OpenAI, de son côté, affirme dans son communiqué ne pas avoir consulté les travaux de Buckmaster et Alpöge avant leur publication publique, et soutient qu'une enquête interne a conclu que les prompts Codex de Buckmaster n'ont pas pu influencer le système.
Derrière les deux protagonistes principaux, il y a une généalogie mathématique que le journal El País a mis en lumière : Diego Córdoba et Luis Martínez-Zoroa, deux mathématiciens espagnols, développent depuis 2023 la méthode de cascade de vorticité qui est au cœur du mécanisme de blow-up. Córdoba, selon El País, n'a été prévenu ni par OpenAI ni par Buckmaster avant l'annonce. Sa réaction : « Je suis encore sous le choc, à vrai dire. » Martínez-Zoroa, lui, confie ne pas encore avoir digéré les 166 pages du manuscrit au moment de l'entretien.
La preuve vérifiée n'est pas encore une preuve acceptée
Lean a vérifié la preuve. Mais qu'est-ce que cela signifie, exactement ? Comme l'explique la documentation officielle de Lean, le logiciel repose sur un petit noyau de confiance qui vérifie des termes de preuve formels. Si la chaîne logique est correcte, Lean l'accepte. Mais il reste une question que Lean ne peut pas trancher seul : l'énoncé formalisé correspond-il exactement au problème mathématique qu'on prétend avoir résolu ? C'est une traduction, et toute traduction peut trahir.
La communauté mathématique doit encore lire, vérifier, débattre. Le Clay Mathematics Institute n'a attribué aucun prix — et selon VentureBeat, la reconnaissance exige une publication qualifiante, un délai d'au moins deux ans et une acceptation générale par la communauté. OpenAI a d'ailleurs annoncé ne pas avoir l'intention de réclamer le prix. Un geste d'humilité, ou un aveu que la route est encore longue ?
Ce qui est certain, c'est que la question de la paternité dans la recherche assistée par IA n'a pas de réponse simple. Quand un modèle a été entraîné sur des milliards de textes mathématiques, quand des chercheurs utilisent ces outils pour explorer des pistes, quand des agents lisent une version mise en cache d'Internet — où commence l'idée originale, et où finit la synthèse ? Les mathématiques ont toujours fonctionné par accumulation, chaque preuve s'appuyant sur les épaules de celles qui précèdent. Mais le rythme et l'opacité ont changé d'échelle.
Pour un étudiant qui envisage une carrière en mathématiques fondamentales, l'événement pose une question inconfortable : si 10 000 agents peuvent, en 88 heures, produire 166 pages de preuve sur l'un des problèmes les plus durs du siècle, quel est le rôle d'une vie entière consacrée à un seul problème ? La réponse de Córdoba et Martínez-Zoroa est peut-être la plus honnête : sans l'idée mathématique de fond, développée patiemment depuis 2023, les agents n'auraient rien eu à amplifier.
Concepts à emporter
Ce que dit vraiment le problème Clay — et ce qu'OpenAI affirme avoir prouvé
Le texte officiel de Fefferman distingue quatre voies possibles, notées A, B, C et D. Les alternatives A et B demandent de prouver l'existence et la régularité globale des solutions — autrement dit, de montrer que les fluides restent toujours « sages ». Les alternatives C et D demandent l'inverse : exhiber explicitement des données initiales et une force externe lisses pour lesquelles une solution physiquement raisonnable cesse d'exister en temps fini.
La différence entre C et D est géométrique : C porte sur l'espace entier R³, D sur le tore T³ (un espace périodique, mathématiquement plus commode). Le manuscrit OpenAI affirme établir les deux. La condition de « solution physiquement raisonnable » se traduit techniquement par une énergie cinétique uniformément bornée — ce qui exclut les solutions pathologiques qui exploseraient d'emblée. C'est précisément le tour de force du mécanisme de vortex : l'énergie totale reste bornée parce que la zone de forte vitesse se contracte assez vite pour que l'intégrale reste finie, même quand le maximum de la vitesse part à l'infini.
