OpenAI revendique une avancée majeure sur le problème du prix du millénaire de Navier–Stokes : comment l’IA a trouvé en 88 heures une preuve d’une singularité en temps fini