Navier-Stokes, OpenAI

Navier-Stokes gelöst: OpenAI verzichtet auf 1-Million-Dollar-Preis

Veröffentlicht am: 09.09.2026 um 10:53 Uhr | Redaktion boerse-global.de

OpenAI präsentiert einen formalisierten KI-Beweis zum Navier-Stokes-Problem, doch unabhängige Mathematiker haben das Ergebnis noch nicht geprüft.

OpenAI meldet KI-Lösung für Navier-Stokes-Problem ohne Preisgeld
Nahaufnahme komplexer mathematischer Gleichungen, die mit weißer Kreide auf eine dunkle Schiefertafel geschrieben wurden. Illustration mit AI erstellt.

OpenAI hat erklärt, keinen Anspruch auf das mit 1 Million US-Dollar dotierte Millennium-Preisgeld zu erheben, obwohl das Unternehmen die Lösung eines der bekanntesten ungelösten Probleme der Mathematik verkündet hat. Wie das Unternehmen mitteilte, habe ein internes KI-Modell das Navier-Stokes-Problem gelöst – eines der sieben Millennium-Preisprobleme, für deren Lösung das Clay Mathematics Institute jeweils eine Million US-Dollar ausgesetzt hat.

Laut einem technischen Papier, das OpenAI veröffentlichte, benötigte das System für die Lösung 88 Stunden. Dabei kamen rund 10.000 KI-Agenten zum Einsatz, die 2,7 Millionen Nachrichten austauschten und 130 Milliarden Tokens verarbeiteten. Die Berechnung habe laut BBC-Berichten Kosten von rund 10 Millionen US-Dollar verursacht.

Ergebnis in Lean formalisiert

Das eingesetzte interne Modell sei nach Angaben von The Verge deutlich leistungsfähiger als GPT-6 Astra, das aktuelle Standardmodell von OpenAI. Das Training des Systems habe am 28. August begonnen. Der Beweis wurde in der formalen Sprache Lean formalisiert; als Ergebnis stellte OpenAI eine Singularität in endlicher Zeit fest.

Trotz des Anspruchs, das Problem gelöst zu haben, verzichtet OpenAI ausdrücklich auf das Preisgeld. Eine unabhängige Prüfung der Lösung durch die mathematische Fachgemeinschaft steht laut einem Bericht der Washington Post noch aus – ein Umstand, der angesichts der Tragweite der Behauptung von Bedeutung ist, bevor das Ergebnis als offiziell anerkannt gelten könnte.

Vorwürfe eines NYU-Professors

Anzeige

OpenAI verzichtet auf das Preisgeld – doch die unabhängige Prüfung steht noch aus. Wie belastbar sind KI-Beweise wirklich? Unser Leitfaden liefert eine Checkliste zur Bewertung solcher Ergebnisse und zeigt, worauf Sie achten sollten. Jetzt Leitfaden zur KI-Bewertung anfordern

Der NYU-Professor Tristan Buckmaster hat OpenAI unfaire Methoden vorgeworfen und die Möglichkeit angesprochen, dass das Unternehmen unerlaubt Nutzerdaten aus seinem Coding-Tool Codex verwendet haben könnte. Buckmaster hatte gemeinsam mit dem Anthropic-Mathematiker Levent Alpöge am Tag zuvor verwandte Ergebnisse zu dem Problem veröffentlicht.

OpenAI wies die Vorwürfe laut The Verge zurück und erklärte, keine spezifischen Nutzerdaten abgerufen zu haben. Eine detaillierte Stellungnahme zu den konkreten Trainingsdaten des eingesetzten Modells blieb bislang aus.

Einordnung

Anzeige

Die Vorwürfe um mögliche Datenmissbrauch in der KI-Forschung machen eines deutlich: Transparenz ist entscheidend. Erfahren Sie in unserem Leitfaden, welche ethischen KI-Praktiken und Forschungsstandards aktuell gelten sollten. Leitfaden zu ethischen KI-Praktiken sichern

Der Verzicht auf das Preisgeld dürfte auch mit dem offenen Prüfstatus der Lösung zusammenhängen. Die Millennium-Preise werden traditionell erst nach einer mehrjährigen Begutachtung durch die Fachwelt vergeben, und die Vorwürfe aus dem akademischen Umfeld erhöhen den Druck auf OpenAI, die Nachvollziehbarkeit seines Ergebnisses transparent zu belegen.

Für das Unternehmen, das zuletzt auch mit dem Angebot einer KI-gestützten Lösung für Chipdesign auf sich aufmerksam machte, steht mit der Navier-Stokes-Ankündigung ein weiterer Beleg für den Anspruch im Raum, an vorderster Front komplexer wissenschaftlicher Fragestellungen zu arbeiten. Ob dieser Anspruch Bestand hat, wird sich erst zeigen, wenn unabhängige Mathematiker den vorgelegten Beweis geprüft haben.

Disclaimer...

de | wissenschaft | 70074126 |