OpenAI behauptete am 8. September, ein internes Modell habe rund 10.000 Agenten eingesetzt, um das Navier‑Stokes-Problem zu lösen – ein Anspruch, den zwei Mathematiker bestreiten.
Wichtigste Punkte:
- Ein noch nicht veröffentlichtes OpenAI-System lieferte einen schriftlichen Beweis und eine Lean-Formalisierung für eines der sieben Millennium-Probleme.
- Tristan Buckmaster und Levent Alpöge, die einen eng verwandten Befund einen Tag zuvor veröffentlicht hatten, hinterfragen, wie OpenAI zum gleichen Ansatz gelangte.
- Terence Tao wirft KI-Laboren vor, berühmte offene Probleme für PR-Zwecke auszuschlachten, statt echten mathematischen Fortschritt zu suchen.
Details zum angeblichen Navier‑Stokes-Beweis von OpenAI
Das Unternehmen hat eine Ausarbeitung und eine Lean-Formalisierung veröffentlicht, die behauptet, dass eine zunächst glatte, ruhende Flüssigkeit in endlicher Zeit eine Singularität ausbilden kann. Die beteiligten Forscher beschreiben das interne System als deutlich leistungsfähiger als GPT‑6 Astra und betonen, dass das Modell noch im Training sei und seine Performance weiter zunehme. Mathematiker verfolgen genau diese Fragestellung seit rund 90 Jahren, seit Jean Leray 1934 Existenzresultate in einem abgeschwächten, verallgemeinerten Sinn vorgelegt hat.
OpenAI begann das Training des Modells am 28. August und ließ es ab dem 1. September auf alle offenen Millennium-Probleme los, nachdem Gerüchte kursierten, zwei dieser Aufgaben seien bereits gelöst worden. Führungskräfte erklärten gegenüber Journalisten, die Rechenkosten hätten sich auf mehrere Millionen Dollar summiert.
Lesen Sie auch: XRP-Kurs peilt 1,46 US-Dollar an – Wale steigen im September wieder ein
Buckmaster und Bubeck im Streit um Anerkennung
Tristan Buckmaster, Mathematiker an der New York University, und Levent Alpöge, Anthropic-Forscher in privater Rolle, hatten fast ein Jahr lang an verwandten Gleichungen der Fluiddynamik gearbeitet. Aufbauend auf Ergebnissen von Diego Cordoba und Luis Martinez-Zoroa veröffentlichten sie Lean-verifizierte Beweise zum erzwungenen Euler-Problem – nur einen Tag, bevor OpenAI mit seinem Navier‑Stokes-Resultat an die Öffentlichkeit ging. Buckmaster stellte daraufhin die Frage, ob seine vertraulichen Entwürfe in Codex das konkurrierende Projekt beeinflusst hätten, und sagt, er habe keine Auskunft zur Trainingsbasis des Modells erhalten.
Zudem wirft er OpenAI-Forscher Sebastien Bubeck vor, darauf gedrängt zu haben, Alpöge wegen dessen Arbeitgebers aus einem Fachartikel zu streichen, und ihn anschließend davor gewarnt zu haben, mit den Vorwürfen an die Öffentlichkeit zu gehen.
Bubeck wies diese Darstellung als falsch und hetzerisch zurück.
OpenAI erklärte, weder seine Forscher noch die Agenten hätten vor der Veröffentlichung Einblick in die Arbeiten von Buckmaster und Alpöge gehabt; zugleich räumte das Unternehmen ein, dass anonymisierte Nutzungsdaten in die Verbesserung der Modelle eingeflossen sein könnten. Man plane nicht, das mit dem Problem verbundene Preisgeld von 1 Million US‑Dollar zu beanspruchen. Das Clay Mathematics Institute, das die sieben Millennium-Probleme im Jahr 2000 ausgerufen hat, führt Navier‑Stokes weiterhin als ungelöst.
Terence Tao zweifelt am Kurs der KI-Mathematik
Terence Tao, von vielen als einer der bedeutendsten lebenden Mathematiker angesehen, warnte, KI-Unternehmen behandelten berühmte offene Probleme primär als Marketing-Benchmark für ihre neuesten Systeme. Wer diese Fragen nur noch als „Antwortenreservoir“ plündere, gefährde das Ökosystem, aus dem neue Methoden, neue Fragestellungen und die nächste Generation aktiver Mathematiker entstehe, so Tao – er verglich das Vorgehen mit der Plünderung einer archäologischen Ausgrabungsstätte.
Die Dimension des Experiments wuchs rasant. Rund 100 Agenten lösten zunächst eine einfachere, nicht erzwungene Euler-Variante in etwa 50 Stunden. Das Navier‑Stokes-Team meldete am 5. September, rund 88 Stunden nach Start, einen angeblichen Durchbruch; die anschließende Lean-Verifikation des Beweises dauerte weitere 17 Stunden.
Weiterlesen: Bitget integriert Blockchain-Unterricht in UNICEF-Programm mit über 642.000 Teilnehmenden
