OpenAI zufolge könnte ein KI-gestütztes Mathematikprojekt wie der gerade abgeschlossene Navier-Stokes-Beweisaufwand nächstes Jahr etwa 100.000 Dollar kosten – gegenüber rund 10 Millionen Dollar für den ersten Versuch. Hält die Prognose stand, wäre das ein Rückgang von etwa 99 % innerhalb eines Jahres.

Die Prognose wurde veröffentlicht, während das Unternehmen weiterhin Fragen von Mathematikern zur Forschungspriorität und zur Frage ausgesetzt ist, wem das Ergebnis zuzuschreiben ist.

Was OpenAI sagt, was es getan hat

Am 8. September 2026 kündigte OpenAI Ergebnisse eines internen KI-Systems an, das Berichten zufolge das Flaggschiffmodell des Unternehmens, GPT-6 Astra, übertroffen hat. Nach Angaben von OpenAI erstellte das System einen analytischen Beweis zum Navier-Stokes-Existenz- und Glatteitsproblem, eine der bekanntesten offenen Fragen der Mathematik. Zudem erstellte es eine Formalisierung dieses Beweises in Lean, einem Softwarewerkzeug, das mathematische Beweise Schritt für Schritt überprüft.

Das Navier-Stokes-Problem ist eines der Millenniumspreis-Probleme, die im Jahr 2000 vom Clay Mathematics Institute ausgeschrieben wurden. Es betrifft die Gleichungen, die beschreiben, wie inkompressible Fluide sich in drei Dimensionen bewegen. OpenAIs Ergebnis deutet auf einen Zusammenbruch hin: Nach Angaben des Unternehmens können die Gleichungen ausgehend von glatten Anfangsbedingungen Singularitäten in endlicher Zeit entwickeln, während die Gesamtenergie endlich bleibt. Eine bestätigte Singularität dieser Art würde bedeuten, dass die Gleichungen über einen bestimmten Punkt hinaus keine glatte Beschreibung der Strömung mehr liefern – weshalb die Glatteitsfrage seit langem ein Maßstab für die Grenzen dieser Gleichungen ist.

Die Rechnung

Der Aufwand stammte nicht aus einer einzelnen Chatbot-Sitzung. OpenAI nutzte ein dynamisches Netzwerk von rund 10.000 koordinierten KI-Agenten. Diese Agenten arbeiteten etwa 88 Stunden am Beweis selbst, weitere 17 Stunden gingen für die Verifizierung der Lean-Formalisierung drauf.

Schätzungen zufolge lagen die Rechenkosten des Projekts zwischen 10 und 15 Millionen Dollar, wobei OpenAIs eigene Darstellung von rund 10 Millionen Dollar ausgeht.

Das Unternehmen erwartet, dass ein ähnliches Projekt nächstes Jahr etwa 100.000 Dollar kosten wird. Diesen projizierten Rückgang führt es auf erwartete Effizienzgewinne bei der KI zurück. Das Wort „erwartet“ wiegt schwer: Die Zahl von 100.000 Dollar ist eine Prognose, keine Rechnung.

Das Preisgeld liegen lassen

Das Clay Mathematics Institute verbindet mit dem Navier-Stokes-Problem ein Preisgeld von 1 Million Dollar. OpenAI hat erklärt, es werde den Preis nicht verfolgen. Gegenüber einer Rechnung von 10 Millionen Dollar oder mehr würde der Preis kaum den Strom decken.

Das Navier-Stokes-Problem ist eines von sieben Millenniumspreis-Problemen, die jeweils mit demselben Preisgeld von 1 Million Dollar dotiert sind. Im Vierteljahrhundert seit ihrer Ausschreibung wurde nur eines gelöst: die Poincaré-Vermutung, bewiesen von Grigori Perelman, der ebenfalls auf das Preisgeld verzichtete.

Die Zuschreibungsfrage

Die Ankündigung hat unter Mathematikern eine heftige Debatte über Forschungspriorität und die Vergabe von Anerkennung ausgelöst. Einige prominente Stimmen haben Bedenken geäußert, der Beweis könnte auf unveröffentlichte Methoden oder Erkenntnisse zurückgegriffen haben. Bis Mitte bis Ende Oktober 2026 lief diese Diskussion noch, und Forscher prüfen OpenAIs Behauptungen und den mathematischen Ansatz dahinter weiterhin kritisch.

Die Lean-Formalisierung hilft auf einer Ebene. Ein maschinell geprüfter Beweis lässt sich in Bezug auf die Korrektheit schwerer anfechten als ein langes Papier, das von einer Handvoll Experten begutachtet wurde. Die Vorgeschichte deutet in dieselbe Richtung: Die Keplersche Vermutung über Kugelpackungen erhielt eine vollständige Bestätigung erst, nachdem ein mehrjähriges formales Verifikationsprojekt sie Zeile für Zeile überprüft hatte. Doch Korrektheit und Anerkennung sind getrennte Fragen. Lean kann bestätigen, dass jeder logische Schritt hält; es kann nicht bestimmen, wessen Idee der entscheidende Schritt war.

Was das bedeutet

Die folgenreichste Zahl der Ankündigung ist vielleicht nicht 10 Millionen Dollar. Es sind 100.000 Dollar. Bei 10 Millionen Dollar ist ein solcher Lauf eine einmalige Demonstration, die nur eine Handreich gut finanzierter Labore versuchen könnte. Bei 100.000 Dollar beginnt er einer Forschungsbudgetposition zu ähneln, die eine Universitätsfakultät oder ein mittelständisches Unternehmen nachvollziehbar rechtfertigen könnte.

Drei Fragen sind von hier an besonders wichtig: ob unabhängige Experten das Ergebnis bestätigen, wie das Clay Mathematics Institute angesichts von OpenAIs Verzicht auf den Preis reagiert und ob die Läufe im nächsten Jahr tatsächlich auch nur in die Nähe der 100.000-Dollar-Marke kommen.

Quelle: CryptoBriefing (redaktionell bearbeitet von Diego Almada Lopez), 29. Oktober 2026 — OpenAI says its $10 million Navier-Stokes proof could cost $100,000 next year