Le 8 septembre 2026, OpenAI a annoncé qu’un essaim d’environ 10 000 agents d’IA avait résolu l’un des problèmes du prix du millénaire, en suspens depuis 90 ans. Pourtant, cette annonce a suscité bien plus de frictions que de réjouissances unanimes. L’Institut de mathématiques Clay (CMI) a immédiatement réagi en rappelant que, conformément à ses statuts, l’évaluation formelle pour le prix d’un million de dollars ne pourra débuter avant 2029 au plus tôt. Une énigme presque séculaire a semblé céder en cinq jours sous la puissance brute du calcul, mais les institutions scientifiques humaines ne sont absolument pas préparées à absorber une telle cadence.
90 ans d’impasse en mécanique des fluides
Le 24 mai 2000, l’Institut de mathématiques Clay dévoilait les sept problèmes du prix du millénaire, assortis chacun d’une prime d’un million de dollars. L’existence et la régularité des solutions des équations de Navier-Stokes en constituent l’un des volets majeurs, pilier de la mécanique classique des milieux continus. Ces équations décrivent les lois microscopiques régissant l’écoulement des fluides et soutiennent l’aérodynamique aéronautique, les modèles météorologiques et l’étude hémodynamique du flux sanguin. En 1934, le mathématicien français Jean Leray démontrait l’existence de « solutions faibles » au sens généralisé. Cependant, la question de savoir si les équations pour un fluide incompressible en trois dimensions peuvent développer des singularités en temps fini — des points où la vitesse et le tourbillon explosent vers l’infini — défiait les mathématiciens depuis neuf décennies. L’obstacle était titanesque : dépourvue d’outils analytiques capables de suivre les distorsions turbulentes extrêmes en trois dimensions, la communauté mathématique avait été contrainte de laisser le problème en suspens.
Figure : Image en fausses couleurs d’un jet turbulent. Les équations de Navier-Stokes décrivent précisément ce mouvement, et la question en suspens était de savoir s’il perd sa régularité en temps fini. Source : Wikimedia Commons / C. Fukushima, J. Westerweel, Université de technologie de Delft
15 millions de dollars de calcul forcent la brèche
Dans son rapport intitulé On the Navier–Stokes Millennium Prize Problem, OpenAI a révélé avoir coordonné environ 10 000 agents d’IA, propulsés par un modèle interne non divulgué, pour mener une exploration concurrente de preuves mathématiques. Lancé le 1er septembre, cet effort d’ingénierie a convergé vers une construction candidate en seulement 88 heures. Dans la foulée, GPT-6 Astra a consacré 17 heures à formaliser et compiler un script de vérification sous l’assistant de preuve Lean.
Au total, le système a échangé 4,9 millions de messages entre agents et produit 300 milliards de tokens. La démonstration sur Navier-Stokes a mobilisé à elle seule 2,7 millions de messages et 130 milliards de tokens. Aux tarifs publics des API, le coût de cette puissance de calcul s’élève à environ 15 millions de dollars. Cette débauche de ressources a profondément métamorphosé la déduction logique : la démonstration mathématique s’est muée en une vaste campagne d’ingénierie intensive.
La conclusion tirée par le modèle est catégorique : un fluide régulier initialement au repos peut bel et bien développer une singularité en temps fini, pourvu qu’il soit soumis à une force extérieure régulière et conserve une énergie totale finie. La solution construite repose sur une structure tourbillonnaire qui s’enroule en spirale vers l’intérieur, s’étire axialement et s’affine indéfiniment — une configuration qu’OpenAI a imagée sous le terme de « spaghetti » dans sa publication.
Si le code généré a compilé sans erreur dans l’environnement Lean, les assistants de preuve interactifs n’attestent que de la validité syntaxique vis-à-vis d’un ensemble d’axiomes formels. Cela ne garantit nullement que la formulation mathématique du théorème soit exempte d’erreur conceptuelle, pas plus que cela n’exclut une faille exploitée dans le noyau même de Lean. Il y a tout juste cinq mois, la communauté des mathématiques formelles avait été ébranlée par des faux positifs résultant d’un bogue dans un cadre d’automatisation. Les machines peuvent proposer des réponses à un rythme fulgurant, mais la validité épistémologique d’une démonstration continue de dépendre de l’examen minutieux de ses fondements logiques par des experts humains.
Figure : Structure tourbillonnaire dans la démonstration : spirale vers l’intérieur, étirement axial, contraction et accélération continues au centre, le tout avec une énergie totale finie. Source : OpenAI
Les querelles de priorité révèlent de nouvelles failles
L’aboutissement de cette recherche a immédiatement été terni par une vive controverse sur la priorité scientifique. Tristan Buckmaster, professeur à l’Université de New York (NYU), et Levent Alpöge, chercheur chez Anthropic, travaillaient depuis plus d’un an sur des constructions analogues de singularités, obtenant le 15 août des résultats préliminaires sur les équations de Boussinesq et d’Euler. Alerté le 3 septembre par des rumeurs insistantes, Buckmaster a pris l’initiative de contacter OpenAI. Trois jours plus tard, lors d’un appel téléphonique visant à proposer un article conjoint, Sébastien Bubeck d’OpenAI a insisté à deux reprises pour évincer Alpöge de la liste des signataires, au seul motif qu’il travaillait pour un concurrent commercial. Cette exigence d’exclusion a frontalement heurté l’éthique fondamentale de la collaboration scientifique.
Buckmaster a rejeté catégoriquement cette condition et a rendu publics leurs échanges. OpenAI a réagi en publiant une déclaration affirmant que son équipe ne s’était mobilisée que le 1er septembre après avoir eu vent des rumeurs, martelant n’avoir jamais eu accès direct aux travaux des deux chercheurs. Le communiqué laissait toutefois planer une zone d’ombre : OpenAI a concédé ne pas pouvoir exclure totalement que des données anonymisées issues des interactions utilisateurs aient pu nourrir les modèles. Qu’une telle télémétrie indirecte ait pu fournir l’étincelle ou non demeure aujourd’hui impossible à réfuter.
La rumeur elle-même est ainsi devenue une vulnérabilité systémique dans la recherche contemporaine. Comme l’a souligné le développeur Simon Willison, le simple fait de savoir qu’un problème a une solution suffit à pousser des laboratoires rivaux à engager des millions de dollars de calcul pour reproduire ou devancer le résultat. La course à la force brute d’inférence ne transforme pas seulement la façon dont on démontre des théorèmes ; elle bouleverse les règles mêmes de l’émulation scientifique.
Un comité délibérément pressé de ne rien précipiter
Face à cette démonstration de force technologique, les institutions académiques ont affiché une retenue glaciale. Dans son annonce officielle du 11 septembre, l’Institut de mathématiques Clay n’a pas mentionné une seule fois le nom d’« OpenAI ». L’institut s’est borné à indiquer que le problème « semblait avoir été résolu » (apparently been settled). Sur Hacker News, les commentaires les plus plébiscités ont relevé que ce modeste adverbe — apparently — portait à lui seul tout le scepticisme et la gravité institutionnelle de la communauté mathématique.
L’annonce a tenu à préciser que la procédure d’évaluation était délibérément lente. Selon le règlement du CMI, tout travail candidat doit obligatoirement être publié dans une revue mathématique à comité de lecture reconnue ; les publications sur site institutionnel privé ou les prépublications sur arXiv sont strictement non recevables. En outre, un délai de carence de deux ans après la parution officielle doit s’écouler avant que le CMI ne réunisse une commission pour lancer l’évaluation formelle. Selon ce calendrier, même si le processus de relecture par les pairs se déroulait sans le moindre accroc, la démonstration ne serait éligible au prix qu’en 2029 au plus tôt.
Cette prudence institutionnelle s’inscrit dans un débat de fond grandissant. Après la lettre ouverte signée par 25 médaillés Fields et relayée par Terence Tao, la controverse dépasse de loin les équations de Navier-Stokes. L’enjeu n’est plus seulement de savoir si un calcul isolé est juste. À l’ère du calcul industriel, il s’agit de déterminer qui est habilité à poser les questions mathématiques et qui détient l’autorité pour proclamer la vérité scientifique. L’IA a peut-être terrassé l’un des problèmes les plus coriaces de la physique théorique en cinq jours, mais la décision d’attribution du prix reste fermement verrouillée dans les rouages délibératifs humains. Ce décalage temporel relève d’un mécanisme d’autodéfense délibéré du monde académique : les vérités produites par les machines doivent attendre que l’entendement humain soit capable de se hisser à leur niveau.
Liens de référence :
- OpenAI On the Navier–Stokes Millennium Prize Problem
- Clay Mathematics Institute Announcement
- Tristan Buckmaster Public Statement
- Hacker News Discussion
- 25 Fields Medalists Open Letter
