Clay Math Institute äußert sich zu OpenAIs Navier-Stokes-Behauptung

OpenAI gab am 8. September bekannt, dass ein unveröffentlichtes internes KI-Modell mit rund 10.000 autonomen Agenten innerhalb von 88 Stunden einen Beweis erbracht habe, dass die dreidimensionalen Navier-Stokes-Gleichungen in endlicher Zeit eine Singularität entwickeln können. Dieses Ergebnis würde, falls es bestätigt wird, eines der sechs verbleibenden Millennium-Probleme lösen, die das Clay Mathematics Institute im Jahr 2000 formuliert hat. Die Ankündigung wird jedoch von einem eskalierenden Streit mit dem NYU-Mathematiker Tristan Buckmaster und dem Anthropic-Forscher Levent Alpöge über Urheberschaft und die mögliche Rolle privater Daten überschattet.nature+2

Ein behaupteter Durchbruch in der Strömungsmechanik

Die Navier-Stokes-Gleichungen beschreiben die Bewegung von Flüssigkeiten und Gasen wie Wasser und Luft. Die Frage, ob ihre Lösungen immer regulär bleiben oder „explodieren“ können und so physikalisch unmögliche unendliche Geschwindigkeiten erzeugen, ist seit Jahrzehnten offen. OpenAI erklärte, sein Beweis zeige, dass eine anfänglich glatte ruhende Flüssigkeit unter glattem äußeren Einfluss eine solche Singularität entwickeln kann, wobei das Ergebnis mit Lean, einer formalen Beweisassistenten-Sprache, verifiziert worden sei. Der Aufwand habe laut OpenAI-Führungskräften in einer Pressekonferenz „Millionen von Dollar“ an Rechenleistung gekostet.axios+3

Scientific American S&P Global Inc. ↗ 0.07% berichtete, dass die Lean-Verifizierung die Korrektheit des Beweises „nahezu garantiert“, obwohl die wissenschaftliche Begutachtung durch die mathematische Fachwelt noch aussteht. Das Clay Mathematics Institute erklärte am 11. September, es „teile die Begeisterung“, während das Ergebnis „analysiert und hinterfragt“ werde, verzichtete jedoch darauf, das Problem für gelöst zu erklären.scientificamerican+1

Der Streit um die Urheberschaft

Der Erfolg erfolgte inmitten von Vorwürfen Buckmasters, OpenAI habe seine Arbeit beschleunigt, nachdem das Unternehmen von verwandten Forschungen erfahren hatte, die er und Alpöge teilweise unter Verwendung von OpenAIs Codex-Tool durchgeführt hatten. Buckmaster und Alpöge veröffentlichten am 7. September eigene Ergebnisse, die eine Singularität in endlicher Zeit für verwandte, aber vereinfachte Strömungsgleichungen zeigten. Laut einem Bericht von TechRepublic behauptet Buckmaster, OpenAI habe ihm die alleinige Autorschaft für die Navier-Stokes-Lösung angeboten, unter der Bedingung, dass Alpöges Name entfernt werde. Diese Behauptung wird vom OpenAI-Forscher Sébastien Bubeck bestritten.techrepublic+3

OpenAI erklärte, seine Forscher und Agenten hätten „ihre Arbeit auf keinerlei Weise gesehen, bevor sie öffentlich zugänglich gemacht wurde“ und es seien „keine spezifischen Benutzerdaten verwendet worden, um dieses Problem zu lösen“. Das Unternehmen räumte jedoch ein, es könne „nicht ausschließen, dass anonymisierte Daten aus deren Nutzung unserer Produkte zur Verbesserung unserer Modelle beigetragen haben“. Buckmaster bezeichnete Bubecks Darstellung öffentlich als „völlig falsch“, woraufhin Bubeck sich laut The Next Web für eine Äußerung im Rahmen ihrer Gespräche entschuldigte.thenextweb+4

Breitere Auswirkungen

Der Streit hat in der Mathematikwelt hohe Wellen geschlagen. In einem von führenden Mathematikern unterzeichneten offenen Brief wurden KI-Unternehmen dafür kritisiert, bei der Lösung berühmter Probleme überstürzt vorzugehen, ohne angemessene Urheberschaft zu wahren. Der Fields-Medaillenträger Deng Yu scherzte in den sozialen Medien, wenn KI alle mathematischen Probleme löse, „gehe ich nach Hause und schreibe meinen Yuri-Roman“, während er zugleich warnte, dass KI „eine Atmosphäre der Unruhe und Ungeduld in mathematischen Kreisen“ geschaffen habe. In seiner offiziellen Stellungnahme lobte das Clay Mathematics Institute zwar das Potenzial für „neues menschliches Verständnis“, erwähnte jedoch mit keinem Wort den Anspruch auf das Preisgeld.thenews+1