OpenAI hat einen Lösungsvorschlag für das Navier-Stokes-Existenz- und Glattheitsproblem veröffentlicht, eines von sieben Millennium-Problemen, die mit einem Preis von 1 Million Dollar dotiert sind. Der Vorschlag wurde von einem experimentellen System generiert, in dem rund 10.000 KI-Agenten 88 Stunden lang zusammenarbeiteten. Der Beweis argumentiert, dass sich ein Flüssigkeitswirbel so weit dehnen und konzentrieren kann, dass seine Geschwindigkeit in endlicher Zeit unendlich wird, während die Gesamtenergie endlich bleibt. Das interne Modell dahinter ist laut OpenAI deutlich leistungsfähiger als GPT-6 Astra. Die Agenten tauschten 2,7 Millionen Nachrichten aus und erzeugten etwa 130 Milliarden Tokens, bevor Astra weitere 17 Stunden mit der Formalisierung und Überprüfung des Beweises verbrachte.
Warum es wichtig ist
Die Navier-Stokes-Gleichungen beschreiben, wie sich Flüssigkeiten wie Wasser und Luft bewegen. Die Frage, ob perfekt glatte Strömungen in Turbulenzen mit unendlicher Geschwindigkeit zerfallen können, ist seit fast 90 Jahren offen. Reale Flüssigkeiten können sich nach der aktuellen Physik nicht unendlich schnell bewegen, doch die Gleichungen können das Verhalten auf extremen Skalen trotzdem nicht vorhersagen. Eine bestätigte Lösung würde verfeinern, wie Wissenschaftler turbulente Strömungen im Flugzeugbau, in der Wettervorhersage und in der Blutflussforschung modellieren.
Jenseits der Mathematik ist möglicherweise die Methodik die größere Geschichte. Wenn Tausende von KI-Agenten 90 Jahre offene Mathematik in drei Tagen komprimieren können, könnte dieselbe Architektur auf schwierige Probleme in Materialwissenschaft, Energie, Luft- und Raumfahrt sowie Medizin ausgerichtet werden, Bereiche, in denen der Engpass selten Daten und fast immer Forschungsstunden sind.
Marktauswirkungen
Das Ergebnis ist noch keine offiziell anerkannte Lösung. Das Clay Mathematics Institute verlangt, dass Lösungsvorschläge Jahre der Prüfung und breite Akzeptanz unter Mathematikern überstehen, bevor ein Preis verliehen wird, ein Prozess, der typischerweise länger dauert als die Erstellung des Beweises selbst.
Parallel zu diesem Zeitplan entfaltet sich bereits eine separate Kontroverse. Der NYU-Mathematiker Tristan Buckmaster und der Anthropic-Forscher Levent Alpöge verfolgten ein eng verwandtes Strömungsdynamik-Problem mit KI-Werkzeugen einschließlich Codex, und Buckmaster hat öffentlich infrage gestellt, wie OpenAI innerhalb weniger Tage nach dem Bekanntwerden der Fortschritte des Duos zum selben Ansatz gelangte.
Häufig gestellte Fragen
-
Was ist das Navier-Stokes-Existenz- und Glattheitsproblem?
Es ist eines von sieben Millennium-Problemen, die jeweils mit einem Preis von 1 Million Dollar dotiert sind. Die offene Frage lautet, ob perfekt glatte Flüssigkeitsströmungen, die durch die Navier-Stokes-Gleichungen beschrieben werden, in endlicher Zeit in Turbulenzen mit unendlicher Geschwindigkeit zerfallen können.
-
Wie haben OpenAIs KI-Agenten den Lösungsvorschlag erstellt?
OpenAI zufolge arbeiteten rund 10.000 KI-Agenten 88 Stunden lang zusammen, tauschten 2,7 Millionen Nachrichten aus und erzeugten etwa 130 Milliarden Tokens, bevor ein internes Modell, das leistungsfähiger als GPT-6 Astra ist, weitere 17 Stunden mit der Formalisierung und Überprüfung des Beweises verbrachte.
-
Was behauptet der vorgeschlagene Navier-Stokes-Beweis konkret?
Er argumentiert, dass ein Flüssigkeitswirbel sich dehnen und konzentrieren kann, bis seine Geschwindigkeit in endlicher Zeit unendlich wird, selbst wenn die Gesamtenergie des Systems endlich bleibt.
-
Warum stellen Mathematiker OpenAIs Ergebnis infrage?
NYU-Mathematiker Tristan Buckmaster und Anthropic-Forscher Levent Alpöge verfolgten ein eng verwandtes Strömungsdynamik-Problem mit KI-Werkzeugen einschließlich Codex. Buckmaster hat öffentlich infrage gestellt, wie OpenAI innerhalb weniger Tage nach Bekanntwerden der Fortschritte des Duos zum selben Ansatz gelangte.
-
Wird OpenAI das $1-Million-Millennium-Preisgeld beanspruchen?
Nein. Das Clay Mathematics Institute verlangt weiterhin Jahre der Prüfung und breite Akzeptanz unter Mathematikern, bevor der Preis verliehen wird, und OpenAI hat erklärt, ihn unabhängig davon nicht beanspruchen zu wollen.
CoinTelegraph
Crypto News
CryptoSlate
WatcherGuru
TheBlock