Am 8. September 2026 verkündete OpenAI, mithilfe von rund 10.000 KI-Agenten ein 90 Jahre altes Millennium-Problem gelöst zu haben. Doch die Nachricht löste in der Wissenschaftsgemeinschaft eher Verunsicherung als Jubel aus. Das Clay Mathematics Institute (CMI) reagierte umgehend: Nach den Statuten des Instituts kann die offizielle Evaluierung für das Preisgeld von einer Million Dollar frühestens im Jahr 2029 beginnen. Ein fast ein Jahrhundert lang ungelöstes mathematisches Problem schien binnen fünf Tagen durch geballte Rechenleistung geknackt worden zu sein – doch die institutionellen Begutachtungsmechanismen der Menschheit sind für eine derartige Geschwindigkeit keineswegs gerüstet.
90 Jahre Stillstand in der Hydrodynamik
Am 24. Mai 2000 lobte das Clay Mathematics Institute die sieben Millennium-Probleme der Mathematik aus und setzte auf jedes ein Preisgeld von einer Million Dollar aus. Die Navier-Stokes-Gleichungen bilden eines dieser Rätsel und sind ein Fundament der klassischen Kontinuumsmechanik. Sie beschreiben die mikroskopischen Gesetze von Flüssigkeits- und Gasbewegungen und bilden die Grundlage für aerodynamische Flugzeugdesigns, meteorologische Vorhersagemodelle und die Hämodynamik des menschlichen Blutkreislaufs. Bereits 1934 bewies der französische Mathematiker Jean Leray die Existenz sogenannter „schwacher Lösungen“ im verallgemeinerten Sinn. Ob jedoch bei dreidimensionalen inkompressiblen Fluiden in endlicher Zeit Singularitäten entstehen können – Punkte, an denen Geschwindigkeit und Wirbelstärke ins Unendliche anwachsen –, blieb über 90 Jahre lang unbeantwortet. Die Hürde war enorm: Da der Mathematik adäquate Werkzeuge zur Beschreibung drastischer dreidimensionaler Turbulenzdynamiken fehlten, ruhte das Problem über Jahrzehnte im Stillstand.
Abb.: Falschfarbenaufnahme eines turbulenten Strahls. Die Navier-Stokes-Gleichungen beschreiben genau diese Bewegung, und die offene Frage war, ob sie in endlicher Zeit ihre Glattheit verliert. Quelle: Wikimedia Commons / C. Fukushima, J. Westerweel, Technische Universität Delft
15 Millionen Dollar Rechenleistung erzwingen den Durchbruch
In dem Bericht On the Navier–Stokes Millennium Prize Problem legte OpenAI dar, dass rund 10.000 KI-Agenten, angetrieben von einem unveröffentlichten internen Modell, für eine massiv parallele Beweissuche koordiniert wurden. Die Initiative startete am 1. September und lieferte nach nur 88 Stunden eine Lösungskonstruktion. Im Anschluss benötigte GPT-6 Astra 17 Stunden, um ein formal verifiziertes Beweisskript in Lean zu generieren und zu kompilieren.
Während des gesamten Vorhabens wurden 4,9 Millionen Agenten-Nachrichten ausgetauscht und 300 Milliarden Token generiert. Allein der eigentliche Navier-Stokes-Beweis beanspruchte 2,7 Millionen Nachrichten und 130 Milliarden Token. Umgerechnet auf reguläre öffentliche API-Preise beliefen sich die Rechenkosten auf schätzungsweise 15 Millionen Dollar. Der gewaltige Ressourceneinsatz veränderte das Wesen mathematischer Deduktion: Der Beweisprozess glich einer rechenintensiven Ingenieursoffensive.
Das Resultat des Modells ist eindeutig: Ein glattes Fluid, das sich anfangs in Ruhe befindet, kann unter dem Einfluss einer glatten äußeren Kraft und bei endlicher Gesamtenergie tatsächlich in endlicher Zeit eine Singularität entwickeln. Die mathematische Konstruktion basiert auf einer nach innen spiralenden, axial gestreckten und sich stetig verjüngenden Wirbelstruktur – ein geometrisches Gebilde, das OpenAI im Bericht anschaulich als „Spaghetti“ bezeichnet.
Der vom Modell erzeugte Code kompilierte zwar fehlerfrei im interaktiven Beweisassistenten Lean, doch bedeutet dies zunächst nur, dass die Argumentation den formalen Axiomen des Systems entspricht. Dies garantiert weder, dass die mathematische Formulierung des Theorems vollkommen frei von Fehlinterpretationen ist, noch schließt es aus, dass der Beweis unerkannte Fehler oder Schwachstellen im Lean-Kernel ausnutzte. Erst fünf Monate zuvor sorgte ein Fall für Aufsehen, bei dem Kernel-Bugs in einem Formalisierungsprojekt fälschlicherweise erfolgreiche Beweise meldeten (False Positives). Maschinen können Lösungskandidaten in atemberaubendem Tempo produzieren, die inhaltliche Gültigkeit hängt jedoch weiterhin von der eingehenden Prüfung der konzeptionellen Grundlagen durch menschliche Experten ab.
Abb.: Die Wirbelstruktur im Beweis: nach innen spiralend, axial gestreckt, sich im Zentrum kontinuierlich zusammenziehend und beschleunigend, während die Gesamtenergie stets endlich bleibt. Quelle: OpenAI
Prioritätsstreitigkeiten legen neue Schwachstellen offen
Der vermeintliche Durchbruch wurde sogleich von einem unschönen Prioritätsstreit überschattet. Tristan Buckmaster, Professor an der New York University (NYU), und Levent Alpöge, Forscher bei Anthropic, hatten über ein Jahr lang an ähnlichen Konstruktionen gearbeitet und am 15. August erste Teilergebnisse für die Boussinesq- und Euler-Gleichungen erzielt. Als Buckmaster am 3. September Gerüchte über bevorstehende Veröffentlichungen hörte, wandte er sich direkt an OpenAI. Drei Tage später schlug Sébastien Bubeck von OpenAI in einem Telefonat ein gemeinsames Papier vor, verlangte jedoch zweimal nachdrücklich, Alpöge von der Autorenliste zu streichen – einzig mit der Begründung, dieser arbeite bei einem direkten Konkurrenten. Eine solche Ausschlussforderung widerspricht den Grundprinzipien freier wissenschaftlicher Kooperation fundamental.
Buckmaster lehnte die Forderung empört ab und machte den Schriftwechsel öffentlich. OpenAI reagierte mit einer Stellungnahme und beteuerte, das Team habe erst am 1. September nach Bekanntwerden der Gerüchte ein Ad-hoc-Projekt gestartet und zu keinem Zeitpunkt direkten Zugriff auf die Arbeiten der Forscher gehabt. Die Erklärung enthielt jedoch bemerkenswerte Vorbehalte: Man könne nicht völlig ausschließen, dass anonymisierte Daten aus Nutzerinteraktionen in die Modelltrainingsdaten eingeflossen seien. Ob solche indirekten Datenströme den entscheidenden Impuls gaben, lässt sich derzeit von keiner Seite belegen oder widerlegen.
Das bloße Gerücht entwickelte sich damit zu einer neuartigen systemischen Schwachstelle der Forschung. Wie der Softwareentwickler Simon Willison anmerkte: Das bloße Wissen, dass ein Problem grundsätzlich lösbar ist, reicht für Konkurrenzlabore aus, um Millionenbudgets an Rechenleistung freizuschalten, um das Ergebnis im Eiltempo zu reproduzieren oder vorwegzunehmen. Das Wettrüsten um rohe Inferenzkapazität verändert nicht nur, wie mathematische Sätze bewiesen werden, sondern bricht die Spielregeln des wissenschaftlichen Wettbewerbs auf.
Das Komitee lässt sich bewusst Zeit
Angesichts dieser Demonstration technologischer Übermacht reagierten akademische Institutionen mit demonstrativer Kühle. In seiner offiziellen Mitteilung vom 11. September erwähnte das Clay Mathematics Institute den Namen „OpenAI“ mit keinem einzigen Wort. Das Institut hielt lediglich fest, das Problem sei „offenbar gelöst worden“ (apparently been settled). In Diskussionen auf Hacker News hieß es treffend: In diesem einen Wort – apparently – bündele sich die gesamte Skepsis und institutionelle Zurückhaltung der mathematischen Fachwelt.
Die Mitteilung betonte nachdrücklich, dass das Begutachtungsverfahren bewusst entschleunigt angelegt sei. Nach den CMI-Richtlinien muss ein Lösungsvorschlag zunächst in einer qualifizierten, anerkannten mathematischen Fachzeitschrift mit Peer-Review publiziert werden. Veröffentlichungen auf Firmen-Websites oder Preprints auf arXiv erfüllen diese Voraussetzung nicht. Nach der offiziellen Veröffentlichung muss zudem eine zweijährige Wartefrist verstreichen, bevor das CMI überhaupt ein Gremium zur Begutachtung einberuft. Selbst wenn alle Begutachtungsverfahren ohne jede Verzögerung verlaufen sollten, wäre der Beweis frühestens im Jahr 2029 preiswürdig.
Diese institutionelle Haltung trifft auf eine wachsende Grundsatzdebatte. Nach einem offenen Brief, der von 25 Fields-Medaillenträgern unterzeichnet und von Terence Tao weiterverbreitet wurde, reicht die Tragweite weit über den konkreten Beweis der Navier-Stokes-Gleichungen hinaus. Die Kernfrage lautet längst nicht mehr, ob eine einzelne Rechnung stimmt. Im Zeitalter industrieller Rechenleistung geht es darum, wer die mathematischen Fragestellungen definiert und wer die Autorität besitzt, wissenschaftliche Wahrheit anzuerkennen. Die KI hat eines der härtesten Probleme der Naturwissenschaften in fünf Tagen niedergerungen, doch die Vergabe des Preises bleibt in den Händen menschlicher Beratungsprozesse verankert. Diese zeitliche Kluft ist ein bewusst gewählter Schutzmechanismus der Wissenschaft: Maschinenproduzierte Erkenntnis muss warten, bis das menschliche Verständnis mit ihr Schritt halten kann.
Referenzlinks:
- OpenAI On the Navier–Stokes Millennium Prize Problem
- Clay Mathematics Institute Announcement
- Tristan Buckmaster Public Statement
- Hacker News Discussion
- 25 Fields Medalists Open Letter
