OpenAI löst Navier-Stokes: Streit um angeblichen Datendiebstahl

OpenAI behauptet, das Navier-Stokes-Problem gelöst zu haben

OpenAI hat angekündigt, eines der Millenniumsprobleme, das Navier-Stokes-Problem, mit einem Modell der nächsten Generation gelöst zu haben, das noch leistungsfähiger ist als GPT-6 Astra. Die auf dem offiziellen Account veröffentlichte Ankündigung feiert eine 165-seitige Beweisführung, die von einer Gruppe von Agenten erstellt wurde. Die Euphorie hält jedoch nicht lange an: Die Community fragt sich bereits, ob das Ergebnis ein Meilenstein oder ein Diebstahl ist.

Die Kontroverse zielt auf eine mutmaßliche Aneignung von Informationen ab. Laut kursierenden Berichten soll OpenAI die Fortschritte eines Mathematikers eingesehen haben, der mit einem Freund bei Anthropic zusammenarbeitete, und diese als Trainingsdaten genutzt haben. Ein Team soll eine Woche lang mit diesem Material auf Hochtouren gearbeitet haben, um den Beweis zu vollenden. Die Vorwürfe gegen die Urheberschaft und die Sarracena des Vorgehens fliegen nur so.

Was ist das Navier-Stokes-Problem?

Navier-Stokes ist das Gleichungssystem, das die Bewegung von Fluiden beschreibt. Die Millenniumsaufgabe besteht darin zu beweisen, ob seine Lösungen in 3D Singularitäten erreichen können: das heißt, ob sich die Geschwindigkeit des Fluids ausgehend von normalen Bedingungen unendlich groß werden kann. Der 165-seitige Beweis kommt zu dem Schluss, dass dies mathematisch möglich ist, auch wenn das Szenario in der Realität nicht eintritt. Nach Ansicht von Experten sind diese „Blow-up“-Bedingungen quasi unmöglich, unter anderem weil kein Fluid die Lichtgeschwindigkeit überschreiten kann.

Wozu es dient: eher theoretisch als praktisch

Auch wenn es auf den ersten Blick so scheinen mag, als würde dies die Aerodynamik oder die Meteorologie revolutionieren, ist das Ergebnis rein theoretisch. Es wird nicht erwartet, dass es bei konkreten Berechnungen hilft. Tatsächlich beantwortet der Beweis eine Frage der Regularität, er bietet keine anwendbare Lösung. Weitaus größere Auswirkungen hätte es laut Experten, das P-NP-Problem zu lösen, das größte Rätsel der theoretischen Informatik. Aber das ist eine andere Geschichte.

Der Schatten der Urheberschaft

Die Kontroverse geht über die Mathematik hinaus. Wenn OpenAI tatsächlich Sitzungen eines mit Anthropic verbundenen Forschers verwendet hat, entsteht ein beispielloses Problem des geistigen Eigentums. Wer zeichnet für einen von einer KI gelösten Satz verantwortlich? Kann eine Maschine Mitautorin sein? Welchen Wert haben Trainingsdaten, wenn derjenige, der sie erzeugt, nicht weiß, dass sie in einem fremden Ergebnis enden werden? Diese Fragen sind keine Hypothesen mehr.

Der Beweis wird derzeit überprüft. Die wissenschaftliche Community hat kein Urteil gefällt. In der Zwischenzeit könnte der Vorfall den Beginn einer Ära markieren, in der Labore um Theoreme konkurrieren, nicht nur um Apps. Oder es taucht, wie so oft, ein Fehler auf und alles bleibt bei einem Schrecken. Die Geschichte der Mathematik ist voller Ankündigungen, die in sich zusammengefallen sind.