Navier-Stokes : OpenAI publie, son modèle s'auto-vérifie
Le 8 septembre 2026, douze heures après l'annonce de Tristan Buckmaster, OpenAI publie à son tour : un exposé de preuve sur les équations de Navier-Stokes et une formalisation dans le logiciel Lean. L'entreprise revendique la résolution du problème du millénaire.