Compare

Body

> Le 8 septembre 2026, OpenAI a publié une preuve analytique et une formalisation Lean affirmant qu’un fluide initialement lisse peut développer une singularité en temps fini sous les équations de Navier-Stokes, après environ 88 heures de travail par quelque 10 000 agents, au milieu d’une polémique de priorité avec des mathématiciens humains.  *9 septembre 2026 — The AI Desk* Le **8 septembre 2026**, OpenAI a annoncé avoir produit, via un système interne d’agents, une solution au problème d’**existence et de régularité de Navier-Stokes**, l’un des sept **problèmes du millénaire** posés en 2000 par le **Clay Mathematics Institute**. Selon la publication de recherche de l’entreprise, la preuve montre qu’un fluide tridimensionnel incompressible, partant d’un état lisse au repos, peut développer une **singularité en temps fini** sous une force externe lisse, tout en conservant une énergie finie. L’annonce **OpenAI Navier-Stokes** place pour la première fois, selon Nature, un véritable problème ouvert majeur des mathématiques sous le signe d’une résolution revendiquée par ordinateur. La séquence est brutale par sa durée. OpenAI dit avoir lancé l’effort le **1er septembre**, après des rumeurs selon lesquelles des problèmes du millénaire auraient été résolus ailleurs. Les agents auraient abouti le **5 septembre**, environ **88 heures** après le démarrage, puis **GPT-6 Astra** aurait formalisé et vérifié la preuve en Lean en **17 heures** supplémentaires. Mark Chen, responsable de la recherche, a qualifié le résultat d’« étape significative », tout en chiffrant le calcul à « des millions de dollars ». Sam Altman a précisé que le laboratoire voulait savoir si « l’un des nôtres » pouvait aussi y arriver après avoir entendu parler de progrès liés à Anthropic. ## Ce qu’OpenAI dit concrètement sur OpenAI Navier-Stokes Les équations de **Navier-Stokes**, héritées des travaux de Claude-Louis Navier et de George Gabriel Stokes au XIXe siècle, décrivent le mouvement des fluides comme un milieu continu. Elles servent à la conception d’avions, à la météo et à l’étude du sang. La question ouverte est de savoir si cette approximation continue peut **exploser** mathématiquement. Autrement dit, si la vitesse peut croître sans borne en un temps fini, malgré la viscosité qui tend à lisser le mouvement. Une telle singularité marquerait une limite du modèle, car un fluide réel ne peut pas atteindre une vitesse infinie. OpenAI affirme avoir établi les énoncés **« C »** et **« D »** de la formulation officielle du Clay Institute. La solution décrite est un **vortex** qui s’enroule vers l’intérieur et s’allonge « comme des spaghettis », avec une région centrale qui rétrécit tout en accélérant. La difficulté technique, écrit l’entreprise, est que l’explosion doit naître du mouvement du fluide lui-même, et non d’une force infinie introduite à la main. Les termes d’accélération, de pression, de transfert de quantité de mouvement et de viscosité doivent devenir grands tout en se compensant de façon précise, de sorte qu’une force externe reste lisse même quand la vitesse diverge. Deux nuances comptent pour le lecteur qui cherche **OpenAI Navier-Stokes**. Premièrement, la preuve publiée porte sur un régime avec **force externe lisse** (version forcée), pas sur les équations « nues » sans forçage. Numerama rappelle que savoir si une explosion obtenue avec force extérieure « compte » pour le prix du millénaire fait partie du débat. Deuxièmement, OpenAI écrit explicitement qu’elle **n’entend pas réclamer le prix** d’un million de dollars. Martin Bridson, président du Clay Mathematics Institute, a salué « une journée enthousiasmante », tout en rappelant que l’évaluation est « volontairement sans hâte », avec publication en revue, acceptation par la communauté, puis un délai d’au moins **deux ans**. ## Comment 10 000 agents ont produit la preuve Le modèle utilisé, toujours en entraînement selon OpenAI, serait « significativement plus capable » que **GPT-6 Astra**, lancé moins d’une semaine plus tôt. L’effort a mobilisé un système d’agents coordonnés, avec accès à une version mise en cache du web et à l’exécution de code, répartis en groupes de tailles variables. Le groupe qui a trouvé la résolution Navier-Stokes comptait de l’ordre de **10 000 agents** concurrents, sous les mêmes garde-fous de monitoring et d’isolement que les autres évaluations de frontier. Avant le plein régime, environ **1 000 agents** auraient d’abord résolu en **50 heures** une version « plus facile » liée aux **équations d’Euler** (Navier-Stokes sans viscosité), dans le cas non forcé. Ce succès a convaincu le laboratoire de concentrer les ressources sur Navier-Stokes. Les agents ont croisé leurs pistes, y compris via Codex pour consolider les idées utiles. Sur le seul problème Navier-Stokes, OpenAI annonce environ **2,7 millions** de messages et **130 milliards** de tokens de sortie. Tous problèmes confondus, le total monterait à **4,9 millions** de messages et près de **300 milliards** de tokens. Ven Chandrasekaran a résumé, lors du point presse rapporté par Nature, l’enjeu physique. La preuve montrerait qu’il existe des fluides qui « commencent parfaitement normaux » et atteignent pourtant « une vitesse infinie en un temps fini » sous Navier-Stokes. Parce qu’un fluide réel ne peut pas se comporter ainsi, cela suggère que, dans certains régimes, les équations cessent d’être un miroir fiable de la réalité physique. Sébastien Bubeck a parlé d’une « culmination spectaculaire » de douze mois d’accélération des modèles sur des problèmes de complexité croissante. ## La polémique de priorité autour d’OpenAI Navier-Stokes Quelques heures avant l’annonce, le mathématicien **Tristan Buckmaster** (NYU) et **Levent Alpöge** (Anthropic) ont rendu publics leurs propres résultats, obtenus avec l’aide de Claude, Codex et Astra. Ils décrivent notamment une explosion pour les équations d’Euler dans un cadre forcé, et disent disposer aussi d’avancées vers le cas plus général. **Anima Anandkumar** (Caltech) et ses collaborateurs ont également publié, le même jour, une solution du problème à viscosité nulle via un réseau de neurones informé par la physique, et non via un grand modèle de langage généraliste. Buckmaster a publié une longue déclaration mettant en cause le timing d’OpenAI. Il craint que le laboratoire ait repris une piste peu orthodoxe après avoir eu vent de leur méthode, et s’interroge sur l’usage possible de données liées à Codex. Bubeck a rejeté des accusations « fausses et incendiaires », a publié des captures d’échanges, et OpenAI a écrit n’avoir « pas utilisé leurs prompts ou leurs résultats pour diriger nos modèles ou nos agents ». Dans sa note publique, l’entreprise reconnaît toutefois qu’elle « ne peut pas exclure » que des **données dé-identifiées** dérivées de l’usage de ses produits aient aidé à améliorer ses modèles, tout en affirmant que les preuves diffèrent et que le résultat Euler n’est pas le même (forcé chez Buckmaster–Alpöge, non forcé côté agents OpenAI avant le passage à Navier-Stokes forcé). Sam Altman a raconté que les rumeurs de résolution Anthropic avaient été vécues comme un camouflet, puis que le laboratoire avait proposé une coordination de publication et même une mise en avant de Buckmaster comme auteur principal d’une réécriture, proposition qui n’a pas abouti. Buckmaster, de son côté, a souligné sur Mastodon la question éthique. Est-il acceptable d’utiliser des données d’entraînement postérieures à la découverte d’un client pour tenter de le dépasser ? Terence Tao, médaille Fields, a salué le travail de Buckmaster et Alpöge comme « remarquable », tout en regrettant, selon l’AFP, qu’on confie la recherche de solutions mathématiques intégralement à des modèles plutôt qu’à une collaboration humains–IA. ## Ce que change OpenAI Navier-Stokes pour la science et les labs Pour les lecteurs qui cherchent **OpenAI Navier-Stokes**, l’essentiel se résume ainsi. **Quoi** : OpenAI publie une preuve analytique et une formalisation Lean d’une singularité en temps fini pour Navier-Stokes (énoncés C et D, régime forcé), sans réclamer le prix Clay. **Qui** : agents d’un modèle interne plus capable qu’Astra, Mark Chen et Sébastien Bubeck côté OpenAI, Buckmaster et Alpöge en parallèle, Clay Institute pour la validation future. **Quand** : effort lancé le 1er septembre, résolution agents le 5, Lean le 6, annonce publique le 8 septembre 2026. **Ce que ça change** : le débat ne porte plus seulement sur la capacité des modèles à résoudre des olympiades, mais sur la priorité scientifique, la vérification communautaire et le rythme auquel un lab peut convertir du compute en résultats « millénaires ». La formalisation Lean atteste d’une cohérence logique machine-vérifiée, rappelle Scientific American via Numerama, mais n’équivaut pas à l’acceptation par la communauté mathématique. Le Clay Institute exige une revue à comité de lecture, une acceptation générale, puis deux ans d’attente. D’ici là, le dossier **OpenAI Navier-Stokes** restera à la fois une démonstration de puissance d’agents et un test de gouvernance scientifique. Qui crédite quoi, comment on publie, et ce qu’on fait quand deux équipes, l’une humaine aidée par l’IA et l’autre presque entièrement agentique, frappent le même mur historique à quelques jours d’intervalle. ## Sources - [OpenAI — On the Navier–Stokes Millennium Prize Problem](https://openai.com/index/navier-stokes-solution/), 8 septembre 2026 - [Nature — OpenAI claims huge maths breakthrough on a famed ‘Millennium Problem’](https://www.nature.com/articles/d41586-026-02842-5), 8 septembre 2026 - [France 24 / AFP — OpenAI dit avoir résolu un problème de maths majeur en moins de quatre jours](https://www.france24.com/fr/info-en-continu/20260909-openai-dit-avoir-r%C3%A9solu-un-probl%C3%A8me-de-maths-majeur-en-moins-de-quatre-jours), 9 septembre 2026 - [franceinfo — OpenAI dit avoir résolu l’équation de Navier-Stokes](https://www.franceinfo.fr/internet/le-geant-de-l-intelligence-artificielle-openai-dit-avoir-resolu-l-equation-de-navier-stokes-un-probleme-de-maths-crucial-en-seulement-quelques-jours_8183789.html), 9 septembre 2026 - [Numerama — OpenAI affirme avoir résolu une partie d’un problème de maths du millénaire, malgré des accusations de plagiat](https://www.numerama.com/tech/2328503-openai-affirme-avoir-resolu-une-partie-dun-probleme-de-maths-du-millenaire-malgre-des-accusations-de-plagiat.html), 8 septembre 2026 - [Numerama — Un mathématicien accuse OpenAI d’avoir voulu s’approprier son avancée](https://www.numerama.com/tech/2327463-un-mathematicien-accuse-openai-davoir-voulu-sapproprier-son-avancee-sur-les-equations-de-navier-stokes-et-decarter-son-co-auteur-chez-anthropic.html), 8 septembre 2026 ## Foire aux questions ### Qu’a annoncé OpenAI le 8 septembre 2026 sur Navier-Stokes ? L’entreprise a publié une preuve analytique et une formalisation Lean affirmant qu’un fluide initialement lisse au repos peut développer une singularité en temps fini sous les équations de Navier-Stokes, avec une force externe lisse et une énergie finie. Elle présente cela comme la résolution des énoncés C et D de la formulation Clay, sans réclamer le prix du millénaire. ### Que signifie concrètement OpenAI Navier-Stokes ? C’est la revendication, datée du 8 septembre 2026, qu’un système d’agents OpenAI a produit une preuve machine-assistée d’explosion (singularité) pour le problème d’existence et de régularité de Navier-Stokes, l’un des sept problèmes du millénaire. La preuve doit encore être lue et acceptée par la communauté mathématique. ### Combien d’agents et combien de temps ont été nécessaires ? OpenAI indique environ 10 000 agents concurrents, une résolution en environ 88 heures à partir du 1er septembre, puis 17 heures de formalisation Lean via GPT-6 Astra. Pour Navier-Stokes seul, elle cite environ 2,7 millions de messages et 130 milliards de tokens de sortie, pour un coût de calcul de « millions de dollars ». ### OpenAI va-t-elle recevoir le million de dollars du Clay Institute ? Non selon sa propre publication. Elle écrit qu’elle n’entend pas réclamer le prix. Le Clay Institute exige une publication en revue, une acceptation générale par la communauté, puis un délai d’au moins deux ans après cette publication. ### Pourquoi parle-t-on de plagiat ou de priorité ? Tristan Buckmaster et Levent Alpöge ont publié le même jour des résultats sur des équations voisines (notamment Euler forcé) et ont mis en cause le timing et l’éventuelle réutilisation d’une piste ou de données. OpenAI nie avoir dirigé ses agents avec leurs prompts ou résultats, reconnaît ne pas pouvoir exclure un effet de données dé-identifiées sur l’amélioration des modèles, et affirme que les preuves et même les résultats précis diffèrent. ### La preuve concerne-t-elle les équations sans force externe ? La preuve OpenAI décrite pour Navier-Stokes s’inscrit dans un régime avec force externe lisse (énoncés C et D). Les agents avaient auparavant traité une version non forcée pour Euler (viscosité nulle). La distinction forcé / non forcé est au cœur du débat technique et de la comparaison avec le travail Buckmaster–Alpöge.