OpenAI löst Navier-Stokes-Problem

Die US-Firma OpenAI hat mitgeteilt, mithilfe von zehntausend autonomen Systemen und einem Austausch von 2,7 Millionen Nachrichten eines der berühmtesten mathematischen Rätsel der Menschheit geknackt zu haben. Das Navier-Stokes-Problem zählt zu den im Jahr 2000 vom Clay Mathematics Institute definierten Millennium Prize Problems. Für die Lösung jeder dieser fundamentalen Aufgaben ist ein Preisgeld von jeweils einer Million Dollar auslobt worden. Bislang galt erst eines der sieben Probleme als gelöst.

Das Unternehmen setzte laut Mark Chen, OpenAI’s chief research officer, in den letzten Tagen vor dem Durchbruch ein unreleased Modell ein, das weit leistungsfähiger ist als alles bisher öffentlich Verfügbare.

Trotz der beeindruckenden Rechenleistung blickt die Fachwelt skeptisch auf das Resultat. Obwohl der Beweis im Kern technisch korrekt sein dürfte, gestaltet sich die Lektüre des 166-seitigen Manuskripts äußerst mühsam. Führende Mathematiker bemängeln, dass der Text keinen echten Einblick gewähre.

OpenAI löst Navier-Stokes-Gleichung

James Maynard von der Universität Oxford erklärte, dass es bislang sehr schwierig sei, aus diesem neuen KI-Beweis wirklich ein menschliches Verständnis zu gewinnen.

Auch Javier Gómez-Serrano, a mathematician at Brown University, der selbst künstliche Intelligenz in der Forschung einsetzt, urteilte trocken, dass das Papier nicht für Menschen geschrieben sei. Das Dokument könne zwar nach some serious re-writing eventuell zur Weiterentwicklung des Fachgebiets beitragen, aber er fügte hinzu, dass das Papier Stand heute uns nicht viel lehre.

Hinter den Kulissen entbrannte zudem ein Streit über den genauen Zeitpunkt und die Urheberschaft des Durchbruchs. Am Dienstag, dem 1. September, hatte OpenAI Gerüchte vernommen, wonach zwei Millennium-Probleme kurz vor der Lösung stünden. Daraufhin warf das Unternehmen seine internen Ressourcen an. Die Initiative traf zu einem Zeitpunkt ein, als akademische Forscher ohnehin kurz vor dem Ziel standen. Tristan Buckmaster, a mathematician at New York University, und Levent Alpöge, der bei der Konkurrenzfirma Anthropic arbeitet, hatten monatelang an einem ähnlichen Ansatz gearbeitet und eigene KI-gestützte Vorarbeiten veröffentlicht.

OpenAI Löst Millennium-Problem Mit KI-Agenten

OpenAI bestritt jegliche unzulässige Verwendung fremder Vorleistungen, musste jedoch einräumen, dass de-anonymisierte Daten aus der Nutzung ihrer Produkte durch Dritte theoretisch zur Modellverbesserung beigetragen haben könnten. 25 Träger der Fields-Medaille veröffentlichten daraufhin eine Erklärung, die sich kritisch mit den misaligned goals zwischen kommerziellen KI-Konzernen und der reinen Mathematik auseinandersetzte.

James Maynard, Fields-Medizin-Träger, erklärte bedauernd, dass es aufgrund der Entscheidungen der beteiligten Menschen zu diesem unkoordinierten, chaotischen Kampf geworden sei.

Obwohl OpenAI angekündigt hat, das Preisgeld von einer Million Dollar im Falle einer offiziellen Bestätigung nicht für sich zu beanspruchen, liegt der Ball nun bei den zuständigen Gremien. Die Regularien des Stifters verlangen strenge Hürden, bevor überhaupt ein Prüfungsausschuss einberufen wird.

Ed Sheeran Plans to Donate Two Million Dollars for Humanitarian Aid in Palestine

Professor Martin Bridson, President of the Clay Mathematics Institute, betonte gegenüber Reportern, dass der gesamte Prüfprozess absichtlich behäbig und absolut unnachgiebig gestaltet sei. Eine Lösung müsse zwingend in einer begutachteten Fachzeitschrift erscheinen und nach der dortigen Annahme noch zwei Jahre lang der kritischen Prüfung durch die weltweite Fachgemeinschaft standhalten. OpenAI reagierte auf die Kontroversen unterdessen mit der Gründung eines independent mathematics advisory group, die künftig bei der Verbreitung und Einordnung neuer Ergebnisse helfen soll. Das Gremium wird laut Unternehmensangaben jedoch keinerlei Mitspracherechte bezüglich des Tempos interner Entwicklungen erhalten.