25 Fields-Medaillen-Gewinner warnen: KI-Ansprüche in der Mathematik gefährden die Disziplin

OpenAI gab am 8. September bekannt, dass ein unveröffentlichtes internes KI-Modell das Navier-Stokes-Existenz- und Glattheitsproblem gelöst habe, eines der sieben Millennium-Probleme der Mathematik, indem es etwa 10.000 KI-Agenten über 88 Stunden koordinierte. Die Behauptung, die noch auf eine unabhängige Überprüfung wartet, hat einen heftigen Streit über Anerkennung, Datenschutz und die Rolle der KI in der wissenschaftlichen Forschung entfacht.venturebeat+2

Der Beweis und der Streit

Die Navier-Stokes-Gleichungen beschreiben die Bewegung von Flüssigkeiten wie Wasser und Luft und bilden die Grundlage der modernen Wissenschaft und Technik. OpenAI erklärte, sein Modell habe gezeigt, dass die Gleichungen eine Singularität, also ein "Blow-up" der Geschwindigkeit, in endlicher Zeit entwickeln können, eine Frage, die Mathematiker seit Jahrzehnten beschäftigt. Das Unternehmen gab an, das Projekt gestartet zu haben, nachdem Gerüchte aufgekommen waren, dass Forscher, die mit dem Konkurrenten Anthropic verbunden sind, kurz vor einer Lösung stünden.galaxy+3

Stunden vor der Ankündigung von OpenAI veröffentlichte der NYU-Mathematiker Tristan Buckmaster eine Erklärung, in der er enthüllte, dass er und der Anthropic-Forscher Levent Alpöge über ein Jahr lang unter Verwendung mehrerer großer Sprachmodelle, einschließlich OpenAIs Codex, an demselben Problem gearbeitet hatten. Buckmaster sagte, als er OpenAI bezüglich seiner Arbeit kontaktierte, lud ihn der Forscher des Unternehmens, Sebastien Bubeck, zur Zusammenarbeit ein, unter der Bedingung, dass Alpöges Name aufgrund seiner Anthropic-Zugehörigkeit entfernt werde. Als Buckmaster ablehnte, soll Bubeck gefragt haben: "Warum willst du deine Karriere ruinieren?" OpenAI hat die Behauptung zurückgewiesen.singularityhub+4

OpenAI räumte zudem ein, dass es nicht vollständig ausschließen könne, dass Nutzerdaten zum Training seiner Modelle beigetragen haben. "Obwohl unwahrscheinlich, können wir nicht ausschließen, dass anonymisierte Daten, die aus der Nutzung unserer Produkte stammen, zur Verbesserung unserer Modelle beigetragen haben", erklärte das Unternehmen.venturebeat+1

Mathematiker wehren sich

Am 11. September unterzeichneten fünfundzwanzig Fields-Medaillen-Gewinner, darunter Terence Tao, einen offenen Brief, in dem sie davor warnten, dass der Wettlauf von KI-Unternehmen um mathematische Durchbrüche die Grundlagen der Disziplin bedroht. Die Unterzeichner argumentierten, dass hastig angekündigte Lösungen ohne ordnungsgemäße Ausarbeitung oder Würdigung früherer Arbeiten die kollaborative Kultur untergraben, die die Mathematik aufrechterhält. "Ohne die willigen Mathematiker, die sich um ihre Entwicklung und Integration in den mathematischen Kanon kümmern müssen, würden KI-konzipierte Ideen niemals vollständig zum Leben erweckt werden", hieß es in dem Brief.techcrunch+1

Tao warnte separat davor, dass, wenn KI-Unternehmen "auf ein Gerücht über vielversprechende Arbeit aufspringen und Millionen von Dollar darauf werfen, um Konkurrenten auszustechen, Forscher am Ende möglicherweise keine vielversprechende Forschung mehr mit der breiteren Gemeinschaft teilen". OpenAI zog diese Woche sein Sponsoring für eine Mathematikveranstaltung am Caltech zurück, nachdem es dort Kritik von Forschern gegeben hatte.singularityhub+1

Breitere Auswirkungen

Die Episode hat Fragen aufgeworfen, die weit über die Mathematik hinausgehen. Das Clay Mathematics Institute führt das Navier-Stokes-Problem weiterhin als "aktiv" und nicht als "gelöst", und gemäß seinen Regeln kann ein Preis erst mindestens zwei Jahre nach der Veröffentlichung verliehen werden. OpenAI hat erklärt, dass es den Preis von 1 Million Dollar nicht annehmen werde.theweek+2

Die Kontroverse entsteht zu einem Zeitpunkt, an dem sich sowohl OpenAI als auch Anthropic auf geplante Börsengänge vorbereiten, was beiden Unternehmen einen Anreiz gibt, die Fähigkeiten ihrer Modelle zu präsentieren. Wie die Unterzeichner der Fields-Medaille schrieben: "Die Probleme, vor denen die mathematische Gemeinschaft jetzt steht, ähneln den Problemen, mit denen andere wissenschaftliche und kreative Berufe konfrontiert sind, und deuten auf Probleme hin, mit denen die gesamte Menschheit konfrontiert sein könnte".galaxy+1