Un problème millénaire revisité
Les équations de Navier‑Stokes, au cœur de la dynamique des fluides, figurent parmi les sept problèmes du millénaire définis par le Clay Mathematics Institute. Leur résolution garantirait un prix d’un million de dollars, mais la complexité mathématique a longtemps découragé les chercheurs. Dans le 88ᵉ épisode du Scientias Podcast, Diederik et Krijn s’interrogent sur la possibilité que l’intelligence artificielle ait franchi ce cap tant redouté.
Qu’est‑ce que l’équation de Navier‑Stokes ?
Cette formule décrit le mouvement des liquides et des gaz en combinant les lois de conservation de la masse, de la quantité de mouvement et de l’énergie. Malgré son apparente simplicité, elle recèle des comportements turbulents imprévisibles, rendant la démonstration d’une solution lisse et globale extrêmement ardue. Le podcast décortique ces notions en les rendant accessibles aux auditeurs non spécialistes, tout en soulignant l’importance de la rigueur analytique.
L’IA comme éventuel découvreur
Les avancées récentes en apprentissage profond et en réseaux de neurones ont permis à des algorithmes de simuler des écoulements complexes avec une précision inédite. Diederik explique que certaines IA ont généré des approximations numériques qui semblent respecter les contraintes physiques, mais aucune preuve formelle n’a encore été fournie. Le débat s’articule autour de la distinction entre « solution numérique » et « solution analytique », indispensable pour satisfaire les critères du Clay Institute.
Le point de vue des experts
Krijn, plus sceptique, rappelle que la communauté mathématique exige une démonstration rigoureuse, publiée dans une revue à comité de lecture. Il cite des exemples où des résultats prometteurs ont finalement été invalidés après une analyse approfondie. Le podcast met en avant la nécessité d’un dialogue entre informaticiens, physiciens et mathématiciens pour évaluer la validité d’une prétendue solution IA.
Enjeux et perspectives
Au-delà du gain financier, résoudre Navier‑Stokes ouvrirait la porte à des applications révolutionnaires : prévision météorologique plus fiable, optimisation des flux dans les réseaux de transport, amélioration des modèles climatiques, etc. Le podcast conclut que, même si l’IA n’a pas encore fourni la preuve définitive, elle constitue un outil puissant qui pourrait accélérer la compréhension du problème.
Source: https://scientias.nl/navier-stokesvergelijking-opgelost-door-ai-scientias-podcast-88/
