Un modèle d’OpenAI propose une solution au problème du millénaire de Navier–Stokes
OpenAI a déclaré le 8 septembre 2026 qu’un système interne plus capable que GPT-6 Astra a produit une solution au problème du prix du millénaire sur l’existence et la régularité de Navier–Stokes : un fluide initialement lisse et au repos peut développer une singularité en temps fini sous une force lisse tandis que l’énergie reste finie, ce qui établit les énoncés C et D de Clay. L’entreprise a publié un exposé ainsi qu’une formalisation en Lean vérifiée avec GPT-6 Astra, après environ 88 heures de recherche multi-agents et 17 heures de formalisation, et dit ne pas vouloir réclamer le prix du millénaire. OpenAI mentionne les travaux simultanés de Levent Alpöge et Tristan Buckmaster sur l’équation d’Euler forcée, reconnaît leur antériorité sur ce résultat et présente cette publication comme une preuve du rythme de la recherche en IA, et non comme le lancement d’un produit grand public.
Traduit avec l'aide de l'IA.