OpenAI hat nach eigenen Angaben das Navier-Stokes-Problem mithilfe von zehntausend KI-Agenten gelöst. Der am 8. September 2026 vorgelegte Beweis für die mathematischen Fluidgleichungen erfordert Millionen an Rechenkosten, wird jedoch von Fragen zu Priorität und intellektuellem Ursprung überschattet.
Die Bewältigung eines der sieben fundamentalen Probleme der Mathematik markiert einen bemerkenswerten Wendepunkt in der Automatisierung wissenschaftlicher Forschung. Wie die Firma OpenAI mitgeteilt hat, gelang der Durchbruch bei den Navier-Stokes-Gleichungen durch den Einsatz von rund 10.000 parallelen Agenten. Das Projekt rückt eine Fragestellung in den Mittelpunkt, die das Clay Mathematics Institute im Jahr 2000 als Teil seiner Millennium-Probleme mit einem Preisgeld von jeweils einer Million US-Dollar versehen hatte. Jahrhundert das Verhalten strömender Fluide wie Wasser und Luft, wobei Mathematiker sie als abstrakte Systeme von Funktionen untersuchen.
Rechenbilanz und Agentenschwärme beim Navier-Stokes-Beweis
Der Einsatz der KI-Infrastruktur sprengte herkömmliche wissenschaftliche Dimensionen. Allein für diesen Teilprozess tauschten die Systeme 2,7 Millionen Nachrichten aus und generierten rund 130 Milliarden Output-Tokens. Im Anschluss benötigte das Modell GPT-6 Astra weitere 17 Stunden, um den Beweis in der Sprache Lean vollständig zu formalisieren.
| Kennzahl | Wert | Einordnung |
|---|---|---|
| Agenten | ~10.000 concurrent | Gruppe für den Navier-Stokes-Beweis |
| Rechenzeit | ~88 Stunden | Bis zur Resolution am Samstag, 5. September |
| Lean-Prüfung | +17 Stunden | Maschinelle Verifizierung via GPT-6 Astra |
| Nachrichten | 2,7 Millionen | Allein für die Navier-Stokes-Variante |
| Compute-Kosten | Mehrere Millionen Dollar | Schätzung von Sébastien Bubeck |
Die Gesamtrechnung über alle bearbeiteten Probleme hinweg beläuft sich laut den Berichten auf knapp 4,9 Millionen Nachrichten und rund 300 Milliarden Output-Tokens. Die damit verbundenen Rechenkosten schätzte Sébastien Bubeck von OpenAI auf mehrere Millionen Dollar. Trotz dieses Aufwands stellte das Unternehmen klar, dass es den Clay-Millennium-Preis von einer Million Dollar nicht beanspruchen wird.
Singularitäten in dreidimensionalen Strömungen
Im Kern der mathematischen Untersuchung stand die Frage, ob dreidimensionale, inkompressible Flüssigkeiten stets glatt und stetig bleiben oder ob es zu Singularitäten kommt. Der vorgelegte Beweis zeigt, dass unter spezifischen Bedingungen sogenannte Blow-ups auftreten können. Ein infinitesimal kleiner Teil der Strömung beginnt dabei unendlich schnell zu rotieren, während die Gesamtenergie des Systems endlich bleibt.
Dabei geht es um einen mathematischen Ausdruck, der nach Claude Louis Marie Henri Navier (1785 bis 1836) und George Gabriel Stokes (1819 bis 1903) benannt ist und strömende Medien beschreibt. Keine Wettervorhersage und kein Klimamodell kommt ohne ihn aus. Die Millennium-Frage betrifft konkret die Navier-Stokes-Gleichungen für inkompressible Medien, etwa flüssiges Wasser, deren Zähigkeit nicht davon abhängt, wie schnell das Medium verformt wird.
Fachleute betonen jedoch, dass dieses Resultat ein idealisiertes Kontinuumsmodell betrifft und keine unmittelbare Anleitung für Ingenieure oder Meteorologen darstellt. Reale Fluide bestehen aus Molekülen und besitzen physische Grenzen, die unendliche Werte in der Natur ausschließen. Dennoch bewertete die Fachwelt die formale Strenge des Beweises als remarkable mathematical achievement, wie es in den Berichten über die mathematische Sensation anklingt.
Streit um Priorität und Intellektuelle Schuld
Überschattet wird der Erfolg von heftigen Debatten über den methodischen Ursprung. Tristan Buckmaster von der New York University und Levent Alpöge, der für Anthropic arbeitet, hatten kurz vor der offiziellen Ankündigung eigene Fortschritte bei der Untersuchung der Navier-Stokes-Gleichungen publiziert. Buckmaster äußerte den Verdacht, dass die von ihm und Alpöge genutzten KI-Anfragen bei OpenAI eingeflossen sein könnten, da die gewählte Strategie der gezielten Termkonstruktion äußerst speziell sei.
Tristan Buckmaster, Professor an der New York University, schildert in einem Statement, das seine und Alpöges Forschungsarbeiten begleitet, die sich überschlagenden Ereignisse der vergangenen Tage aus seiner Sicht. Vor allem ein Mitarbeiter von OpenAI kommt dabei nicht besonders gut weg. In einer offiziellen Pressekonferenz, die am Dienstagabend (deutsche Zeit) stattfand, dementierte die Tech-Firma OpenAI diese Anschuldigungen.
Dennoch bleibt die Frage nach der intellektuellen Urheberschaft offen. Der Fields-Medaillist Terence Tao hatte die Vorarbeiten von Buckmaster und Alpöge zuvor in seinem Blog gewürdigt und urteilte, dass sie zwar das Ziel noch nicht ganz erreicht haben, aber einen so großen Durchbruch erzielt haben, dass es sehr gut möglich erscheint, das Ziel in naher Zukunft zu verwirklichen. Da OpenAI den Beweis zusammen mit der computerlesbaren Formalisierung veröffentlicht hat, können Mathematiker weltweit die einzelnen Schritte überprüfen. Ob der Beweis letztlich lückenfrei ist, muss die Fachwelt in den kommenden Monaten unabhängig verifizieren, während das Clay Mathematics Institute ohnehin eine zweijährige Frist für die offizielle Anerkennung vorsieht und den Preis frühestens dann überweist, wenn der Beweis auch von menschlichen Mathematikern komplett nachvollzogen ist.
