OpenAI prouve que les équations de Navier-Stokes présentent une singularité en temps fini

Le 8 septembre, OpenAI a annoncé que son système multi-agents interne a réussi à prouver que les équations de Navier-Stokes incompressibles tridimensionnelles peuvent former des singularités en temps fini, résolvant ainsi le problème du siècle. La preuve a été réalisée par un modèle au sein d'OpenAI plus puissant que GPT-6 Astra et a obtenu des résultats préliminaires le 5 septembre, suivis de 17 heures de vérification formelle Lean.OpenAI a déclaré que la preuve démontre que sous l'influence de forces externes lisses, un fluide stationnaire peut évoluer en structures de vortex s'enroulant vers l'intérieur et s'étirant, avec une énergie restant finie mais une vitesse croissant sans borne, correspondant aux cas « C » et « D » des problèmes du prix du millénaire. L'ensemble du processus de résolution a impliqué environ 10 000 agents concurrents, envoyé environ 2,7 millions de messages et consommé environ 130 milliards de jetons de sortie. OpenAI a reconnu que cette tentative a été inspirée par des rumeurs de travaux parallèles de l'employé d'Anthropic Levent Alpöge et du professeur de NYU Tristan Buckmaster, notant que les deux parties sont arrivées à des résultats différents concernant le problème de régularité des équations d'Euler, OpenAI prouvant le cas sans forces externes, tandis que l'autre partie a prouvé le cas avec forces externes.