Résumé simplifié de la preuve apportée par OpenAI sur l'existence d'une solution lisse aux équations de Navier-Stokes donnant lieu à une singularité