OpenAI hat einen 166-seitigen Beweis für die Navier-Stokes-Gleichungen vorgelegt, eines der sieben Millennium-Probleme. Rund 10.000 KI-Agenten arbeiteten 88 Stunden daran und erzeugten 130 Milliarden Tokens. Eine unabhängige Prüfung steht noch aus. Gleichzeitig entstand Streit mit Mathematikern Tristan Buckmaster und Levent Alpöge über die Entstehung und Autorenschaft. Dieser Artikel fasst den Stand der Ankündigung, die Rechenaufwände und die offenen Fragen zusammen.
Was besagt der OpenAI-Beweis?
OpenAI gab am Dienstag bekannt, dass ein internes, noch unveröffentlichtes Modell eine Lösung für die Regularitätsfrage der Navier-Stokes-Gleichungen gefunden habe. Die Agenten tauschten 2,7 Millionen Nachrichten aus und verbrauchten Rechenleistung im Wert von mehreren Millionen US-Dollar. Das Clay Mathematics Institute bietet für eine anerkannte Lösung eine Million Dollar.
Wie kam es zur Kontroverse?
Am Vorabend der Veröffentlichung hatten Buckmaster von der New York University und Alpöge von Anthropic eigene Arbeiten zu verwandten Strömungsproblemen auf Mastodon veröffentlicht. Buckmaster wirft OpenAI vor, die Forschungsrichtung gekannt und mit deutlich höherem Aufwand überholt zu haben. OpenAI bestreitet den direkten Zugriff auf deren Arbeiten und betont, dass die Beweise sich unterscheiden.
Streit um Autorenschaft und Datennutzung
OpenAI soll Buckmaster vorgeschlagen haben, allein ein Paper über den Navier-Stokes-Beweis zu verfassen und Alpöge wegen seiner Tätigkeit bei Anthropic auszuschließen. OpenAI-Forscher Sébastien Bubeck widersprach dieser Darstellung teilweise und entschuldigte sich für die Wortwahl. Buckmaster prüft weiter, ob anonymisierte Nutzungsdaten seine Interaktionen beeinflusst haben könnten.
FAQ: Häufig gestellte Fragen
Handelt es sich bereits um eine anerkannte Lösung?
Nein. Eine unabhängige Überprüfung des 166-seitigen Papers steht noch aus und ist für die Anerkennung durch die Fachgemeinschaft erforderlich.
Darf OpenAI das Preisgeld beanspruchen?
OpenAI hat erklärt, das Preisgeld des Clay Mathematics Institute nicht beanspruchen zu wollen, sollte der Beweis anerkannt werden.
Welche Rechenressourcen wurden eingesetzt?
Laut OpenAI arbeiteten zeitweise 10.000 Agenten parallel; die Kosten beliefen sich auf mehrere Millionen US-Dollar.
Wie unterscheiden sich die Beweise?
OpenAI betont, dass die eigenen Ergebnisse deutlich von den Arbeiten Buckmasters und Alpöges abweichen.
Was bedeutet der Vorfall für die KI-Forschung?
Er zeigt sowohl das Potenzial großer Agentensysteme als auch die neuen Fragen zu Transparenz und Datenherkunft.
Key Takeaways
OpenAI veröffentlichte einen 166-seitigen Navier-Stokes-Beweis ohne unabhängige Bestätigung.
10.000 KI-Agenten erzeugten 130 Milliarden Tokens und 2,7 Millionen Nachrichten.
Buckmaster und Alpöge hatten zuvor verwandte Ergebnisse veröffentlicht.
OpenAI bestreitet direkten Zugriff auf deren Arbeiten.
Die Autorenschaftsfrage zwischen OpenAI und den externen Forschern bleibt offen.
