OpenAI affirme avoir résolu le problème de Navier-Stokes
OpenAI a annoncé le 8 septembre 2026 une solution au problème de Navier-Stokes, l’un des sept défis du prix du millénaire. L’entreprise dit avoir mobilisé près de 10.000 agents d’IA pendant 88 heures pour établir une preuve ensuite formalisée en Lean.