L'IA d'OpenAI fait plier le casse-tête Navier-Stokes à 1 M$
Tous les articles du blog
L'eau peut casser. Cette réponse tient en trois mots, mais elle a demandé 90 ans aux mathématiciens et quatre jours aux machines d'OpenAI.
Le 8 septembre, l'entreprise a annoncé qu'un système interne a prouvé que les équations de Navier-Stokes peuvent former une singularité en temps fini. En clair : un fluide parfaitement lisse peut, sous la bonne poussée, atteindre une vitesse infinie.
L'usage indiscriminé de l'IA transforme la discipline en un « jeu » de quotas de production dénué de sens.
10 000 agents IA sur Navier-Stokes pendant 88 heures
OpenAI a lancé environ 10 000 agents autonomes sur le problème, propulsés par un modèle non public jugé supérieur à GPT-6 Astra. Après 88 heures, la preuve était là. Dix-sept heures de plus ont suffi pour une vérification formelle en Lean.
Ce détail pèse lourd : une preuve vérifiée par machine laisse très peu de place au doute. En échauffement, une centaine d'agents avait déjà réfuté la régularité des équations d'Euler en 50 heures.
Ce que la preuve Navier-Stokes montre vraiment
Ces équations décrivent les mouvements de l'eau, de l'air ou du sang. Les ingénieurs s'en servent pour concevoir des avions et prévoir la météo, leurs limites dépassent donc largement les salles de séminaire.
Le système a construit un tourbillon qui spirale vers l'intérieur et s'étire comme un spaghetti, jusqu'à l'explosion de la vitesse. Nuance : le fluide subit une force externe régulière, la version sans force reste donc ouverte.
Un million de dollars, une rumeur et une polémique
Un seul des sept problèmes du millénaire était tombé avant, la conjecture de Poincaré, en 2003. OpenAI dit ne pas vouloir le chèque du Clay Mathematics Institute, malgré des millions de dollars de calcul engloutis pour y arriver.
Une course contre les mathématiciens humains ?
Les calculs ont démarré le 1er septembre, juste après des rumeurs de percée chez Levent Alpöge et Tristan Buckmaster. Le médaillé Fields Terence Tao s'inquiète d'une course frénétique, OpenAI jure n'avoir jamais vu leurs travaux non publiés.
Notre avis : le résultat semble historique, le calendrier semble précipité, et les deux sont vrais. Après les déclarations d'AGI autour de GPT-6 Astra, OpenAI veut visiblement marquer son septembre 2026.
OpenAI a-t-il empoché le million du prix Navier-Stokes ?
Non. OpenAI déclare ne pas vouloir réclamer le prix d'un million de dollars du Clay Mathematics Institute, qui exige de toute façon publication et long examen par la communauté.
Le problème de Navier-Stokes est-il totalement résolu ?
La formulation officielle du prix du millénaire est résolue, si la preuve résiste à l'examen. La régularité des fluides sans force externe reste, elle, une question ouverte.