OpenAI revendique une avancée sur Navier-Stokes, sous réserve

OpenAI a annoncé le 8 septembre avoir obtenu une preuve pour une version forcée des équations de Navier-Stokes, l’un des problèmes du prix du millénaire liés à la mécanique des fluides. L’entreprise dit avoir mobilisé un nouveau modèle interne et environ 10 000 agents IA pour produire un résultat en 88 heures, puis le formaliser en 17 heures. L’annonce compte pour la recherche en mathématiques, mais elle ne règle pas la version non forcée du problème, qui reste le cœur du sujet. Et la séquence a déjà déclenché une querelle de priorité, avec des accusations de récupération de travaux extérieurs [à vérifier].

Une preuve annoncée sur la version forcée, pas sur le Graal complet

Les équations de Navier-Stokes décrivent le mouvement des fluides, qu’il s’agisse d’eau, d’air ou de fumée. Leur difficulté tient à la turbulence : dans certaines configurations, les mathématiciens cherchent à savoir si la solution peut rester régulière ou si elle développe une singularité, c’est-à-dire un point où la vitesse théorique diverge. OpenAI dit avoir établi une singularité en temps fini dans le cadre « forcé », avec une force extérieure lisse et bornée, ce qui correspond aux énoncés C et D du prix du millénaire selon sa présentation.

Cette nuance compte beaucoup. La version non forcée, où le fluide évolue sans poussée extérieure, est celle que beaucoup considèrent comme le vrai défi du problème. Autrement dit, OpenAI ne dit pas avoir fermé le dossier, seulement avoir déplacé une pièce très loin sur l’échiquier. Une pièce lourde, certes, mais pas encore la victoire finale.

10 000 agents, des millions de messages et une logique de force brute

Pour parvenir à ce résultat, OpenAI explique avoir lancé environ 10 000 agents sur le problème, avec 2,7 millions de messages échangés et environ 130 milliards de tokens de sortie. L’entreprise dit avoir trouvé une solution sous forme de vortex en 88 heures, puis l’avoir formalisée dans Lean en 17 heures. Lean est un logiciel de vérification formelle, utilisé pour transformer une démonstration mathématique en objet suffisamment rigoureux pour être contrôlé par machine.

Le tableau donne une idée de l’approche : OpenAI a empilé de la puissance de calcul, de la variété d’essais et une couche de formalisation automatique. Le résultat ne ressemble pas à la découverte éclair du chercheur solitaire au tableau noir. C’est plutôt une démonstration industrielle des capacités actuelles des modèles de raisonnement, avec une addition qui se compte en milliards de tokens. Le compte est vite fait, et il n’est pas minuscule.

Pourquoi la communauté des mathématiques s’agace

La controverse a commencé avant même l’annonce officielle. Quelques heures plus tôt, Tristan Buckmaster, professeur à l’université de New York, et Levent Alpöge, chercheur chez Anthropic, avaient publié une preuve d’une singularité sur une version simplifiée du problème. Buckmaster affirme qu’OpenAI a eu connaissance de leurs travaux et a tenté de les reprendre sans reconnaissance suffisante. OpenAI répond ne pas avoir vu leurs travaux avant leur publication et assure que « no specific user data was accessed in order to solve this problem ».

La société ajoute toutefois qu’elle « cannot rule out that de-identified data derived from their usage of our products helped improve our models » [à vérifier dans la formulation exacte]. C’est là que la gêne monte : en mathématiques, les chercheurs partagent souvent des idées incomplètes en s’appuyant sur une norme de confiance très forte. Voir une entreprise utiliser des ressources massives pour arriver avant les autres, puis rester floue sur l’origine exacte de l’inspiration, passe mal. Le monde des mathématiques aime les preuves ; il digère moins bien les zones grises.

Ce que cette affaire change pour les labos et pour les entreprises

Au fond, l’épisode dit deux choses à la fois. D’un côté, les grands modèles peuvent désormais entrer sur des terrains réputés trop durs pour eux il y a encore peu de temps, y compris en recherche fondamentale. De l’autre, leur montée en puissance pose un problème de gouvernance scientifique : qui a eu l’idée, qui a vu quoi, et à quel moment ? Dans un secteur où la priorité compte autant que la démonstration, la réponse n’est pas qu’une question de réputation.

OpenAI dit ne pas vouloir réclamer le million de dollars prévu par le Clay Mathematics Institute. Le prix n’a, à ce stade, toujours pas été attribué. Reste donc une avancée annoncée, un périmètre étroit mais réel, et une communauté qui regarde autant la démonstration que la manière dont elle a été obtenue.