Forcé, non forcé… : au fait, que sont les équations Navier-Stokes et pourquoi OpenAI n’a pas tout réglé ?

OpenAI annonce qu’un de ses modèles d’IA aurait démontré une preuve pour les équations de Navier‑Stokes, l’un des sept problèmes du Millénaire valant un million de dollars.

• Le modèle aurait résolu le problème de l’existence et de l’unicité des solutions aux équations de Navier‑Stokes, un défi ouvert depuis plus d’un siècle.
• Cette avancée, si elle est validée par la communauté mathématique, pourrait rapporter le prix du Clay Mathematics Institute.
• OpenAI n’a pas encore publié les détails techniques, laissant les experts vérifier la rigueur et la portée de la prétendue preuve.