OpenAI dit avoir résolu l'un des plus grands problèmes de mathématiques de la planète. On vous explique ce que cela veut dire, et pourquoi le million de dollars n'est pas pour demain.

En bref

  • Un modèle interne d'OpenAI, secondé par environ 10 000 agents d'IA, a produit une démonstration sur le problème de Navier-Stokes, l'une des sept énigmes du prix du millénaire.
  • La preuve dit ceci : un fluide parfaitement régulier peut, en un temps fini, atteindre une vitesse infinie en un point. Les mathématiciens appellent cela une singularité, ou un « blow-up ».
  • Le résultat a été vérifié machine par Lean, un logiciel qui contrôle chaque étape de la logique, pendant 17 heures supplémentaires.
  • OpenAI ne réclame pas le prix : il faudrait publier dans une revue à comité de lecture, attendre deux ans et obtenir l'accord de toute la communauté mathématique.

Le problème, expliqué avec un verre d'eau

Imaginez que vous remuez un verre d'eau, puis que vous lâchez la cuillère. Le tourbillon ralentit, l'eau redevient immobile. Rien d'étonnant : les équations qui décrivent les liquides et les gaz, écrites au XIXe siècle par Navier puis Stokes, prédisent ce comportement depuis deux cents ans. Avec elles, on calcule la météo, on dessine les ailes d'avion et on modélise le sang dans les artères.

Alors où est le problème ? Il est dans la question que personne n'a jamais pu fermer depuis près de 90 ans : est-ce que ces équations restent toujours sages ? Peut-on prouver que, quelles que soient les conditions de départ, la solution ne « casse » jamais ? Ou bien existe-t-il une situation, même bizarre, où l'équation crache une absurdité : une vitesse qui devient infinie en un point, en un temps fini ?

Ce point de rupture porte un nom : une singularité. Physiquement, un fluide réel ne peut pas aller à une vitesse infinie. Donc si les équations produisent ça, cela veut dire qu'elles atteignent leurs limites : le modèle se brise, et il faudrait le remplacer par une description plus fine, goutte par goutte, particule par particule.

Portraits de Claude-Louis Navier et George Gabriel Stokes
Claude-Louis Navier (1785-1836) et George Gabriel Stokes (1819-1903), les deux noms des équations. Portraits : Wikimedia Commons (domaine public / CC BY-SA).

Ce qu'OpenAI affirme avoir démontré exactement

L'énoncé officiel du Clay Mathematics Institute, qui a offert un million de dollars pour chaque solution depuis l'an 2000, ne contient pas un problème mais quatre variantes, appelées A, B, C et D. Deux axes les distinguent.

Le premier : le fluide est-il laissé à lui-même, ou subit-il une force extérieure (un « forçage ») ? Le second : travaille-t-on dans tout l'espace, ou dans une boîte dont on recolle les bords (un espace périodique, le jouet préféré des simulateurs).

La preuve annoncée répond aux variantes C et D : elle exhibe un fluide qu'on entretient avec une force extérieure bien lisse, et dont un tourbillon se resserre, s'étire comme des spaghetti, accélère sans limite en un point, pendant que l'énergie totale, elle, reste finie. Les termes de l'équation (accélération, pression, frottement) grossissent tous, mais se compensent exactement pour laisser une force extérieure parfaitement raisonnable. C'est cette chorégraphie mathématique très précise que le système a trouvée.

Schéma officiel d'OpenAI : tube de vortex avec spirale inward et étirement axial
Le schéma publié par OpenAI : un tube de vortex qui se resserre en spirale vers l'axe (« inward spiral ») et s'étire le long de cet axe (« axial stretching »), en gardant une énergie finie. Source : « On the Navier-Stokes Millennium Prize Problem », openai.com, 8 septembre 2026.

Point crucial pour l'honnêteté : les variantes A et B, celles sans force extérieure, celles où l'on demande si les équations se brisent toutes seules, restent ouvertes. C'est le cœur du problème aux yeux de nombreux experts, et OpenAI ne prétend pas l'avoir touché.

Extrait du PDF officiel du Clay Institute : les énoncés (A), (B), (C), (D) du problème Navier-Stokes
Le texte officiel des quatre énoncés, tel que rédigé par Charles Fefferman pour le Clay Mathematics Institute (2000). Les énoncés (C) et (D) sont les scénarios d'explosion que la preuve revendiquée par OpenAI prétend établir. Source : claymath.org.

Dix mille agents, 88 heures, 130 milliards de tokens

Comment une entreprise en arrive-t-elle là ? OpenAI raconte une course, pas une inspiration. Le 1er septembre, l'équipe entend une rumeur : un concurrent aurait fait avancer un problème du millénaire. Elle décide alors de tester son nouveau modèle interne (plus fort que GPT-6 Astra en mathématiques, selon ses benchmarks) sur tous les grands problèmes ouverts.

Première étape : s'entraîner sur un frère du problème, les équations d'Euler, le modèle « sans frottement » de Navier-Stokes. Environs 100 agents et 50 heures plus tard, l'Euler tombe. Forts de ce résultat, les chercheurs détournent tous les agents vers Navier-Stokes. Au pic, 10 000 agents travaillent en parallèle, répartis en groupes qui explorent des pistes différentes et se partagent leurs découvertes via un outil type Codex. Entre le premier agent lancé et la preuve, il s'écoule 88 heures : 2,7 millions de messages et environ 130 milliards de tokens sur ce seul problème (4,9 millions de messages et 300 milliards au total pour toute la campagne).

La dernière ligne droite est une semaine de marathon : la preuve tombe samedi 5 septembre, la formalisation Lean est achevée dimanche 6 après 17 heures de vérification, l'annonce est publiée mardi 8 septembre avec un manuscrit de 166 pages.

Pourquoi le million devra attendre

Sortir une preuve, même formidable, ne donne aucun droit automatique sur le prix. Les règles du Clay Institute sont claires : le solutionneur doit publier dans une revue de mathématiques à comité de lecture reconnue (« qualifying outlet »), attendre deux ans, et obtenir une acceptation générale par la communauté. Le CMI n'accepte aucune soumission directe. Concrètement, même si tout se passait bien dès demain, le million ne pourrait être examiné qu'en 2028 au plus tôt.

Et OpenAI ne le réclamera pas : l'entreprise dit publier ce résultat pour montrer la vitesse des progrès de ses modèles, pas pour un chèque. Le calcul est d'ailleurs vertigineux : selon la presse spécialisée, le sprint a coûté entre 15 et 22 millions de dollars de calculs (New Scientist cite 15 M$, DataCamp environ 22,5 M$). Un problème du millénaire comme argument marketing, à quelques mois d'une entrée en bourse.

Le vrai juge : Lean

Une preuve de 166 pages, personne ne peut la relire d'un coup d'œil. C'est pourquoi la vérification par Lean compte autant que la découverte. Lean est un assistant de preuve : on lui écrit le raisonnement dans un langage formel, et il contrôle que chaque étape découle logiquement de la précédente. Une preuve acceptée par Lean ne peut pas « faire semblant » d'être juste : si le logiciel la valide, la chaîne logique est solide.

Mais attention à ce que Lean ne dit pas : il ne dit pas si la question posée est bien celle qu'on croyait, ni si l'idée est profonde ou astucieuse, ni si les mathématiciens reconnaîtront le résultat comme une vraie réponse au problème. La vérification machine sécurise la démonstration ; elle ne tranche pas la question du sens. C'est tout l'enjeu de la revue par les humains qui commence.

Terence Tao, considéré comme le plus grand mathématicien vivant, avait averti dès le 5 septembre contre le risque de transformer Navier-Stokes en « post viral sur les réseaux sociaux » vantant une avancée de benchmark, plutôt qu'en progrès réel pour la discipline. Après l'annonce, il a salué le travail de Buckmaster et Alpöge sans apporter de soutien public à la preuve revendiquée par OpenAI.

Une bataille pour la paternité

L'annonce arrive dans un climat électrique. D'après le récit croisé des deux camps, Levent Alpöge (chez Anthropic) et Tristan Buckmaster (NYU) travaillaient depuis environ un an sur des résultats voisins, publiés le 8 septembre. OpenAI affirme ne jamais avoir eu accès à leurs travaux avant cette publication, et indique avoir proposé une annonce conjointe avec reconnaissance de leur antériorité sur leurs résultats. Buckmaster raconte pour sa part des échanges sous pression sur la paternité et la publication.

Chez Kiveclair, notre lecture est simple : sur un sujet aussi neuf, le seul réflexe utile est de retourner aux sources, lire l'énoncé officiel et les préprints, et laisser la communauté trancher. Ce qui est déjà acquis, c'est le fait nouveau en soi : une IA n'assiste plus seulement les chercheurs, elle produit des candidats-preuves que des machines vérifient et que des humains devront juger. La question de fond, elle, reste entière : la preuve d'OpenAI tient-elle face aux mathématiciens, et répond-elle au problème qu'ils se posent depuis 90 ans ? Réponse dans les années qui viennent, pas dans les jours.

À retenir

  • OpenAI revendique une preuve sur les variantes C et D (avec forçage régulier) du problème Navier-Stokes du Clay Institute ; les variantes A et B restent ouvertes.
  • La démonstration a été produite par jusqu'à 10 000 agents IA en 88 heures, puis vérifiée par Lean en 17 heures.
  • Le million de dollars n'est pas gagné : publication en revue, deux ans d'attente et acceptation par la communauté sont obligatoires, et OpenAI dit ne pas vouloir réclamer le prix.
  • L'attribution de la priorité est disputée avec des chercheurs d'Anthropic et de NYU ; aucun arbitre ne s'est encore prononcé.

Sources et pour aller plus loin