OpenAI veröffentlicht Beweisentwurf zum Navier-Stokes-Problem

San Francisco – 09.09.2026: OpenAI hat einen Beweisentwurf veröffentlicht, der eine der bedeutendsten offenen Fragen der Mathematik beantworten soll. Nach Darstellung des Unternehmens zeigt der Ansatz, dass bei dreidimensionalen Navier-Stokes-Gleichungen unter zulässigen Voraussetzungen in endlicher Zeit eine Singularität entstehen kann. Das würde bedeuten, dass eine zunächst glatte mathematische Lösung an einem bestimmten Punkt ihre regulären Eigenschaften verliert. OpenAI legte eine schriftliche Ausarbeitung und eine formale Überprüfung mit der Beweissoftware Lean vor.

Die Navier-Stokes-Gleichungen beschreiben die Bewegung von Flüssigkeiten und Gasen, darunter Wasser, Luft und turbulente Strömungen. Offen ist seit Langem, ob glatte Lösungen im dreidimensionalen Raum stets erhalten bleiben oder unter bestimmten Anfangsbedingungen zusammenbrechen können. Das Clay Mathematics Institute zählt die Frage zu seinen sieben Millennium-Problemen. Für jede anerkannte Lösung ist ein Preisgeld von einer Million US-Dollar vorgesehen.

OpenAI spricht ausdrücklich von einem Lösungsvorschlag, nicht von einem abschließend bestätigten Durchbruch. Nach Angaben des Unternehmens entwickelte ein nicht öffentlich zugängliches internes KI-System den Kern des Beweises binnen weniger Tage. Die Prüfung mit Lean soll sicherstellen, dass die formalen Schritte aus den verwendeten Definitionen und Regeln folgen. Sie beantwortet jedoch nicht allein, ob diese Definitionen das offizielle Preisproblem vollständig treffen und ob die mathematische Argumentation inhaltlich trägt.

Eine Anerkennung durch das Clay Mathematics Institute liegt nicht vor. Nach den Regeln des Instituts muss eine Lösung zunächst in einem anerkannten wissenschaftlichen Publikationsorgan erscheinen. Anschließend müssen mindestens zwei Jahre vergehen. Zudem muss die Fachwelt das Ergebnis allgemein akzeptiert haben, bevor das Institut eine Prüfung für den Millennium-Preis einleitet. Eine Unternehmensveröffentlichung kann dieses Verfahren daher lediglich anstoßen.

Begleitet wird die Ankündigung von einer Debatte über wissenschaftliche Zuordnung. Medienberichten zufolge arbeiteten der Mathematiker Tristan Buckmaster von der New York University und der Anthropic-Forscher Levent Alpoge an einer verwandten Frage der Strömungsdynamik. OpenAI erklärte nach Einsicht in deren Arbeit, die Ansätze unterschieden sich: Die externe Forschung behandle das erzwungene Euler-Problem und damit nicht unmittelbar das Navier-Stokes-Problem.

Nun liegt der Entwurf bei der mathematischen Fachwelt. Fachleute müssen insbesondere untersuchen, ob sämtliche Voraussetzungen der offiziellen Problemstellung erfüllt sind, ob sich in den Definitionen versteckte Einschränkungen finden und ob die Lean-Darstellung den mathematischen Gehalt korrekt wiedergibt. Bis zum Abschluss dieser Prüfung bleibt die seit Jahrzehnten offene Frage offiziell ungelöst.

Quellen

• Franceinfo
• OpenAI Research
• Clay Mathematics Institute
• Nature
• Axios