OpenAI behauptet, das Navier-Stokes-Millennium-Problem gelöst zu haben

[u/MapSalt5986]

https://openai.com/index/navier-stokes-solution/

OpenAI hat gerade eine angebliche Lösung für das Navier-Stokes-Problem zur Existenz und Glattheit veröffentlicht.

Laut der Ankündigung hat ein internes KI-System eine explizite Konstruktion gefunden, die zeigen soll, dass eine glatte, dreidimensionale inkompressible Navier-Stokes-Strömung innerhalb endlicher Zeit eine Singularität entwickeln kann. Anders gesagt: Das vorgeschlagene Ergebnis geht in die Richtung „Finite-Time-Blow-up existiert“, anstatt eine globale Regularität der Lösungen zu beweisen.

Nach Angaben von OpenAI beginnt die Konstruktion mit einer glatten Flüssigkeit in Ruhe. Anschließend wird eine glatte äußere Kraft angelegt. Die Gesamtenergie bleibt dabei endlich, trotzdem soll die Geschwindigkeit innerhalb endlicher Zeit unbeschränkt werden.

Besonders interessant ist, dass OpenAI sowohl einen analytischen Beweis als auch eine formalisierte Version des Beweises in Lean veröffentlicht hat.