OpenAI affirme avoir résolu l'un des 7 problèmes du millénaire via l'IA, mais Tristan Buckmaster dénonce un vol de méthode. Analyse d'un séisme scientifique.

Le monde des mathématiques pures vient de subir un choc frontal. Le 8 septembre 2026, OpenAI a annoncé avoir franchi un cap historique en résolvant les équations de Navier-Stokes, l'un des sept problèmes du millénaire définis par le Clay Mathematics Institute. Ce défi, qui porte une prime d'un million de dollars, concerne la description du mouvement des fluides, comme l'air ou l'eau. Jusqu'ici, seule la conjecture de Poincaré avait été résolue, au début des années 2000, par Grigori Perelman.

L'annonce, relayée avec enthousiasme par Sam Altman, suggère que l'intelligence artificielle n'est plus seulement un outil de productivité ou de génération de texte, mais un moteur de découverte scientifique capable de s'attaquer à des énigmes vieilles de deux siècles. Cependant, ce qui devait être un triomphe technologique s'est rapidement transformé en une bataille éthique et juridique.

L'énigme des fluides et l'explosion mathématique

Pour comprendre l'enjeu, il faut plonger dans la nature même des équations de Navier-Stokes. Ces formules décrivent comment un fluide se déplace. Si des solutions existent pour des cas spécifiques, le problème du millénaire porte sur le cas général. La question centrale est de savoir si un écoulement initialement tranquille peut, dans certaines conditions, exploser. En termes mathématiques, cela signifie atteindre une vitesse infinie en un temps fini, un phénomène physiquement impossible dans la réalité, mais dont la preuve théorique manquait.

Selon les informations diffusées par Le Monde, l'IA d'OpenAI aurait démontré que ces équations peuvent effectivement exploser dans certains scénarios. Cette avancée permettrait de mieux comprendre les turbulences et les comportements chaotiques des fluides, avec des applications potentielles immenses dans l'aéronautique ou la météorologie.

Une force de frappe computationnelle colossale

La méthode employée par OpenAI s'éloigne radicalement de l'intuition humaine classique. Sébastien Bubeck, responsable de l'équipe mathématiques, a révélé que le laboratoire a mobilisé un système d'agents IA opérant en parallèle sur un modèle encore plus avancé que Astra, la prochaine génération de l'entreprise. Le processus a été d'une intensité rare : après un premier essai sur une version simplifiée du problème, l'équipe a déployé 10 000 agents simultanément durant un week-end.

Le coût d'une telle opération est vertigineux. Pour aboutir à une preuve de 165 pages, le système a consommé 300 milliards de tokens de sortie. OpenAI estime le coût de ce calcul à environ 22,5 millions de dollars, sur la base des tarifs actuels d'Astra. Pour garantir que le résultat n'était pas une hallucination, la preuve a été formalisée en Lean, un langage de programmation dédié à la vérification rigoureuse des démonstrations mathématiques.

Le clash Buckmaster : accusations de plagiat

L'euphorie a été court-circuitée par la réaction violente de Tristan Buckmaster, mathématicien à l'Université de New York (NYU). Ce dernier affirme que l'entreprise californienne s'est appropriée la route mathématique qu'il avait tracée avec son collègue Levent Alpöge, chercheur chez Anthropic. Buckmaster accuse OpenAI d'avoir précipité sa publication après avoir eu connaissance de leurs avancées.

L'annonce a été ternie par des accusations de conduite inappropriée, Buckmaster soutenant qu'OpenAI a simplement utilisé son travail comme carte routière pour arriver au résultat.

L'aspect le plus controversé réside dans le timing. Sébastien Bubeck a admis en conférence de presse que l'équipe avait décidé de concentrer ses ressources sur Navier-Stokes le 1er septembre, précisément après avoir entendu des rumeurs selon lesquelles deux mathématiciens étaient sur le point de résoudre le problème. Cette admission renforce l'idée d'une course à la prime médiatique plutôt que d'une recherche purement organique.

L'IA face à la rigueur académique

Ce conflit soulève une question fondamentale sur la propriété intellectuelle à l'ère des modèles de langage. Si une IA arrive à une solution en s'appuyant sur des indices, des rumeurs ou des travaux non publiés, peut-on parler de découverte ou de plagiat automatisé ? La communauté scientifique est divisée. D'un côté, la vérification via Lean apporte une preuve technique indiscutable de la validité du résultat. De l'autre, la méthode d'acquisition de la solution interroge sur l'éthique des laboratoires d'IA.

Comme le souligne Numerama, OpenAI ne semble pas réclamer le prix d'un million de dollars, privilégiant le prestige technologique et la démonstration de force de son nouveau modèle. Cette stratégie déplace le curseur du gain financier vers une domination symbolique du champ intellectuel.

Implications pour l'écosystème entrepreneurial français

Pour les chefs d'entreprise et les innovateurs en France, cet événement dépasse le cadre des mathématiques. Il illustre la mutation du travail de recherche et développement. Avec le plan France 2030, la France investit massivement dans l'IA pour maintenir sa souveraineté technologique. L'épisode Navier-Stokes montre que la capacité de calcul (le compute) devient l'avantage compétitif ultime, capable d'écraser des années de recherche humaine en un week-end.

Toutefois, ce cas d'école place les entreprises françaises face aux exigences de l'AI Act européen. La transparence sur les données d'entraînement et les méthodes de résolution devient cruciale. Si les agents IA commencent à être utilisés pour breveter des inventions ou résoudre des problèmes industriels complexes en s'inspirant de travaux tiers, le risque juridique lié à la propriété intellectuelle augmentera. Le tissu industriel français, très présent dans l'ingénierie des fluides et l'aéronautique, devra intégrer ces outils tout en protégeant ses secrets de fabrication contre des systèmes capables de synthétiser des solutions à partir de signaux faibles et de rumeurs sectorielles.

Questions fréquentes

---

Sources: Es, Abc, Ecosistemastartup ·