Das Clay Mathematics Institute sagt, das Navier-Stokes-Problem sei „anscheinend“ gelöst

Das Clay Mathematics Institute hat zum ersten Mal öffentlich anerkannt, dass das Navier-Stokes-Existenz- und Glätteproblem – eines der sieben Millennium-Preis-Probleme – „offenbar gelöst“ ist. Die am Freitag auf der Website des Instituts veröffentlichte Erklärung verschiebt eine der umstrittensten KI- und Mathematik-Geschichten des Jahres in den formellen Preisbewertungsprozess des Instituts und macht gleichzeitig deutlich, dass kein Preis verliehen und keine Beweise bestätigt wurden.

„Heute teilt CMI die Aufregung der globalen mathematischen Gemeinschaft, während wir über die Ankündigung nachdenken, dass das Navier-Stokes-Problem offenbar gelöst wurde“, schrieb das Institut in der Ankündigung vom 11. September 2026. „Wir hoffen, Wellen neuen menschlichen Verständnisses auszulösen, wenn die Innovationen hinter dieser Arbeit analysiert und hinterfragt werden.“ Weitere Informationen zu dieser Geschichte finden Sie in unserer KI-Branchenberichterstattung.

Warum die Aussage wichtig ist

Die gemessene Sprache des Instituts leistet viel Arbeit und jedes Wort wurde innerhalb weniger Stunden auf Hacker News analysiert, wo die Ankündigung mehr als 100 Punkte erhielt. Was die Aussage nicht sagt, ist ebenso bedeutsam wie das, was sie tut: Das Clay Mathematics Institute nennt OpenAI nicht, bestätigt nicht, dass ein bestimmter Beweis korrekt ist, und löst keine Preisvergabe aus.

Der Kontext erklärt die Zurückhaltung. Am 8. September veröffentlichte OpenAI eine angebliche Lösung des Navier-Stokes-Problems und gab an, dass ein internes KI-System – das das Unternehmen als deutlich leistungsfähiger als sein GPT-6-Astra-Modell beschreibt – sowohl einen analytischen Beweis als auch eine formale Verifizierung im Lean-Beweisassistenten erbracht habe. Bei der Ankündigung ging es sofort sowohl um Kredit als auch um Berechnungen, da zwei akademische Mathematiker am selben Tag eng verwandte Arbeiten veröffentlichten und Forscher auf OpenAI drängten, deren Arbeit das Ergebnis der Maschine beeinflusst hatte.

Da das Institut nun anerkennt, dass das Problem „offenbar geklärt“ sei, verlagert sich der Streit auf ein anderes Terrain: vom Pressemitteilungs-Ping-Pong zum Millennium-Preis-Bewertungsverfahren, das das Institut als „absichtlich ohne Eile“ bezeichnet.

Was das Navier-Stokes-Problem fragt

Das Problem betrifft die Existenz und Glätte von Lösungen der Navier-Stokes-Gleichungen im dreidimensionalen euklidischen Raum – die Gleichungen, die beschreiben, wie sich Flüssigkeiten wie Wasser und Luft bewegen. Obwohl diese Gleichungen täglich von Ingenieuren, Meteorologen und Aerodynamikern verwendet werden, haben Mathematiker nie bewiesen, dass glatte, physikalisch vernünftige Lösungen immer in drei Dimensionen existieren oder dass sie sich vorhersehbar verhalten, anstatt Singularitäten zu entwickeln.

Das Clay Mathematics Institute stellte bei einem Treffen in Paris im Jahr 2000 die „Millennium Prize Problems“ vor und verlieh jedem der sieben Probleme, zu denen auch die Riemann-Hypothese und P versus NP gehören, einen Preis von einer Million US-Dollar. In seiner Freitagserklärung bekräftigte das Institut seine ursprüngliche Begründung: das öffentliche Bewusstsein dafür zu schärfen, dass die Grenzen der Mathematik offen sind, und „Errungenschaften in der Mathematik von historischem Ausmaß“ anzuerkennen.

Nur eines der sieben Probleme, die Poincaré-Vermutung, wurde gelöst – von Grigori Perelman in den Jahren 2002 und 2003, für die er bekanntermaßen sowohl die Fields-Medaille als auch das Preisgeld ablehnte.

Eine „bewusst gemächliche“ Bewertung voraus

Die Ankündigung des Instituts weist darauf hin, dass die Preisregeln den maßgeblichen Rahmen für das weitere Geschehen bilden. „Die Preisordnung beschreibt den Prozess zur Bewertung der erreichten Leistungen und zur Vergabe von Anrechnungen“, heißt es in der Erklärung. „Der Prozess ist bewusst ohne Eile, aber wir werden Updates bereitstellen.“

Diese Formulierung lässt mehrere Fragen offen, über die die mathematische Gemeinschaft jetzt offen debattiert. Die Verifizierung ist die erste Hürde: Ein Expertenausschuss würde normalerweise viele Monate brauchen, um einen Beweis der Navier-Stokes-Glätte Zeile für Zeile zu überprüfen. Die Behauptung von OpenAI, dass sein Ergebnis eine maschinell überprüfte Formalisierung in Lean beinhaltet, könnte diesen Zeitrahmen im Prinzip drastisch verkürzen, da die formale Überprüfung die Frage der Korrektheit auf das reduziert, was ein Beweisassistent akzeptiert. Das Institut hat jedoch nicht gesagt, ob ihm eine solche Formalisierung vorgelegt wurde, wer die Gutachter sind oder wie die Anerkennung zwischen dem KI-System, seinen Entwicklern bei OpenAI und den akademischen Mathematikern aufgeteilt wird, deren entsprechende Arbeiten in derselben Woche erschienen.

In der Erklärung wird auch nicht darauf eingegangen, ob eine Lösung, die zu einem wesentlichen Teil einem KI-System zuzuschreiben ist, für einen Preis in Frage kommt, der, in der Gründungssprache des Instituts, menschliche mathematische Leistungen würdigen soll – eine Frage, die es in der 26-jährigen Geschichte des Preises noch nie gegeben hat.

Die Spannung hinter der Ankündigung

Die Ankündigung kommt zu einem außerordentlich heiklen Zeitpunkt für die Schnittstelle zwischen KI und Mathematik. Am Freitag veröffentlichte eine Gruppe von 25 Fields-Medaillengewinnern, darunter Terence Tao, eine formelle Erklärung, in der sie warnte, dass der Wettlauf um die Präsentation von KI-Systemen anhand mathematischer Benchmarks sowohl der Wissenschaft als auch der Gemeinschaft, die ihn unterstützt, schadet – eine Erklärung, die innerhalb eines Tages mehr als 1.300 zusätzliche Befürworter versammelte, wie zuvor von AI Buzz Wire berichtet.

Die beiden Dokumente lesen sich fast wie Antworten aufeinander. Die Erklärung der Mathematiker warnt davor, tiefgreifende Probleme als Benchmark-Trophäen zu behandeln; In der Ankündigung des Instituts wird zwar das Ergebnis begrüßt, der Moment wird jedoch gezielt auf Verständnis und nicht auf Sieg ausgerichtet, in der Hoffnung, dass „Wellen neuen menschlichen Verständnisses ausgelöst werden, wenn die Innovationen hinter dieser Arbeit analysiert und hinterfragt werden.“

Sogar der eigene Bericht des Instituts über das Umfeld erkennt den Wandel an: „Die zunehmende Fähigkeit neuer Technologien, die mathematische Forschung zu beschleunigen, hat dieses Gefühl der Vorfreude verstärkt“, heißt es in der Erklärung und schreibt jüngsten Durchbrüchen in angrenzenden Bereichen – einige davon wurden mit dem Clay Research Award ausgezeichnet – die Hoffnung zu, dass Navier-Stokes bald scheitern könnte.

Was als nächstes kommt

Im Moment ist die praktische Erkenntnis begrenzt, aber real: Das Institut, dem das Problem zusteht, hat zu Protokoll gegeben, dass es das Problem offenbar für gelöst hält, und hat sich verpflichtet, im Verlauf seiner Bewertung öffentliche Aktualisierungen vorzunehmen. Wenn die Arbeit die Prüfung übersteht, wäre es das zweite gelöste Millenniumsproblem, das erste seit zwei Jahrzehnten – und das erste in der Geschichte, das teilweise einem KI-System zuzuschreiben ist, eine Unterscheidung, die prägen wird, wie Mathematikinstitutionen mit der nächsten solchen Behauptung umgehen.

Das Institut hat um Geduld gebeten. Da der Prozess bewusst ohne Eile abläuft, werden die Fragen der Community – zum Beweis, zur Glaubwürdigkeit und zur Rolle der Maschine, die ihn erstellt hat – auf der Zeitachse des Instituts und nicht im Nachrichtenzyklus beantwortet.

---

Bleib vorne bei KI

Die neuesten KI-Nachrichten, Analysen und Durchbrüche – alles an einem Ort.

Mehr KI-Nachrichten lesen →