OpenAI affirme avoir une preuve de singularité en temps fini dans les équations de Navier-Stokes

ChainCatcher rapporte qu'OpenAI a annoncé le 8 septembre que son système multi-agents interne a réussi à démontrer que les équations de Navier-Stokes incompressibles en trois dimensions peuvent former des singularités en un temps fini, résolvant ainsi ce problème du siècle. Cette démonstration a été conduite par un modèle interne à OpenAI plus puissant que GPT-6 Astra, avec des résultats préliminaires obtenus le 5 septembre, suivis de 17 heures de vérification formelle par Lean. OpenAI indique que cette démonstration montre que, sous l'effet d'une force externe lisse, un fluide au repos peut évoluer vers une structure tourbillonnaire en spirale vers l'intérieur et étirée, dont l'énergie reste finie tandis que la vitesse croît de manière non bornée, correspondant aux cas « C » et « D » du problème du prix du millénaire. L'ensemble du processus de résolution a mobilisé environ 10 000 agents simultanés, envoyé environ 2,7 million de messages et consommé environ 130 milliards de tokens de sortie. OpenAI reconnaît que cette tentative a été inspirée par des rumeurs concernant un travail parallèle des employés d'Anthropic Levent Alpöge et du professeur Tristan Buckmaster de NYU, et précise que les résultats sur la régularité des équations d'Euler diffèrent : OpenAI a démontré le cas sans force externe, tandis que l'autre équipe a démontré le cas avec force externe.