Navier-Stokes KI 2026: Widerlegt, nicht gelöst

Phillip Pham, AI Developer bei Pexon Consulting | 11 Min. Lesezeit | 29.09.2026

TL;DR: Navier-Stokes KI in fünf Sätzen

Navier-Stokes KI hat am 8. September 2026 eine Singularität in zwei engeren Fällen gezeigt, nicht die Million ausgezahlt. OpenAI legt dafür einen Agentenschwarm und eine Lean-Prüfung vor. Das Clay Institute nennt die Ankündigung scheinbar beigelegt und lässt das Preisverfahren langsam laufen. Pexon Consulting liest das als geprüfte Suche, nicht als fertigen Betriebsbeweis.

Das Problem: Die Schlagzeile ist einen Schritt zu weit

Am 8. September 2026 hat OpenAI einen Text und eine Formalisierung in Lean veröffentlicht: Eine anfangs ruhige, glatte Strömung kann unter den Navier-Stokes-Gleichungen in endlicher Zeit eine Singularität bilden. Die Meldung dazu spricht von rund 10.000 autonomen Agenten und etwa 88 Stunden Laufzeit. Daraus wurden Überschriften der Art „KI löst Jahrhundertproblem“.

Das ist die falsche Schublade. Gezeigt wurde das Gegenteil der hoffnungsvollen Lesart. Die Preisfrage des Clay Mathematics Institute fragt, ob glatte Lösungen für alle Zeit glatt bleiben. Die veröffentlichte Arbeit sagt für zwei engere Varianten, jeweils mit äußerer Kraft: nein. OpenAI schreibt, damit seien die Aussagen C und D der offiziellen Formulierung getroffen, und erklärt, den Million-Dollar-Preis nicht zu beantragen. Das Clay Institute hat am 10. September die Aufregung geteilt und von einer Ankündigung geschrieben, das Problem scheine beigelegt. Dieselbe Stelle verweist auf das Preisverfahren, und das ist bewusst nicht eilig: Journal, mindestens zwei Jahre, breite Annahme. Auf der öffentlichen Übersicht stand Navier-Stokes Ende September 2026 weiter bei den offenen Fragen. Der Preis ist nicht vergeben.

Unsere klare Empfehlung: Wer in einem Lenkungskreis „gelöst“ sagt, soll dazu sagen, welcher Fall, welche Prüfung und wer den Preis noch nicht gesprochen hat. Sonst kauft das Gremium eine Schlagzeile.

Worum es bei der Strömung geht

Die Navier-Stokes-Gleichungen beschreiben, wie Flüssigkeiten und Gase sich bewegen. Rohrströmung, Luft am Flügel, Blut in einer Arterie. Sie stammen aus dem 19. Jahrhundert und stecken in Wettermodellen und in jeder ernsthaften Strömungssimulation.

Offen war nicht, ob die Gleichungen im Alltag nützlich sind. Offen war, ob eine Lösung, die glatt und geordnet startet, für alle Zeit glatt bleibt. Oder ob sie in endlicher Zeit „aufbläst“: ein Punkt, an dem die Geschwindigkeit rechnerisch unendlich wird. So einen Punkt nennt man Singularität. Das Bild dahinter ist ein Wirbel, der sich immer enger zieht und immer schneller dreht, bis die Gleichung an dieser Stelle aufhört, eine Geschwindigkeit anzugeben.

Eine Singularität heißt nicht, dass morgen die Wetter-App lügt. Sie heißt, dass die Annahme „die Lösung bleibt immer brav“ nicht für alle zulässigen Anfangswerte gilt. Simulationen im Flugzeugbau oder im Klima stützen sich praktisch auf Fälle, die man kennt und die sich benehmen. Die Theorie weiß seit diesem September für bestimmte angetriebene Fälle, dass das nicht allgemein gilt.

Sieben Fragen, ein abgeschlossener Fall, ein beanspruchter

Im Jahr 2000 hat das Clay Mathematics Institute sieben Probleme benannt und je eine Million US-Dollar ausgelobt. In 26 Jahren ist eines davon zu Ende gebracht worden, und der Preisträger hat abgelehnt.

Deshalb ist die Aufregung verständlich. Die Abkürzung „gelöst“ bleibt ungenau, solange niemand dazu sagt: Widerlegung, Fälle C und D, Preis nicht gesprochen. Es geht um eine von sieben Fragen, die das Fach im Jahr 2000 als offen markiert hat. Genau deshalb zählt, welcher Teilstrich der offiziellen Formulierung getroffen wurde.

Was Navier-Stokes KI am 8. September gezeigt hat

Die Formalisierung liegt öffentlich im Repository openai/NavierStokesAndEuler. Für jede positive Viskosität werden dort zwei Aussagen festgehalten.

Im ganzen Raum gibt es glatte Anfangsdaten und eine äußere Kraft, für die keine globale glatte Lösung mit gleichmäßig beschränkter Bewegungsenergie existiert. Auf dem periodischen Torus gibt es glatte periodische Anfangsdaten und eine Kraft, für die keine globale glatte Lösung existiert. In der Clay-Formulierung sind das die Alternativen C und D: Zusammenbruch auf dem dreidimensionalen Raum und auf dem Torus, jeweils mit Kraft, nicht der kräftefreie Fall, an den viele bei „dem“ Problem denken.

Die Strömung startet in Ruhe, die Kraft ist glatt, die Energie bleibt unterwegs endlich, und trotzdem bildet sich in endlicher Zeit eine Singularität. Das ist eine Widerlegung der Hoffnung „glatt bleibt glatt“, keine Bestätigung. Bewiesen wird das schlechte Benehmen, nicht die schöne Eigenschaft.

OpenAI schreibt, die eigene Arbeit habe am 1. September 2026 begonnen, nachdem ein Gerücht kursierte, das sich später auf Levent Alpöge und Tristan Buckmaster (New York University) beziehen ließ. Die Lean-Prüfung der eigenen Navier-Stokes-Linie war nach dieser Darstellung am 6. September fertig. Danach habe man den beiden eine gleichzeitige Veröffentlichung angeboten und erst im Gespräch erfahren, dass sie mit einem internen Modell von Anthropic den angetriebenen Euler-Fall gelöst hatten, also die reibungsfreie Schwestergleichung. OpenAI erkennt deren Priorität für diesen Euler-Fall an und sagt, die eigene Euler-Variante sei ohne äußere Kraft und damit eine andere Aussage. Eine interne Prüfung soll belegt haben, dass Buckmasters Codex-Prompts das OpenAI-System nicht beeinflusst haben, auch nicht über das Training.

Das ist der Stand der Selbstdarstellung, nicht ein abgeschlossenes Prioritätsverfahren. Für die Fachwelt ist offen, wer welchen Anteil woran hat. Ob das Preiskomitee die Fälle mit äußerer Kraft als die ganze Frage wertet, klärt genau dieses Verfahren, nicht die Pressemitteilung.

Warum 10.000 mal 88 keine 518 Forscherjahre sind

Die Schlagzeilenrechnung ist einfache Arithmetik, und genau deshalb verführt sie.

# Agentenstunden in "Forscherjahre" umrechnen, und sehen, was die Zahl nicht sagt
agenten = 10_000
stunden = 88
vollzeitjahr = 1_700  # grobe Vollzeit, ohne Urlaub und ohne Denken in der Nacht
print(round(agenten * stunden / vollzeitjahr))  # 518

10.000 mal 88 sind 880.000 Agentenstunden. Geteilt durch 1.700 kommt man auf etwa 518. Das ist keine Messung von Mathematikerarbeit. Der größte Teil eines Schwarms sind Wege, die nichts tragen. Das ist die Methode: Suche ist billig genug, um systematisch danebenzuliegen. Ein Mensch, der eine Woche in eine Sackgasse steckt, verliert eine Woche. Ein Agent, der dasselbe tut, verliert Rechenzeit.

Für den Euler-Fall nennt OpenAI eine kleinere Suche: knapp 100 Agenten über etwa 50 Stunden. Die Navier-Stokes-Linie brauchte danach den großen Schwarm und weitere 17 Stunden, bis ein zweites Modell die Schritte in Lean gegossen hatte. Unterwegs sind knapp fünf Millionen Nachrichten zwischen den Agenten gelaufen. Sébastien Bubeck von OpenAI schätzt die Rechnung auf mehrere Millionen Dollar. Diese Summe sagt mehr aus als die 518.

Neu ist nicht, dass eine Agentenstunde eine Mathematikerstunde ersetzt. Neu ist die Breite der Suche und dass am Ende eine Formalisierung steht, die ein Beweisassistent Schritt für Schritt nachrechnet. Ohne den zweiten Teil wäre der erste eine Behauptung mit einem großen Zähler.

Wir raten davon ab, diese 518 in eine Make-or-Buy-Folie zu schreiben. Sie misst Durchsatz der Irrwege, nicht den Wert der einen Linie, die übrig bleibt.

Die Idee kam nicht aus dem Schwarm

Der Ansatz, mit dem man überhaupt nach so einer Singularität sucht, lag vor der Ankündigung auf dem Tisch. Die Forcing-Technik, an der Buckmaster und Alpöge etwa ein Jahr weitergearbeitet haben, geht auf Diego Córdoba und Luis Martínez-Zoroa zurück. Ohne diese Richtung hätte ein Schwarm den Raum der möglichen Beweise nicht in 88 Stunden auf eine prüfbare Linie verengt.

Das Muster ist damit nicht „die Maschine hat das Fach überholt“. Menschen haben die Strategie gebaut, Menschen haben das Gerücht ernst genommen, Maschinen haben eine breite Suche gefahren und eine formale Absicherung geliefert, die von Hand lange gedauert hätte. Pexon Consulting, 80 Mitarbeiter in Deutschland und Microsoft Partner auf Azure, AWS und GCP, sieht dieselbe Schnittstelle in Agentenprojekten: Das Modell sucht, die Fragestellung und die Abnahme kommen von den Leuten, die den Fehler benennen können.

Was Lean prüft, und was die Fachwelt noch nicht gesagt hat

Lean rechnet nach, ob die aufgeschriebenen Schritte aus den Definitionen folgen. Es sagt nicht, ob der Beweis die Frage im gemeinten Sinn trifft, ob er elegant ist oder ob er eine neue Idee über Strömungen enthält. Diese Bewertung machen Menschen. Sie hat am 29. September 2026 nicht die Form einer angenommenen Zeitschrift.

„Formal verifiziert“ und „von der Fachwelt anerkannt“ sind zwei verschiedene Sätze. Der erste ist eine maschinelle Aussage über die Kodierung und liegt für die veröffentlichten Fälle vor. Der zweite ist ein Verfahren über Monate: Veröffentlichung in einem anerkannten Journal, eine Wartezeit, in der das Fach den Beweis liest, und eine breite Annahme. Die Preisregeln des Clay Institute verlangen genau diesen Weg, bevor eine Million Dollar überhaupt geprüft wird. Bisher ist ein Millennium-Problem zu Ende gebracht und der Preis dafür ausgeschlagen worden. Navier-Stokes ist nicht das zweite, solange dieser Weg nicht gelaufen ist.

Dazu kommt die engere Fassung. Fälle mit äußerer Kraft sind nicht dasselbe wie die Frage, ob jede kräftefreie glatte Lösung global existiert. Wer die Pressemitteilung und das Repository nicht nebeneinander legt, übersieht genau diese Kante.

Für den Betrieb außerhalb der Mathematik ändert ein Strömungsbeweis am Montag nichts an der Wettervorhersage. Drei Dinge übertragen sich trotzdem, und die sind der Grund, warum das Thema in eine IT-Runde gehört.

1. Der Engpass wandert vom Erzeugen zum Beurteilen. Ein Schwarm probiert in Tagen mehr Linien, als ein Team in einem Quartal aufschreibt. Wertvoll wird die Fähigkeit, zu sagen, woran man merkt, dass eine Linie falsch ist. Fällt dazu nichts ein, liegt keine Lösung auf dem Tisch, sondern eine Behauptung.
2. Eine maschinelle Prüfung ist der Grund, warum jemand zuhört. Ohne Lean wäre dieselbe PDF eine weitere Ankündigung. Im Unternehmen ist das der Test, das Review, das Soll-Ist an echten Fällen, nicht ein zweites Modell, das das erste bejubelt.
3. Die Vorarbeit entscheidet. Der Schwarm hat eine menschliche Strategie ausgeführt. Ohne klare Frage, ohne die Fälle C und D als Ziel, wäre aus 880.000 Stunden kein Repository geworden. Dasselbe gilt für jeden internen Agenten: Die Aufgabe muss so scharf sein, dass ein Fehlschlag sichtbar ist.

Wer Agenten an Werkzeuge hängt, sollte diese drei Punkte vor dem ersten Schwarm klären, nicht danach. Wie so eine Anbindung an bestehende Systeme aussieht, steht in der MCP-Integration für KI-Agenten. Den Unterbau, auf dem Prüfung und Betrieb überhaupt laufen, beschreiben wir im Engineering-Stack für KI. Pexon Consulting setzt das in Kundenprojekten so auf, dass ein Fehlschlag am benannten Kriterium sichtbar wird, nicht erst im Lenkungskreis.

Häufig gestellte Fragen

Welches Millennium-Problem ist gelöst?

Keines mit ausgezahltem Preis. Die Poincaré-Vermutung ist seit 2003 gelöst, Grigori Perelman hat den Preis abgelehnt. Für Navier-Stokes liegen seit dem 8. September 2026 die Fälle C und D vor, jeweils mit äußerer Kraft. Clay hat die Ankündigung am 10. September als scheinbar beigelegt begrüßt und das Preisverfahren offen gelassen. Die Übersicht führte die Frage Ende September weiter als ungelöst, gezahlt ist nichts.

Was hat Navier-Stokes KI am 8. September gezeigt?

Dass es glatte Anfangsdaten und eine glatte äußere Kraft gibt, bei denen eine dreidimensionale Strömung in endlicher Zeit eine Singularität bildet, im ganzen Raum und auf dem periodischen Torus. Die Energie bleibt dabei endlich, der Start ist Ruhe. Das sind die Alternativen C und D der offiziellen Preisformulierung, nachzulesen in der Lean-Formalisierung von OpenAI. Es ist eine Widerlegung der These „immer glatt“, kein Beweis, dass Lösungen sich immer anständig verhalten.

Hat die KI das allein gelöst?

Nein. Die Suchrichtung stammt aus der Forcing-Technik von Diego Córdoba und Luis Martínez-Zoroa, weitergeführt von Tristan Buckmaster und Levent Alpöge. OpenAI beschreibt einen Schwarm von etwa 10.000 Agenten über etwa 88 Stunden plus eine Lean-Prüfung. Parallel lag ein Euler-Ergebnis der beiden Mathematiker, das OpenAI für diesen Fall als prioritätshöher anerkennt. Die Maschine hat Suche und formale Absicherung geliefert, nicht die Fragestellung.

Was kostet der Preis, und ist formal verifiziert dasselbe wie anerkannt?

Die ausgelobte Summe ist eine Million US-Dollar je Problem. Vergeben ist sie für Navier-Stokes nicht. OpenAI erklärt, den Preis nicht zu beantragen, obwohl es die Aussagen C und D als getroffen beschreibt. Formal verifiziert heißt: Lean hat die aufgeschriebenen Schritte nachgerechnet. Anerkannt heißt: ein Journal hat veröffentlicht, die Fachwelt hat gelesen und angenommen. Das erste liegt vor, das zweite am 29. September 2026 nicht. Clay zahlt erst nach Journal, mindestens zwei Jahren und breiter Annahme.

Ändert das Wettervorhersagen oder Simulationen?

Im Betrieb nicht. Wettermodelle und Strömungssimulationen nutzen die Gleichungen weiter für die Fälle, die sich rechnerisch benehmen. Geändert hat sich die Theorie: Die Annahme, jede glatte Lösung bleibe für alle Zeit glatt, gilt nicht für die veröffentlichten angetriebenen Fälle. Eine Singularität heißt, dass die Gleichung an einem Punkt aufhört, eine endliche Geschwindigkeit anzugeben.

Nächster Schritt

Bevor ein Schwarm in einem Fachprozess sucht, sollten drei Dinge feststehen: die genaue Frage, das Kriterium, an dem ein falsches Ergebnis auffällt, und wer dieses Kriterium verantwortet. Ohne das ist 88 Stunden Laufzeit eine teure Behauptung.

Verwandte Themen