OpenAI partage une solution au problème du prix du millénaire Navier-Stokes, résolu par un groupe d’agents IA utilisant un modèle de nouvelle génération. Ce problème mathématique non résolu depuis 90 ans porte sur l’existence possible de singularités dans les fluides en trois dimensions. L’effort a mobilisé 10 000 agents IA pendant 88 heures et a produit une preuve analytique et une formalisation Lean.