OPENAI : 10 000 agents IA proposent une solution à Navier-Stokes, l’un des problèmes du Millénaire
Le 8 septembre 2026, OpenAI a publié ce qui pourrait devenir l’une des annonces scientifiques les plus importantes jamais produites par une intelligence artificielle. Un système interne reposant sur un modèle encore « significativement plus capable que GPT-6 Astra » affirme avoir construit une preuve du problème de Navier-Stokes, l’un des sept problèmes du prix du Millénaire. La démonstration fait 166 pages, une formalisation Lean est publiée pour vérification automatique, et près de 10 000 agents IA auraient travaillé en parallèle pendant 88 heures. Mais au 9 septembre, le Clay Mathematics Institute classe toujours Navier-Stokes parmi les problèmes non résolus : nous sommes peut-être devant un basculement historique, pas encore devant une validation institutionnelle définitive.