OpenAI affirme avoir résolu le problème de Navier-Stokes, une percée mathématique majeure

Une annonce qui pourrait changer l’histoire des mathématiques

OpenAI a annoncé ce qui pourrait devenir, si la démonstration est validée, l’une des percées mathématiques majeures du XXIe siècle: une solution proposée au problème d’existence et de régularité de Navier-Stokes, l’un des problèmes du millénaire de l’Institut Clay [1]. L’entreprise affirme que la preuve a été produite par un modèle interne « nettement plus capable » que GPT-6 Astra et montre que les équations décrivant le mouvement des fluides peuvent développer une singularité en temps fini [1].

La précision est essentielle. OpenAI ne dit pas seulement avoir amélioré une simulation numérique de la turbulence, ni trouvé une approximation plus performante pour l’ingénierie des fluides. L’entreprise affirme avoir obtenu une démonstration analytique, accompagnée d’une formalisation en Lean, qui résout la formulation du prix du millénaire en établissant les alternatives de « blowup », c’est-à-dire d’explosion de la solution [1]. Autrement dit, même un mouvement de fluide initialement lisse et d’énergie finie pourrait évoluer vers une rupture mathématique où la vitesse devient non bornée [1].

L’annonce a immédiatement attiré l’attention internationale parce que Navier-Stokes se situe au croisement des mathématiques pures, de la physique et de l’ingénierie. Ces équations décrivent le mouvement de fluides comme l’air, l’eau ou le sang, et interviennent dans des domaines allant de la conception aéronautique aux prévisions météorologiques [1]. Mais depuis des décennies, les mathématiciens ne disposent ni d’une preuve générale que les solutions tridimensionnelles lisses restent toujours lisses, ni d’une preuve qu’elles peuvent effectivement se briser. OpenAI affirme avoir tranché dans le second sens [1].

Ce qu’OpenAI dit avoir démontré

Selon le récit technique publié par OpenAI, la démonstration part d’un fluide initialement au repos, soumis à une force lisse, puis montre qu’une singularité peut se former en temps fini tout en conservant une énergie totale finie [1]. L’entreprise décrit la solution construite comme un vortex qui s’enroule vers l’intérieur et s’étire, avec une région centrale qui se contracte et accélère de façon compatible avec une énergie finie, tout en produisant une vitesse non bornée [1].

OpenAI affirme que ce résultat établit les énoncés « C » et « D » de la formulation de Clay, ce qui reviendrait à résoudre le problème du millénaire de Navier-Stokes en réfutant la régularité globale dans le cadre visé [1]. L’entreprise indique aussi avoir publié à la fois une preuve écrite et une formalisation en Lean, c’est-à-dire une version vérifiable par machine qui peut réduire certaines ambiguïtés dans l’examen d’une démonstration [1].

Les comptes rendus indépendants décrivent le même cœur de l’annonce: OpenAI a publié le 8 septembre 2026 un article technique affirmant qu’un modèle d’IA non diffusé avait résolu le problème après seulement quelques jours d’effort concentré, et des mathématiciens du monde entier devraient désormais l’examiner de près [2]. Cette étape est décisive. Une preuve formalisée est un élément très fort, mais la communauté devra encore vérifier les définitions, les hypothèses, les choix de formalisation et la correspondance exacte avec l’énoncé du prix Clay.

À ce stade, la formulation prudente n’est donc pas simplement « Navier-Stokes est résolu » au sens définitif, mais plutôt: OpenAI affirme avoir produit une solution, avec une preuve formalisée en Lean, qui entre maintenant dans une phase de vérification experte.

Comment la preuve aurait été trouvée

La chronologie fournie par OpenAI est inhabituellement détaillée. L’entreprise explique avoir commencé le 28 août à entraîner un nouveau modèle interne affichant des performances inédites sur ses évaluations, notamment en mathématiques [1]. Le 1er septembre, après avoir entendu des rumeurs selon lesquelles deux problèmes du millénaire auraient été résolus, OpenAI a lancé un effort visant à tester ce modèle sur tous les problèmes du millénaire encore ouverts et sur plusieurs autres questions mathématiques importantes [1].

Le système reposait sur des groupes coordonnés d’agents disposant d’outils, notamment l’exécution de code et l’accès à une version mise en cache d’Internet [1]. OpenAI affirme que l’effort consacré à Navier-Stokes a fini par mobiliser environ 10 000 agents simultanés, avec des groupes affectés à différentes formulations du problème afin que certains explorent la régularité globale tandis que d’autres cherchent une explosion en temps fini [1]. Les agents auraient d’abord obtenu un résultat lié aux équations d’Euler, après quoi OpenAI aurait redirigé ses ressources vers Navier-Stokes [1].

L’entreprise affirme que les agents ont atteint une solution le 5 septembre, environ 88 heures après leur lancement, puis que GPT-6 Astra a consacré 17 heures supplémentaires à la formalisation et à la vérification Lean [1]. Pour le seul travail sur Navier-Stokes, OpenAI dit que ses agents ont échangé 2,7 millions de messages et généré environ 130 milliards de jetons de sortie [1].

L’ampleur de cette mobilisation est devenue une partie centrale de l’affaire. Axios rapporte que les dirigeants d’OpenAI ont évalué le coût de calcul à plusieurs millions de dollars, avec environ 10 000 agents travaillant sur la preuve [5]. WIRED rapporte également que Mark Chen, responsable de la recherche chez OpenAI, a indiqué que le calcul nécessaire avait coûté « des millions de dollars » [3]. Si le résultat est confirmé, il restera donc dans l’histoire non seulement comme un événement mathématique, mais aussi comme l’un des premiers exemples d’application d’une puissance de calcul industrielle à un problème traditionnellement abordé par des chercheurs isolés ou de petites équipes.

Pourquoi l’annonce est contestée

La revendication scientifique est désormais mêlée à une controverse sur la paternité et la confidentialité de la recherche. Tristan Buckmaster, professeur à l’université de New York, et Levent Alpöge, employé d’Anthropic, travaillaient sur des problèmes de dynamique des fluides étroitement liés [5]. OpenAI affirme que son effort a commencé après une rumeur liée à leurs travaux, mais dit avoir appris, après la fin de son propre projet et de la vérification Lean le 6 septembre, que Buckmaster et Alpöge disposaient d’un résultat sur Euler avec forçage, et non d’une solution de Navier-Stokes [1].

Buckmaster a publiquement interrogé la possibilité qu’OpenAI ait été accélérée par la connaissance de leur direction de recherche, notamment parce que ses travaux utilisaient des outils comme Codex [3]. WIRED rapporte que Buckmaster affirme avoir demandé aux dirigeants d’OpenAI si l’entreprise avait consulté les journaux Codex, et qu’on lui aurait répondu que le modèle n’avait pas « cherché dans les données utilisateur », tout en laissant ouverte à ses yeux la question de l’entraînement [3]. Axios rapporte aussi que Buckmaster accuse Sébastien Bubeck, chercheur chez OpenAI, d’avoir proposé un arrangement de signature excluant Alpöge au motif qu’il travaillait chez Anthropic [5].

OpenAI nie avoir utilisé les travaux privés de Buckmaster et Alpöge pour résoudre le problème. Dans son propre billet, l’entreprise affirme que ni ses chercheurs ni ses agents n’ont vu leurs travaux avant leur publication, et qu’aucune « donnée utilisateur spécifique » n’a été consultée pour résoudre Navier-Stokes [1]. Mais OpenAI reconnaît une incertitude plus limitée: tout en jugeant cela improbable, elle ne peut pas exclure que des données désidentifiées issues de l’usage de ses produits aient contribué à améliorer ses modèles [1]. Le Washington Post rapporte la même distinction: OpenAI nie l’accès à des données spécifiques, tout en admettant qu’un effet indirect de données désidentifiées ne peut être totalement exclu [2].

Cette réserve élargit l’affaire au-delà d’une seule démonstration. Elle pose la question de savoir si des chercheurs peuvent utiliser en toute sécurité des outils commerciaux d’IA sur des idées non publiées lorsque le fournisseur de l’outil peut ensuite entraîner des modèles internes plus puissants ou mobiliser d’immenses systèmes agentiques sur les mêmes sujets. En mathématiques, où la priorité, la signature et la filiation exacte des idées comptent énormément, la frontière entre inspiration, influence par entraînement et usage d’un travail privé sera probablement examinée avec une sévérité accrue.

Le prix Clay et la vérification

OpenAI affirme ne pas avoir l’intention de réclamer le prix du millénaire d’un million de dollars [1]. The Guardian rapporte également que les mathématiciens qui résolvent un problème du millénaire peuvent prétendre à une récompense d’un million de dollars, mais qu’OpenAI dit ne pas vouloir la demander [4]. Cela ne supprime pas la nécessité d’une validation. La décision d’un prix ne serait qu’un marqueur institutionnel; le processus le plus important sera l’acceptation ou non de la preuve par les spécialistes des équations aux dérivées partielles.

Le Washington Post rapporte que l’article technique d’OpenAI va maintenant être lu attentivement par des mathématiciens du monde entier [2]. C’est la prochaine étape. Les experts devront déterminer si les hypothèses sur la force lisse, l’énergie finie et la singularité construite correspondent bien à l’énoncé accepté du problème. Ils devront aussi vérifier que la formalisation Lean prouve exactement le théorème revendiqué, et non une proposition subtilement différente.

La vérification formelle change la méthode de travail, mais elle ne remplace pas entièrement le jugement humain. Lean peut certifier qu’un théorème découle de définitions à l’intérieur d’un système formel. Les mathématiciens doivent encore évaluer si ces définitions encodent correctement le problème, si la traduction entre preuve écrite et preuve formelle est fidèle, et si le lien avec la formulation du millénaire est justifié. Si ces contrôles aboutissent, le résultat marquerait un tournant profond à la fois pour la dynamique des fluides et pour la découverte assistée par IA.

Ce que cela changerait si la preuve tient

Si la preuve d’OpenAI résiste à l’examen, les conséquences seront doubles. D’abord, les mathématiques obtiendraient la résolution d’un problème qui a structuré l’analyse et la mécanique des fluides pendant des générations. Une preuve d’explosion en temps fini montrerait que les équations de Navier-Stokes, malgré la viscosité, peuvent mathématiquement se briser sous des conditions lisses [1]. Cela ne rendrait pas inutiles les simulations de fluides du quotidien, mais préciserait les limites d’un des grands modèles continus de la science.

Ensuite, la recherche en IA disposerait d’une démonstration spectaculaire de découverte mathématique automatisée ou semi-automatisée à très grande échelle. OpenAI présente le résultat comme une preuve de l’accélération des modèles de pointe et dit avoir publié ces travaux pour montrer ce dont les systèmes à venir pourraient être capables [1]. L’annonce pèsera donc sur les débats concernant la productivité scientifique, la sûreté des modèles, l’accès à la puissance de calcul et la gouvernance d’IA capables de fonctionner comme de vastes équipes autonomes de chercheurs.

La question non résolue est de savoir si cet épisode marque le début d’une nouvelle ère de recherche ou s’il révèle déjà les tensions de cette ère. La revendication d’OpenAI pourrait devenir une preuve historique, un litige durable de priorité, ou les deux. Ce qui est certain, c’est que l’annonce autour de Navier-Stokes a déplacé le débat: il ne s’agit plus seulement d’imaginer l’IA faisant de la science, mais d’évaluer un cas concret, avec un problème célèbre, une preuve formelle, une chronologie contestée et une communauté mondiale désormais chargée d’en vérifier chaque ligne.

Développements

1. OpenAI affirme que l'IA a résolu le problème du Millennium en 88 heuresfinance.biggo.com · 9 sept. 2026, 00:35 UTC · 9/10
2. OpenAI affirme avoir résolu le problème de Navier-Stokes, un grand mystère mathématiqueHindustan Times · 9 sept. 2026, 00:11 UTC · 10/10
3. Les agents d'OpenAI résolvent le problème du Millennium, gagnant 1 million de dollarsSemafor · 8 sept. 2026, 22:27 UTC · 10/10
4. OpenAI affirme avoir résolu un problème mathématique vieux de plusieurs décenniesThe Guardian · 8 sept. 2026, 21:39 UTC · 10/10
5. OpenAI affirme avoir résolu un problème mathématique vieux de plusieurs décenniesThe Guardian · 8 sept. 2026, 21:30 UTC · 9/10
6. OpenAI affirme avoir résolu le problème de Navier–Stokes; un chercheur soulève des questions sur les donnéesUA.NEWS · 8 sept. 2026, 21:07 UTC · 8/10
7. OpenAI affirme avoir résolu le problème de Navier–Stokes, un chercheur remet en question les donnéesUA.NEWS · 8 sept. 2026, 21:07 UTC · 8/10
8. OpenAI affirme avoir résolu les équations de Navier-Stokes, preuve non divulguéeThe Next Web · 8 sept. 2026, 20:05 UTC · 8/10
9. OpenAI AI Résout un Grand Problème Mathématique en JoursFrance 24 · 8 sept. 2026, 19:57 UTC · 9/10
10. OpenAI affirme avoir résolu Navier-Stokes, un problème mathématique de renomFortune · 8 sept. 2026, 19:52 UTC · 8/10
11. OpenAI revendique une avancée dans le problème mathématique du MillénaireThe Washington Post · 8 sept. 2026, 19:21 UTC · 9/10
12. OpenAI revendique la solution à l’un des problèmes du Millennium Prize de 1 million de dollarsThe Washington Post · 8 sept. 2026, 19:21 UTC · 7/10
13. OpenAI affirme que l'IA a résolu un problème du Millennium PrizeAnadolu Ajansı · 8 sept. 2026, 18:35 UTC · 8/10
14. Le modèle de nouvelle génération d'OpenAI résout le problème de Navier-StokesReddit r/OpenAI RSS · 8 sept. 2026, 18:02 UTC · 10/10
15. OpenAI Résout le problème de Millénaire de Navier-Stokes avec 15 millions de dollars d'IAnewscientist.com · 8 sept. 2026, 18:00 UTC · 10/10
16. L'IA d'OpenAI Résout le Problème du Prix Millénaire de Navier-Stokesqz.com · 8 sept. 2026, 17:48 UTC · 9/10
17. OpenAI AI revendique une avancée dans le problème de Millennium de Navier-Stokesqz.com · 8 sept. 2026, 17:48 UTC · 10/10
18. OpenAI résout un problème du Millennium PrizeReddit r/OpenAI RSS · 8 sept. 2026, 17:31 UTC · 8/10
19. OpenAI affirme avoir résolu le problème du Prix Millennium de Navier–StokesReddit r/OpenAI RSS · 8 sept. 2026, 17:30 UTC · 7/10
20. OpenAI revendique une solution au problème du Millennium Navier–StokesReddit r/OpenAI RSS · 8 sept. 2026, 17:27 UTC · 9/10
21. OpenAI discute du problème du Millennium Navier–StokesOpenAI · 8 sept. 2026, 17:20 UTC · 8/10
22. Qu'est-ce que le problème Mathématique de Navier-Stokes, que OpenAI prétend avoir résolu?The New York Times · 8 sept. 2026, 17:20 UTC · 8/10
23. OpenAI résout un problème du Millennium Prize, une avancée majeure en mathématiquesWSJ · 8 sept. 2026, 17:14 UTC · 9/10
24. OpenAI affirme avoir résolu un problème mathématique du Millennium PrizeWSJ · 8 sept. 2026, 17:14 UTC · 10/10
25. OpenAI affirme avoir résolu un problème du Millennium PrizeHacker News - OpenAI · 8 sept. 2026, 17:11 UTC · 10/10

Sources des dernières 72 heures

1. [1]OpenAI claims solution to one of math’s $1 million Millennium Prize problems8 sept. 2026, 19:15 UTC
2. [2]OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul8 sept. 2026, 19:42 UTC
3. [3]OpenAI claims to have solved maths problem that stumped humans for decades8 sept. 2026, 21:29 UTC
4. [4]OpenAI's historic math solution overshadowed by credit controversy8 sept. 2026, 16:32 UTC
5. [5]On the Navier–Stokes Millennium Prize Problem8 sept. 2026, 00:00 UTC

Article généré par IA à partir d’une recherche web récente, puis conservé comme instantané éditorial daté.