OpenAI affirme que ses agents ont prouvé qu'une version forcée des équations de Navier-Stokes en 3D peut se dégrader en temps fini (une « explosion en temps fini »), et non le cas non forcé, plus difficile et complet, qui bloque les mathématiciens depuis des décennies. Le problème non forcé reste ouvert.
OpenAI ne revendique explicitement pas le prix d'un million de dollars du Clay Institute. Plusieurs médias ont rapporté que c'était parce qu'OpenAI aurait « résolu le mauvais problème ». Nous avons vérifié directement l'énoncé officiel du problème par le Clay Institute : c'est inexact. La véritable raison est presque certainement procédurale : le règlement du Clay Institute exige une publication dans une revue à comité de lecture et deux ans d'acceptation par la communauté avant même d'envisager un prix.
Un conflit de paternité reste non résolu. Le mathématicien de NYU Tristan Buckmaster affirme que le chercheur d'OpenAI Sébastien Bubeck a fait pression sur son collaborateur, Levent Alpöge, employé d'Anthropic, pour qu'il retire son nom d'un article connexe en raison de son employeur. Bubeck dément tout comportement fautif ; OpenAI affirme ne pas pouvoir « exclure » que des données d'usage anonymisées aient indirectement contribué à améliorer ses modèles. Anthropic elle-même n'a fait aucune déclaration.
Aucun mathématicien indépendant n'a encore confirmé avoir lu la preuve complète d'OpenAI. Trois semaines après, cela reste vrai. Le président du Clay Institute a qualifié l'évaluation de « délibérément sans hâte ».
Mise à jour, 1er octobre 2026 : depuis la publication de cette histoire, 25 médaillés Fields (dont Terence Tao) ont publié une déclaration commune critiquant la précipitation des annonces de l'industrie de l'IA en mathématiques, un groupe distinct de mathématiciens a publié une preuve selon laquelle la technique spécifique d'OpenAI ne peut jamais être étendue au problème réel, non forcé, et Bubeck s'est publiquement excusé pour une remarque que Buckmaster qualifie de menace voilée, tout en contestant la version des faits de Buckmaster. Détails ci-dessous.
Ce qu'affirme réellement OpenAI
Selon l'annonce d'OpenAI elle-même, un essaim d'environ 10 000 agents IA fonctionnant en parallèle, faisant tourner un modèle de nouvelle génération que l'entreprise décrit seulement comme « nettement plus performant que GPT-6 Astra », a travaillé du 1er au 5 septembre 2026 environ (soit environ 88 heures) pour produire une preuve montrant qu'une version spécifique et soigneusement construite des équations de Navier-Stokes en 3D peut produire une singularité en temps fini. Environ 17 heures supplémentaires, utilisant spécifiquement GPT-6 Astra, ont produit une formalisation en Lean, une version vérifiable par machine des étapes logiques de la preuve. Les chiffres d'OpenAI eux-mêmes situent cette exécution à environ 2,7 millions de messages d'agents et environ 130 milliards de tokens de sortie ; le commentateur indépendant Simon Willison, à partir de chiffres qui lui ont été communiqués, a estimé le total combiné (incluant probablement les travaux connexes sur les équations d'Euler) plus proche de 300 milliards de tokens, ce qui, selon son calcul, coûterait environ 15 millions de dollars aux tarifs publics de l'API. Aucun de ces deux chiffres n'a été réconcilié publiquement, et OpenAI a seulement déclaré que le coût total se chiffrait en « millions de dollars ».
L'affirmation mathématique précise compte plus que le titre accrocheur. Les équations de Navier-Stokes décrivent le mouvement des fluides, et existent en une version forcée (avec un terme de force extérieure, comme la gravité, agissant sur le fluide) et une version non forcée (sans force extérieure). Le résultat d'OpenAI concerne le cas forcé : il décrit une configuration de conditions initiales lisses et physiquement raisonnables, ainsi qu'une force extérieure lisse, sous laquelle le mouvement du fluide se resserre en un tourbillon de plus en plus rapide et devient non lisse en temps fini, tandis que l'énergie totale du fluide reste bornée tout du long. Le cas non forcé, celui que la plupart des gens imaginent en entendant parler du « problème de Navier-Stokes », reste non résolu.
L'affirmation du « mauvais problème » est elle-même erronée
Plusieurs médias couvrant cette histoire, dont un article de Forkast News, ont présenté la décision d'OpenAI de ne pas revendiquer le prix d'un million de dollars comme la preuve qu'elle avait résolu un problème différent et plus facile, en dehors du cadre fixé par le Clay Institute. Nous sommes allés consulter directement l'énoncé officiel du problème par le Clay Institute, rédigé par le mathématicien de Princeton Charles Fefferman. Il présente quatre formulations distinctes et également valides du problème, étiquetées (A) à (D). Deux d'entre elles, (A) et (B), demandent une preuve que des solutions lisses existent toujours, sans force extérieure. Les deux autres, (C) et (D), autorisent explicitement un terme de force extérieure lisse et demandent l'inverse : une preuve qu'une solution peut se dégrader (un contre-exemple formel à la régularité globale). Une explosion en temps fini forcée, ce qu'OpenAI affirme avoir trouvé, correspond bel et bien au langage clair du cas (C) ou (D), et non à « un problème différent ».
Fefferman's four official problem statements (Clay Mathematics Institute)
---------------------------------------------------------------------
(A) Existence & smoothness on R^3, force = 0 -> prove solutions always exist
(B) Existence & smoothness on the 3D torus, force = 0 -> same, periodic case
(C) Breakdown on R^3, smooth force allowed -> prove a solution CAN break down
(D) Breakdown on the 3D torus, smooth force allowed -> same, periodic case
OpenAI's claim (forced blowup on R^3) matches the shape of (C).Alors pourquoi OpenAI ne revendique-t-elle pas le prix ? L'explication la plus plausible est de loin procédurale, pas mathématique. Selon le règlement actuel du Clay Institute, une solution proposée doit être publiée dans une revue de mathématiques reconnue et à comité de lecture, puis attendre un minimum de deux ans pour recueillir l'acceptation générale de la communauté mathématique, avant même que le comité scientifique consultatif de l'institut n'envisage de réunir un comité d'examen. Une preuve de 165 pages publiée il y a quatre jours, vérifiée en interne par l'entreprise qui l'a produite, n'a tout simplement pas encore franchi cette étape, quelle que soit la valeur des mathématiques sous-jacentes. C'est une histoire sensiblement différente de « a résolu la mauvaise équation », et c'est celle que les sources primaires appuient réellement.
Le conflit de paternité
Les mathématiques ne sont pas la seule controverse. Selon les informations d'Axios, de Fortune et de CNN, Sébastien Bubeck, d'OpenAI, a lancé ce projet le 1er septembre après avoir entendu des rumeurs selon lesquelles deux problèmes de calibre Millénaire auraient déjà été résolus ailleurs. Cette rumeur remontait au mathématicien de NYU Tristan Buckmaster et à Levent Alpöge, employé d'Anthropic travaillant en parallèle à titre personnel, et non dans le cadre d'un projet officiel d'Anthropic. Alpöge a contacté OpenAI dans la nuit du 2 septembre après que le duo eut appris que la nouvelle de leurs travaux non publiés était déjà parvenue à l'entreprise ; Buckmaster a relancé le 3 septembre pour expliquer qu'il s'agissait d'un projet personnel et non d'une initiative officielle d'Anthropic ; la pression extérieure pour aller vite qui a suivi explique en partie pourquoi leur article sur Euler est sorti dans un état brouillon, ce que Buckmaster a plus tard qualifié de « bouillie d'IA » (« AI slop »). Leurs résultats, distincts mais apparentés, portaient sur trois problèmes : l'explosion en temps fini avec forçage lisse pour l'équation du milieu poreux incompressible, le système de Boussinesq, et les équations d'Euler incompressibles en 3D, pour lesquels le propre billet d'OpenAI leur reconnaît explicitement la priorité. Seul le résultat sur le milieu poreux avait atteint arXiv sous forme de prépublication formelle au moment où OpenAI a publié ; les articles sur Boussinesq et Euler existaient sous forme de PDF et d'une preuve vérifiée en Lean sur le site personnel de Buckmaster, leur propre article décrivant ces deux résultats comme « à venir ».
Lors d'un appel le 6 septembre, Bubeck a insisté pour qu'Alpöge soit retiré de la liste des coauteurs, au motif que son affiliation à Anthropic rendait sa participation gênante, en disant apparemment à Buckmaster « Pourquoi voudrais-tu gâcher ta carrière ? », puis, face à son insistance, « Si tu ne veux pas que je sois gentil, alors je n'ai pas à l'être. » Bubeck conteste cette version des faits, qualifiant les accusations de « fausses et incendiaires » et déclarant officiellement : « Nous n'avons pas utilisé leurs prompts ou leurs preuves pour orienter nos modèles ou diriger nos agents. » La déclaration d'OpenAI elle-même à VentureBeat va toutefois plus loin qu'un simple démenti : « Nous ne pouvons pas exclure que des données désidentifiées issues de leur usage de nos produits aient contribué à améliorer nos modèles », tout en maintenant qu'aucune donnée utilisateur spécifique n'a été consultée pour résoudre ce problème précis. La position de Buckmaster lui-même est mesurée : « Je ne sais pas si nos données ont été utilisées. Je n'accuse personne de rien. » Anthropic, en tant qu'entreprise, n'a fait aucune déclaration ; chaque citation attribuée au « camp Anthropic » de ce différend est en réalité Alpöge s'exprimant à titre personnel, décrivant à un moment son propre travail comme « moi et claude en train de s'amuser à bidouiller des trucs au hasard dans notre coin, plutôt que quelque chose d'institutionnel ».
Le 8 septembre, selon TheNextWeb, Bubeck a publié son propre récit sur X, écrivant « Je n'ai jamais demandé que Levent soit retiré de la liste des auteurs de son propre travail », et s'est excusé pour un commentaire précis tenu lors du même appel privé. Comme preuve, il a partagé une capture d'écran d'un message adressé à Alpöge proposant une publication conjointe et coordonnée, écrivant qu'il espérait qu'elle montrait « les meilleures intentions possibles ». Buckmaster a répondu publiquement que le récit de Bubeck déformait toujours ce qui avait réellement été dit. Sam Altman a soutenu Bubeck moins de 30 minutes plus tard, affirmant que toutes les personnes impliquées « ont agi avec intégrité et générosité du début à la fin », et qu'une fois qu'OpenAI avait compris que Buckmaster et Alpöge avaient résolu Euler mais pas Navier-Stokes, l'entreprise leur avait proposé de publier en premier, avait suggéré qu'ils reçoivent le prix, et avait offert à Buckmaster la responsabilité de premier auteur sur une réécriture de la propre preuve d'OpenAI. À l'heure de cette mise à jour, aucun des deux camps n'est revenu sur sa version des faits, et le différend reste non résolu plutôt que réglé.
Ce qui s'est passé depuis : une réprobation de la communauté mathématique, et une nouvelle objection à la preuve elle-même
Trois semaines après l'annonce d'OpenAI, la réponse la plus significative n'est venue d'aucune des deux entreprises : elle est venue de la communauté mathématique dans son ensemble. Le 11 septembre 2026, 25 médaillés Fields, dont Terence Tao, Peter Scholze, Maryna Viazovska et Manjul Bhargava, ont publié une déclaration commune sur le blog de Tao intitulée « A Severe Misalignment of AI in Mathematics », ouverte à de nouvelles signatures. La déclaration ne nomme ni OpenAI ni Anthropic et ne conteste la justesse d'aucune preuve en particulier. Son argument porte sur le processus : les laboratoires d'IA qui courent après des problèmes de référence pour faire la une transforment, selon les mots des signataires, les mathématiques en une « production de masse » d'énoncés vrais ou faux, ce qui évince la compréhension conceptuelle, l'attribution et le contrôle par la communauté sur lesquels le domaine repose réellement. Selon les comptes rendus sur cette déclaration, le groupe a jugé la situation suffisamment urgente pour court-circuiter le processus de rédaction plus consultatif que suivent habituellement ce genre de déclarations.
Par ailleurs, une objection mathématique directe à la construction d'OpenAI a fait surface le 17 septembre (révisée le 29 septembre), lorsque Peter Constantin, Mihaela Ignatova et Vlad Vicol, de Princeton, ont publié un article sur arXiv intitulé « Regularity of asymptotically axisymmetric solutions to the 3D Navier-Stokes equations with analytic forcing ». Leur résultat précis, tel qu'on peut le lire directement dans le résumé de l'article, est plus étroit qu'une réfutation globale : pour toute construction partageant les deux caractéristiques structurelles clés de celle d'OpenAI, ils démontrent que la force extérieure à l'origine de l'explosion « ne peut ni s'annuler identiquement près du point singulier, ni être analytique réelle par rapport aux variables d'espace ». En clair, le terme de forçage d'OpenAI doit rester artificiellement actif et non lisse précisément au point de rupture, ce qui est exactement le trait qu'une force réelle, physiquement présente (la gravité, la pression, tout ce qu'aucun agent extérieur ne vient activer), n'aurait pas. Le mathématicien de l'université de Chicago Luis Silvestre a résumé la conclusion pour Scientific American : « Le problème du Clay Institute est réglé, mais le problème principal des équations de Navier-Stokes ne l'est pas. » Ce n'est pas tant une nouvelle affirmation qu'une version plus tranchée et formellement démontrée du point initial de cet article : l'énoncé littéral du problème par le Clay Institute autorise bien un cas forcé (le résultat d'OpenAI est donc une réponse authentique à une formulation authentique), mais ce nouvel article donne une raison technique concrète pour laquelle la construction ne peut pas être étendue vers la version non forcée et physiquement intuitive à laquelle les mathématiciens s'intéressent réellement. D'autres mathématiciens cités dans le même article, dont Diego Córdoba et Gonzalo Cao-Labora, sont allés plus loin, suggérant avec le recul que l'énoncé du problème par le Clay Institute en 2000 pourrait avoir été une erreur de rédaction pour avoir inclus l'option forcée.
Ce que disent réellement les mathématiciens extérieurs aux deux laboratoires
Il vaut la peine de distinguer les réactions à la *situation* de la vérification des *mathématiques*, car la majorité des commentaires publics relève pour l'instant de la première catégorie. Le président du Clay Mathematics Institute, Martin Bridson, a qualifié cela de « journée passionnante », tout en restant loin d'un véritable aval, déclarant à Nature que l'évaluation sera « délibérément sans hâte » et « absolument rigoureuse ». Fefferman lui-même, l'auteur de l'énoncé officiel du problème, s'est dit « ravi que le problème ait été résolu ». Le reportage de Quanta Magazine souligne la limite réelle d'une formalisation en Lean, quelle que soit la preuve qu'elle vérifie : la vérification cruciale qui doit encore être effectuée par des humains consiste à confirmer que l'énoncé démontré vrai dans Lean est logiquement équivalent à ce que les mathématiciens cherchaient réellement à prouver. Un vérificateur de preuves automatique peut confirmer qu'une chaîne d'étapes logiques est cohérente en elle-même ; il ne peut pas confirmer, à lui seul, que l'énoncé formalisé est bien le théorème qui intéresse tout le monde.
Terence Tao, commentant le volet Buckmaster/Alpöge de l'affaire plutôt que la preuve d'OpenAI directement, a qualifié cela de « réussite remarquable », mais a profité de l'occasion pour soulever une préoccupation plus large : « ce découplage très étrange et sans précédent, rien que cette année, entre obtenir des réponses et obtenir de la compréhension », comparant l'expérience au fait « d'aller voir un film et de passer directement des dix premières minutes aux dix dernières ; techniquement, toutes les intrigues sont résolues, mais l'essentiel de la valeur de l'expérience a été perdu ». Il a également averti qu'une course motivée par des rumeurs pour publier en premier décourage les mathématiciens de partager tôt des résultats partiels prometteurs, à l'opposé de la façon dont le domaine est censé fonctionner. Le théoricien des nombres de Columbia Michael Harris, écrivant sur son blog Silicon Reckoner, s'est montré plus direct sur la conduite des faits, tout en étant explicite sur les limites de ses propres connaissances : « Je n'ai pas vu la preuve d'OpenAI. Je ne sais pas ce qu'a fait leur modèle, ni comment », avant de qualifier les dépenses de calcul annoncées de « dégradantes pour les mathématiques ». Au moment de la publication, nous n'avons trouvé aucun mathématicien, d'un côté ou de l'autre du différend ou en dehors, ayant déclaré avoir personnellement lu et vérifié l'intégralité des 165 pages de la preuve d'OpenAI.
Pourquoi cela compte si vous utilisez l'IA pour la recherche
Vous ne prouvez probablement pas des problèmes du prix du Millénaire avec Gemini Notebook ou NotebookLM. Mais le schéma observé ici mérite d'être reconnu à toute échelle : un résultat d'IA confiant, bien mis en forme, et même formellement vérifié, n'équivaut pas à un résultat vérifié de façon indépendante. La formalisation en Lean est un outil réellement utile, et c'est une forme d'autovérification plus solide que ce que reçoit la plupart du contenu généré par IA. Cela ne remplace toujours pas la relecture par des pairs, et cela ne peut pas détecter un décalage entre ce qui a été formalisé et ce qui était réellement visé. La même prudence s'applique aux citations et résumés qu'un outil de recherche tire de vos propres documents sources : vérifiez l'affirmation précise par rapport à la source primaire avant de vous appuyer dessus, tout comme cette histoire elle-même attend encore que quelqu'un le fasse.
Questions fréquentes
OpenAI a-t-elle résolu le problème du prix du Millénaire de Navier-Stokes ?
Les agents d'OpenAI ont produit une preuve pour une version forcée des équations de Navier-Stokes en 3D, montrant une configuration spécifique où un écoulement lisse se dégrade en temps fini. La version non forcée du problème, plus difficile et plus couramment citée, reste non résolue. Au moment de la rédaction, aucun mathématicien extérieur à OpenAI n'a publiquement confirmé avoir lu et vérifié la preuve complète.
Pourquoi OpenAI ne revendique-t-elle pas le prix d'un million de dollars ?
OpenAI ne l'a pas dit explicitement, mais le règlement du Clay Mathematics Institute exige qu'une solution proposée soit publiée dans une revue à comité de lecture et résiste à au moins deux ans d'examen par la communauté avant même qu'un quelconque examen du prix ne commence. Une preuve vieille de quatre jours, vérifiée en interne, ne peut tout simplement pas encore avoir franchi cette étape, indépendamment de la solidité que les mathématiques finiront par démontrer.
Est-il vrai qu'OpenAI a résolu « le mauvais problème » ?
Non. L'énoncé officiel du problème par le Clay Institute (rédigé par Charles Fefferman) inclut explicitement des formulations qui autorisent une force extérieure et demandent une dégradation ou un contre-exemple, ce qui correspond à la nature de l'affirmation d'OpenAI. Les articles décrivant cela comme un problème sans rapport ou invalide interprètent mal le règlement réel.
En quoi consiste le différend avec Anthropic ?
Le mathématicien de NYU Tristan Buckmaster affirme que Sébastien Bubeck, d'OpenAI, a fait pression sur son collaborateur Levent Alpöge, employé d'Anthropic travaillant à titre personnel et non dans le cadre d'un projet officiel d'Anthropic, pour qu'il retire son nom d'un article connexe en raison de son employeur. Bubeck dément tout comportement fautif. Anthropic, en tant qu'entreprise, n'a fait aucune déclaration publique.
Quelqu'un a-t-il vérifié la preuve d'OpenAI de façon indépendante ?
Pas au moment de la publication de cet article. Tous les mathématiciens cités publiquement jusqu'ici, y compris le président du Clay Institute lui-même, réagissent à la situation plutôt que de confirmer avoir personnellement lu et vérifié l'intégralité du document de 165 pages.
A-t-on identifié un problème dans la preuve d'OpenAI ?
Oui, mais pas une erreur dans les mathématiques elles-mêmes. Un groupe distinct de mathématiciens a publié une preuve sur arXiv à la mi-septembre montrant que la technique d'explosion forcée d'OpenAI ne peut jamais être étendue pour dire quoi que ce soit sur le véritable problème de Navier-Stokes non forcé. Le mathématicien de l'université de Chicago Luis Silvestre l'a résumé ainsi : la version étroite et forcée du problème du Clay Institute est réglée, mais le problème plus difficile qui intéresse réellement les mathématiciens ne l'est pas.
Qu'ont dit les médaillés Fields à ce sujet ?
Le 11 septembre 2026, 25 médaillés Fields, dont Terence Tao, ont publié une déclaration commune critiquant la tendance plus large des laboratoires d'IA à se précipiter pour revendiquer des problèmes mathématiques de référence, affirmant que cela évince le processus de compréhension conceptuelle et d'attribution dont dépendent les mathématiques. La déclaration ne nomme pas spécifiquement OpenAI ou Anthropic et ne conteste la justesse d'aucune preuve.