OpenAI veröffentlicht Lösung des Navier-Stokes-Millenniumproblems und Lean-Beweis

OpenAI hat angekündigt, dass sein internes System eine Lösung für das Existenz- und Glattheitsproblem der Navier-Stokes-Gleichungen gefunden hat: Unter dem Einfluss glatter äußerer Kräfte kann eine anfänglich ruhende und glatte dreidimensionale inkompressible Flüssigkeit innerhalb einer endlichen Zeit Singularitäten bilden, wobei die gesamte Energie während des Prozesses begrenzt bleibt. Dieses Ergebnis entspricht den Aussagen C und D des Clay Mathematics Institute und die zugehörige Arbeit sowie der Lean-formalisierte Beweis wurden veröffentlicht, stehen jedoch noch zur unabhängigen Überprüfung durch die Wissenschaftsgemeinschaft aus. Das Projekt verwendete ein internes Modell, das signifikant stärker ist als GPT-6 Astra, wobei etwa 10.000 parallele Agenten in etwa 88 Stunden den Beweis erbrachten, 2,7 Millionen Nachrichten sendeten und etwa 130 Milliarden Ausgabetokens generierten. Die Lean-Formalisierung und -Verifizierung benötigten weitere 17 Stunden. OpenAI hat nicht die Absicht, den Millenniumpreis zu beantragen. Zunächst hatte OpenAI fälschlicherweise angenommen, dass die Mitarbeiter von Anthropic, Levent Alpöge, und der Professor der New York University, Tristan Buckmaster, ebenfalls das Problem gelöst hätten, stellte jedoch später fest, dass die beiden das Problem der angeregten Euler-Gleichungen gelöst hatten und erkannte deren Priorität in dieser Angelegenheit an.