Explosion en temps fini pour Navier-Stokes 3D (problème du millénaire) revendiquée par un système interne OpenAI

Analogie

Comme l'aiguille d'un compteur qui grimperait sans limite avant une échéance précise : l'image décrit une grandeur des équations, pas une vraie vague qui deviendrait infinie.

Ce que ça change

Les équations de Navier-Stokes décrivent un fluide visqueux et incompressible, et l'un des problèmes du millénaire demande si, partant d'un état régulier, leurs solutions le restent toujours en 3D. Si la preuve tenait, la réponse serait non : une solution régulière au départ cesserait de l'être au bout d'un temps fini.

Ce qui reste flou

Bastounis, Circelli et Hansen contestent la correspondance entre la preuve écrite et sa formalisation en Lean (un langage où un ordinateur contrôle chaque étape d'une preuve), fournie par OpenAI. Un autre litige, avec Buckmaster et Alpöge, porte sur la priorité, c'est-à-dire qui a obtenu le résultat le premier. Aucune validation indépendante ni décision du Clay Institute n'est recensée.