Lecture · veille du 10 septembre 2026
Forcé, non forcé… : au fait, que sont les équations Navier-Stokes et pourquoi OpenAI n’a pas tout réglé ?
Numerama - Intelligence artificielle Publié le 9 septembre 2026 à 15:00 Angle technique Article en français pertinence 4 sur 5
Lire l'article original sur Numerama - Intelligence artificielle, dans une nouvelle fenêtre
Les équations de Navier-Stokes, longtemps considérées comme insolubles, sont au cœur d’un débat sur les capacités de l’intelligence artificielle.
- Les équations de Navier-Stokes décrivent le mouvement des fluides et sont parmi les problèmes mathématiques les plus difficiles.
- OpenAI a affirmé avoir prouvé qu'un fluide initialement régulier pouvait développer une singularité sous l'effet d'une force externe, ce qui résout une partie du problème des équations de Navier-Stokes.
- Cette preuve dépend de l'application continue d'une force extérieure au fluide, un aspect crucial et controversé.
- La résolution n’est pas applicable à la version non forcée des équations, nécessitant l'intervention d'une force externe pour générer la singularité.
Les équations de Navier-Stokes, développées au XIXe siècle par Navier et Stokes, décrivent le comportement des fluides. Elles sont considérées comme particulièrement complexes et ont été l’objet d’un défi majeur pour les mathématiciens pendant plus de 150 ans, figurant parmi les sept problèmes du prix du millénaire.
OpenAI a présenté une solution à ce problème en utilisant un système informatique capable de prouver qu'un fluide initialement calme pouvait développer une singularité sous l'application d'une force externe. Cette approche implique l'injection d'énergie dans le fluide, créant ainsi un tourbillon qui se rétrécit progressivement.
Cependant, cette solution est conditionnelle : elle ne s’applique qu’à la version « forcée » des équations de Navier-Stokes, où une force extérieure est continuellement appliquée. La version non forcée, c'est-à-dire sans intervention externe, reste un problème ouvert et nécessite des vérifications supplémentaires par les mathématiciens.
La controverse autour de cette avancée souligne la complexité du sujet et l’importance de distinguer les différentes formulations des équations de Navier-Stokes. OpenAI n'a pas prétendu avoir résolu complètement le problème, mais a apporté une preuve analytique significative.
Mots-clés : équationsIAmathématiques
Transparence : synthèse en français produite automatiquement par un modèle de langage local (gemma3:4b (Ollama, local sur le VPS)), non révisée. Le texte intégral reste chez l'éditeur d'origine.