Die Navier–Stokes-Gleichungen beschreiben die Bewegung von Flüssigkeiten und Gasen. Eine berühmte mathematische Frage lautet, ob eine anfangs glatte dreidimensionale Strömung immer glatt bleibt.
Was die Forschung beansprucht
Am 8. September 2026 veröffentlichte OpenAI einen nach eigenen Angaben mit einem internen KI-System erzeugten Beweis. Die Konstruktion verwendet eine glatte äußere Kraft und soll zeigen, dass in endlicher Zeit eine Singularität entstehen kann. In diesem mathematischen Modell wächst die Geschwindigkeit dabei unbegrenzt; das ist keine Behauptung über unendlich schnelles echtes Wasser.
Formale Prüfung und unabhängige Begutachtung
Das Unternehmen stellte eine Ausarbeitung und eine Formalisierung in der Beweissprache Lean bereit. Nach seinen Angaben umfasste die Gruppe rund 10.000 gleichzeitig arbeitende Agenten; Menschen legten Aufgaben fest und führten Zwischenergebnisse zusammen.
Es handelt sich um die Forschungs- und Beweisbehauptung von OpenAI. Eine formale Prüfung ist nicht mit der breiten mathematischen Begutachtung gleichzusetzen. Weder eine Preisvergabe noch eine endgültige Anerkennung durch die Fachwelt ist damit belegt.
