OpenAI affirme avoir résolu le problème de Navier-Stokes, une grande énigme mathématique

Une annonce à très haut risque scientifique

OpenAI affirme avoir franchi l’un des sommets des mathématiques contemporaines: le problème d’existence et de régularité de Navier-Stokes [1]. Selon l’entreprise, un système d’IA interne aurait produit une preuve montrant que les équations de Navier-Stokes, qui décrivent le mouvement des fluides, peuvent conduire à une singularité en temps fini dans le cas tridimensionnel incompressible [1].

Autrement dit, la preuve proposée affirme qu’un fluide initialement régulier peut évoluer, sous les équations, vers une situation où la vitesse devient non bornée en un temps fini [1]. Ce type de phénomène est appelé « explosion » ou « blowup ». S’il est confirmé, il constituerait une réponse à l’un des sept Problèmes du millénaire définis en 2000 par le Clay Mathematics Institute, chacun doté d’un prix d’un million de dollars pour une solution validée [4].

L’ampleur de l’annonce dépasse le seul résultat mathématique. OpenAI présente cette avancée comme une démonstration de la puissance de ses systèmes de nouvelle génération. L’entreprise indique que le modèle utilisé est « significativement plus capable » que GPT-6 Astra et qu’il a été déployé au sein d’une architecture multi-agents massive [1]. The Guardian rapporte qu’environ 10 000 agents d’IA ont travaillé sur le problème et que le résultat aurait été atteint en 88 heures, avant 17 heures supplémentaires de vérification avec Lean [3].

La prudence reste toutefois indispensable. OpenAI a publié un article technique et des éléments formalisés, mais la communauté mathématique n’a pas encore eu le temps d’examiner l’ensemble de la construction [6]. À ce stade, la formulation exacte est donc celle-ci: OpenAI affirme avoir résolu Navier-Stokes.

Ce que demande vraiment Navier-Stokes

Les équations de Navier-Stokes servent à modéliser le mouvement des fluides: air, eau, sang, courants océaniques ou encore systèmes météorologiques [1][4]. Elles sont omniprésentes dans la physique appliquée, l’aéronautique, la météorologie et la mécanique des fluides [1]. Leur difficulté profonde vient du fait qu’elles combinent transport, pression, viscosité, incompressibilité et non-linéarité.

Dans la version du Problème du millénaire, la question peut se résumer ainsi: en trois dimensions, des données initiales lisses et physiquement raisonnables donnent-elles toujours naissance à des solutions lisses pour tous les temps, ou les équations peuvent-elles se briser? [1] Une singularité signifierait que le modèle mathématique cesse de rester régulier, par exemple parce qu’une vitesse devient infinie en temps fini [1].

OpenAI affirme avoir établi le second scénario. Sa preuve construirait un fluide partant du repos, soumis à une force extérieure lisse, dont l’énergie cinétique reste finie tandis que la vitesse devient non bornée avant un temps fini [2]. L’entreprise soutient que cela établit les alternatives C et D de la formulation officielle du problème: l’explosion dans l’espace entier et sur le tore périodique [1][2].

Pour rendre l’idée plus intuitive, OpenAI décrit une sorte de vortex: un tourbillon qui spirale vers l’intérieur, s’allonge et concentre progressivement les vitesses dans une région de plus en plus petite [1]. Le défi n’est pas seulement de faire apparaître une explosion. Il faut montrer que la force appliquée reste lisse, que l’énergie demeure finie et que les grands termes des équations s’annulent avec une précision suffisante [1][2].

La preuve revendiquée par OpenAI

OpenAI a publié un document de 166 pages intitulé « Finite Time Blowup for Navier-Stokes » [2]. L’abstract affirme que, pour toute viscosité positive, les auteurs construisent une solution des équations tridimensionnelles incompressibles de Navier-Stokes qui part du repos, développe une vitesse non bornée en temps fini et conserve une énergie cinétique uniformément bornée [2].

Le théorème principal décrit des champs de vitesse et de pression lisses jusqu’au temps singulier, une force extérieure lisse à support compact, une énergie cinétique bornée et une norme de vitesse dont la limite supérieure devient infinie à l’approche de l’instant critique [2]. En termes non techniques, OpenAI revendique une explosion contrôlée par les équations elles-mêmes, et non un artifice consistant à injecter une force déjà singulière [2].

L’entreprise dit également avoir publié une formalisation en Lean [1]. Lean est un assistant de preuve: il permet d’écrire des énoncés mathématiques dans un langage formel et de vérifier mécaniquement certaines chaînes logiques. Une preuve Lean correcte peut réduire l’ambiguïté, mais elle ne remplace pas entièrement le travail d’expertise humaine. Les mathématiciens devront vérifier que l’énoncé formalisé correspond exactement au Problème du millénaire, que la traduction du raisonnement papier vers le code est fidèle et que les dépendances formelles sont acceptables.

C’est pourquoi l’annonce ouvre une période de vérification plutôt qu’elle ne la clôt. Anadolu Agency souligne que la revendication devra être examinée par la communauté mathématique avant que le problème puisse être considéré comme définitivement réglé [6]. Le Washington Post rapporte également que l’article technique publié par OpenAI sera désormais lu de près par des mathématiciens du monde entier [5].

Comment OpenAI dit avoir trouvé le résultat

Selon OpenAI, l’histoire commence avec l’entraînement d’un nouveau modèle interne lancé le 28 août [1]. Le 1er septembre, après avoir entendu des rumeurs selon lesquelles deux Problèmes du millénaire auraient été résolus, l’entreprise dit avoir lancé une évaluation de ce modèle sur les problèmes encore ouverts et sur d’autres questions de premier plan [1].

Pour Navier-Stokes, les agents auraient exploré plusieurs variantes de l’énoncé: des pistes visant à prouver la régularité globale, mais aussi des pistes visant à montrer l’existence d’une explosion [1]. OpenAI explique qu’un problème plus accessible, lié aux équations d’Euler — une version sans viscosité de Navier-Stokes — a d’abord été résolu par les agents [1]. Après ce succès, l’entreprise dit avoir réorienté davantage de ressources vers Navier-Stokes [1].

Le dispositif décrit est massif. OpenAI parle d’environ 10 000 agents travaillant simultanément sur la partie Navier-Stokes [1]. Sur l’ensemble des problèmes tentés, les agents auraient échangé 4,9 millions de messages et produit environ 300 milliards de tokens de sortie [1]. Pour Navier-Stokes seul, l’entreprise revendique 2,7 millions de messages et environ 130 milliards de tokens [1].

Ce détail est important: l’image d’un chatbot donnant soudainement une réponse dans une fenêtre de conversation serait trompeuse. OpenAI décrit plutôt un processus distribué, orchestré, coûteux, fondé sur des groupes d’agents, des outils de lecture, du code, des échanges internes et une consolidation progressive des idées [1]. Moneycontrol rapporte que les dirigeants d’OpenAI ont évoqué des coûts de calcul se chiffrant « en millions de dollars » [7].

D’après OpenAI, les agents sont arrivés au résultat le 5 septembre, environ 88 heures après le lancement des premiers groupes, puis la formalisation et la vérification Lean ont pris 17 heures supplémentaires avec GPT-6 Astra [1].

La controverse sur la priorité

Presque immédiatement, la revendication mathématique a été accompagnée d’une controverse sur le calendrier, la paternité et l’usage d’outils d’IA par des chercheurs extérieurs. OpenAI reconnaît que son effort a commencé après des rumeurs qu’elle dit avoir ensuite reliées au travail de Levent Alpöge, employé d’Anthropic, et de Tristan Buckmaster, professeur de mathématiques à l’université de New York [1].

Buckmaster et Alpöge travaillaient sur des questions proches en dynamique des fluides. OpenAI affirme qu’après avoir terminé sa preuve et sa vérification Lean le 6 septembre, elle les a contactés parce qu’elle pensait qu’ils disposaient eux aussi d’une solution de Navier-Stokes [1]. L’entreprise dit avoir alors appris que leur résultat concernait le problème d’Euler forcé, lié mais distinct du problème complet de Navier-Stokes [1]. OpenAI affirme reconnaître leur priorité sur Euler forcé et les félicite pour cette avancée [1].

Le point sensible est ailleurs: la trajectoire d’OpenAI vers Navier-Stokes a-t-elle été influencée, directement ou indirectement, par des informations sur les travaux de ces chercheurs? The Guardian rapporte que Buckmaster s’est inquiété du fait que des brouillons de travail avaient été placés dans Codex, l’outil de programmation d’OpenAI, ce qui soulevait la question d’un éventuel accès ou usage par les systèmes de l’entreprise [3].

OpenAI nie que ses chercheurs ou ses agents aient vu les travaux du duo avant leur publication publique et affirme qu’aucune donnée utilisateur spécifique n’a été utilisée pour résoudre le problème [1]. Mais l’entreprise ajoute qu’elle ne peut pas exclure qu’une donnée désidentifiée issue de l’usage de ses produits ait contribué à améliorer ses modèles [1]. Axios décrit cette affaire comme un test de confiance pour la science assistée par IA: les chercheurs peuvent-ils utiliser les outils de grands laboratoires privés sans craindre que leurs idées non publiées ne nourrissent ensuite des systèmes concurrents? [8]

Pourquoi l’affaire dépasse les mathématiques

Deux questions avancent désormais en parallèle. La première est strictement mathématique: la preuve est-elle correcte, et correspond-elle bien à la formulation officielle du Problème du millénaire? La seconde est institutionnelle: quelles règles doivent encadrer des entreprises qui vendent des outils aux chercheurs tout en disposant, en interne, de moyens de calcul capables de rivaliser avec eux sur leurs propres sujets?

Sur le plan mathématique, la validation prendra du temps. Une formalisation Lean est un élément important, mais l’acceptation d’un résultat de cette ampleur reste un processus communautaire. Il faut lire l’article, tester les définitions, vérifier les hypothèses, examiner les passages entre intuition physique, analyse fonctionnelle et formalisation. OpenAI précise qu’elle ne compte pas demander le prix d’un million de dollars [1][3].

Sur le plan de l’IA, l’annonce renforce l’idée que les modèles de pointe ne sont plus seulement des assistants de productivité. Ils peuvent devenir des moteurs de recherche de preuves, des collaborateurs scientifiques, voire des concurrents institutionnels pour les chercheurs qui les utilisent. Si le résultat tient, il deviendra l’un des exemples les plus forts d’une contribution directe de l’IA à une question fondamentale.

Cela ne diminue pas l’exploit potentiel. Au contraire, cela rend plus urgente la mise en place de garanties claires: frontières de données, clauses d’opt-out, protections pour les comptes professionnels, auditabilité, traçabilité et règles de crédit scientifique. Navier-Stokes devient ainsi un cas d’école pour la science à l’ère des modèles massifs.

La prochaine étape: vérifier

La suite appartient à la communauté mathématique. Les spécialistes devront lire les 166 pages de preuve, analyser la construction du vortex, contrôler la régularité de la force, examiner la conservation de l’énergie finie et vérifier la correspondance avec les alternatives C et D du problème de Clay [1][2]. D’autres se concentreront sur la formalisation Lean, ses dépendances et sa portée exacte.

Si la preuve est validée, septembre 2026 restera comme un tournant à la fois pour les équations aux dérivées partielles et pour l’intelligence artificielle. Si des erreurs apparaissent, l’épisode n’en restera pas moins révélateur: les systèmes de pointe sont désormais assez proches du front de la recherche pour produire des objets mathématiques que les meilleurs spécialistes doivent prendre au sérieux.

Navier-Stokes symbolisait depuis longtemps l’écart entre des équations extraordinairement utiles en pratique et une compréhension mathématique encore incomplète de leur comportement profond. OpenAI affirme qu’une IA a franchi cet écart. Il revient maintenant aux mathématiciens de dire si le pont tient.

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, une avancée mathématique majeureHindustan 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]On the Navier–Stokes Millennium Prize Problem | OpenAI8 sept. 2026, 00:00 UTC
2. [2]OpenAI claims to have solved maths problem that stumped humans for decades | Mathematics | The Guardian8 sept. 2026, 21:29 UTC
3. [3]What Is Navier-Stokes, the ‘Millennium’ Math Problem OpenAI Claims to Have Solved? - The New York Times8 sept. 2026, 21:20 UTC
4. [4]OpenAI claims solution to one of math’s $1 million Millennium Prize problems8 sept. 2026, 19:15 UTC
5. [5]OpenAI says AI model solved one of mathematics' Millennium Prize Problems8 sept. 2026, 00:00 UTC
6. [6]OpenAI's historic math solution overshadowed by credit controversy8 sept. 2026, 16:41 UTC
7. [7]FINITE TIME BLOWUP FOR NAVIER–STOKES8 sept. 2026, 00:00 UTC
8. [8]OpenAI says AI solved one of math’s hardest problems in 88 hours8 sept. 2026, 19:27 UTC

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