Le tweet d'OpenAI affirmait qu'elle « partage une solution au problème du prix du millénaire de Navier-Stokes », produite par « un groupe d'agents, utilisant un modèle de nouvelle génération d'OpenAI nettement plus capable que GPT-6 Astra » — la première reconnaissance publique qu'un modèle au-delà d'Astra existe déjà en interne. Le billet complet d'OpenAI, publié avec une formalisation Lean 4 publique sur GitHub, est nettement plus précis que ce que le tweet en a retenu — et lire les deux côte à côte est en soi une leçon sur tout ce qui se perd quand un résultat prudent devient un titre.
Ce que le propre billet d'OpenAI établit réellement
Le billet affirme que le résultat résout le problème du prix du millénaire de Navier-Stokes « en établissant l'énoncé « C » (et aussi « D ») dans la formulation officielle du prix du millénaire » — c'est-à-dire l'un des quatre énoncés précis que l'Institut de mathématiques Clay a lui-même définis comme une résolution valable lorsqu'il a nommé le problème en 2000, pas un problème annexe plus facile situé hors du champ réel du prix. Concrètement : un fluide initialement lisse et au repos, soumis à une force externe lisse, développe une singularité en temps fini tandis que son énergie totale reste finie tout du long — établi à la fois pour l'espace entier et pour le cas périodique. Cette correction mérite d'être faite clairement, car elle est plus précise que de traiter « les équations comportaient un terme de forçage » comme automatiquement disqualifiant ; l'énoncé officiel du problème autorise précisément ce type de configuration forcée comme l'une de ses quatre voies légitimes de résolution. Séparément, et comme étape intermédiaire en cours de route, les agents d'OpenAI ont aussi résolu le problème de régularité d'Euler non forcé — la limite non visqueuse de Navier-Stokes, sans aucune force externe — ce qui, selon le propre billet d'OpenAI, a « surpris » les chercheurs menant l'effort.
Ce qu'OpenAI ne revendique pas, c'est l'argent : « Nous n'avons pas l'intention de revendiquer le prix du millénaire pour ce résultat », affirme directement le billet, ajoutant que « ceci n'est pas un aboutissement, mais plutôt un instantané, à un moment donné, des progrès du développement de l'IA ». C'est un cadrage réellement humble, juste à côté d'un tweet accrocheur qui n'en portait rien — et il vaut la peine de noter que le contenu mathématique réel n'a pas encore été examiné indépendamment par le domaine, sans même parler d'être accepté par l'institut Clay, dont les propres règles exigent deux années d'examen public avant qu'un prix ne soit versé, quelle que soit l'exactitude du résultat.
Le processus qui a mené à ce résultat est décrit en détail, et mérite d'être pris au sérieux car il est vérifiable dans ses grandes lignes : l'effort a commencé le 1er septembre après qu'OpenAI a entendu des rumeurs selon lesquelles « deux problèmes du prix du millénaire avaient été résolus », rumeurs qui se sont avérées remonter au propre travail d'Alpöge et de Buckmaster. Les agents d'OpenAI ont été répartis en groupes et incités avec différentes variantes de chaque problème du millénaire ouvert — pour Navier-Stokes spécifiquement, les versions « A » et « B » (qui donneraient une preuve de régularité globale) et « C » et « D » (qui donneraient une réfutation par singularité) ont été assignées à des groupes séparés en parallèle. Un effort annexe de près de 100 agents a passé environ 50 heures à résoudre d'abord le cas d'Euler non forcé ; une fois ce résultat obtenu, OpenAI a réorienté ses ressources spécifiquement vers Navier-Stokes, en fécondant les groupes d'agents entre eux via Codex pour consolider les résultats partiels prometteurs. Le groupe qui a trouvé la résolution de Navier-Stokes a fonctionné avec de l'ordre de 10 000 agents simultanés pendant environ 88 heures, échangeant 2,7 millions de messages et environ 130 milliards de tokens de sortie — avec 17 heures supplémentaires pour la formalisation et la vérification Lean, exécutées via GPT-6 Astra elle-même plutôt que le modèle interne plus capable ayant trouvé la preuve.
La même semaine, en toute transparence : un résultat comparable sans aucune de ces ambiguïtés
Indépendamment, le mathématicien du Courant Institute de NYU Tristan Buckmaster — lui-même lauréat du Clay Research Award — et le chercheur d'Anthropic Levent Alpöge ont publié trois articles démontrant une explosion en temps fini avec forçage lisse pour l'équation du milieu poreux incompressible, le système de Boussinesq bidimensionnel, et les équations d'Euler incompressibles tridimensionnelles, en s'appuyant directement sur un programme de recherche pluriannuel de Diego Córdoba et Luis Martínez-Zoroa. Le duo a divulgué en détail son usage de l'IA : Claude a aidé à identifier et reproduire des éléments clés de la démonstration antérieure de Córdoba-Martínez-Zoroa, et Claude aux côtés du propre Codex d'OpenAI ont aidé à rédiger les manuscrits. Chacun de leurs résultats est publié publiquement et formellement vérifié en Lean. Terence Tao a qualifié ce travail de « réussite remarquable ». Le propre billet d'OpenAI confirme que les deux résultats sont réellement distincts — « nos démonstrations diffèrent significativement, et même les résultats précis démontrés sont différents dans le cas d'Euler (forcé contre non forcé) » — et reconnaît explicitement « leur priorité » sur Euler forcé.
Deux récits d'un même contact, et l'un d'eux passe sous silence la partie qui dérange
Le billet d'OpenAI décrit avoir contacté Buckmaster et Alpöge seulement après avoir achevé son propre travail sur Navier-Stokes et sa vérification Lean le 6 septembre, « pour proposer une publication simultanée de notre résultat et reconnaître leur priorité dans une annonce conjointe », en leur offrant une visibilité sur ses prompts puis, plus tard, sur la preuve elle-même. C'est un récit soigné et cordial — et ce n'est aussi, manifestement, pas le récit que Buckmaster a livré le même jour. La déclaration publique de Buckmaster affirme que Sébastien Bubeck, qui dirige la recherche mathématique d'OpenAI, a fait pression à deux reprises pour qu'Alpöge soit retiré de la liste des auteurs, précisément parce qu'il travaille chez Anthropic, et décrit deux propositions concrètes : soit Buckmaster et Alpöge publient leur résultat sur Euler pendant qu'OpenAI publie son résultat sur Navier-Stokes le lendemain, soit Buckmaster rédige seul le résultat sur Navier-Stokes en créditant un modèle interne d'OpenAI — sans Alpöge du tout. Buckmaster dit avoir refusé les deux et avoir prévenu qu'il rendrait l'affaire publique si OpenAI procédait comme proposé, et raconte s'être fait demander : « Pourquoi voudriez-vous ruiner votre carrière ? », puis s'être fait répondre : « Si vous ne voulez pas que je sois gentil, alors je n'ai pas à être gentil. » Bubeck a par ailleurs qualifié la version de Buckmaster de « fausse et incendiaire » et a déclaré avoir agi « en suivant les normes académiques », sans répondre point par point à ces affirmations précises. Le billet officiel d'OpenAI ne les aborde pas non plus — il décrit une prise de contact courtoise pour « reconnaître la priorité », et n'engage tout simplement jamais la question de la pression, des deux propositions, ou des citations rendues publiques par Buckmaster. Ce silence sur les accusations précises, dans un document par ailleurs assez détaillé pour nommer des décomptes d'heures exacts et des totaux de tokens, mérite d'être relevé en soi.
Le second tweet d'OpenAI se lit toujours comme un démenti préventif
Lu à la lumière de ce contexte, le second message du fil d'OpenAI est plus révélateur qu'il n'y paraît isolément : « Nous (les chercheurs et les agents) n'avons eu accès à aucun de leurs travaux, par quelque moyen que ce soit, avant qu'ils ne les publient — en particulier, aucune donnée utilisateur spécifique n'a été consultée pour résoudre ce problème. Bien que cela soit peu probable, 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. Cependant, nos démonstrations diffèrent significativement. » C'est un démenti précis d'un soupçon précis — une visibilité inappropriée sur les travaux non publiés de Buckmaster et Alpöge — offert spontanément, dans le même souffle que les félicitations. Combiné au récit de Buckmaster sur les pressions concernant la paternité dans les jours précédant la publication de l'un ou l'autre côté, ce démenti se lit moins comme une prudence de routine que comme la réponse d'OpenAI à une question qu'elle s'attendait à se voir poser.
Ce n'est pas le premier problème de crédibilité mathématique d'OpenAI cette année
Ce blog a couvert en détail le précédent épisode : en octobre dernier, un vice-président d'OpenAI avait affirmé sur Twitter que GPT-5 avait « trouvé des solutions à 10 (!) problèmes d'Erdős jusque-là non résolus », ce qui s'est révélé faux — le modèle avait surtout localisé de la littérature déjà existante — et le tweet avait été supprimé après que le mathématicien Thomas Bloom l'ait qualifié de « déformation dramatique ». Le tweet de cette semaine (« une solution au problème du prix du millénaire de Navier-Stokes ») commet la même erreur de compression, en miniature : techniquement défendable une fois qu'on a lu le cadrage prudent du billet complet sur les « énoncés C et D » et sa clause explicite de non-revendication du prix, mais dépouillé de toute cette nuance dans la version que la plupart des gens ont réellement vue. La réponse d'OpenAI à l'embarras d'octobre dernier, notait alors ce blog, consistait à construire visiblement l'habitude de faire cautionner ses affirmations phares par les sceptiques reconnus du domaine avant publication — le médaillé Fields Timothy Gowers sur un résultat de mai, Bloom lui-même sur un lot de dix résultats en juillet. Cet épisode inverse ce schéma : au lieu d'obtenir une caution avant de publier, le propre responsable des mathématiques d'OpenAI est accusé d'avoir fait pression sur un mathématicien pour un arrangement de crédit qui aurait effacé son co-auteur, et le propre récit publié par l'entreprise sur ce contact omet purement et simplement l'accusation plutôt que d'y répondre. La Déclaration de Leyde sur l'IA et les mathématiques — signée par plus d'un millier de mathématiciens dont Tao, et citée par OpenAI elle-même en juillet — met en garde spécifiquement contre les résultats non fiables, l'attribution manquante, et les affirmations exagérées. L'épisode de cette semaine frôle les trois : un résultat pas encore examiné indépendamment, un conflit de paternité vivant que le propre récit d'OpenAI n'aborde pas, et un tweet nettement moins prudent que le billet qui le sous-tend.
À surveiller
- La réponse plus complète promise par Bubeck, et si elle aborde directement les deux propositions et l'échange sur « ruiner votre carrière », ou si elle continue de les contourner comme le fait déjà le propre billet d'OpenAI.
- Un examen mathématique indépendant de la preuve elle-même, pas seulement de la cohérence interne du certificat Lean. Le propre billet d'OpenAI est inhabituellement précis sur l'énoncé officiel Clay visé — la question ouverte est de savoir si des mathématiciens extérieurs confirment que l'argument tient, pas s'il vise la bonne cible.
- La position propre de l'Institut de mathématiques Clay, étant donné qu'OpenAI elle-même ne revendique pas le prix. Deux années d'acceptation publiée sont requises avant toute attribution quoi qu'il arrive, donc rien concernant le million de dollars ne se résoudra rapidement dans un sens ou dans l'autre.
- Si Anthropic commente la façon dont son propre chercheur a été traité. Alpöge est une partie nommée dans un conflit de crédit avec un laboratoire directement rival, et ni le tweet ni le billet officiel d'OpenAI n'abordent la pression précise que lui et Buckmaster décrivent ; le silence ou la réponse d'Anthropic est en soi une donnée.