OpenAI behauptet Lösung von über 100 Matheproblemen ohne Beweise

OpenAI gab am 21. September bekannt, dass ein ungenanntes internes Modell, dessen Training am 28. August begann, mehr als 100 langjährige offene Probleme in fast allen Bereichen der Mathematik gelöst habe, einschließlich des Navier-Stokes-Millennium-Preis-Problems. Das Unternehmen legte keine Beweise, keine detaillierte Liste der Probleme und keine externe Überprüfung vor, sodass die gesamte Behauptung allein auf dem Wort des Unternehmens beruht.chosun+1

Parallel zur Ankündigung enthüllte OpenAI die Bildung einer Beratergruppe für Mathematik und Künstliche Intelligenz am Institute for Advanced Study in Princeton, die neue mathematische Ergebnisse von KI-Systemen prüfen soll, bevor diese als gelöst gelten.the-decoder+1

Eine bahnbrechende Behauptung ohne Dokumentation

Das Existenz- und Glattheitsproblem der Navier-Stokes-Gleichungen ist eines von sieben Millennium-Preis-Problemen, die das Clay Mathematics Institute im Jahr 2000 festlegte und die jeweils mit einem Preisgeld von einer Million Dollar dotiert sind. Die Gleichungen beschreiben Flüssigkeitsbewegungen und werden täglich in Physik und Technik verwendet, doch ihre mathematischen Grundlagen sind nach wie vor kaum verstanden.npr

OpenAI behauptete erstmals am 8. September, dass seine KI das Navier-Stokes-Problem in 88 Stunden unter Verwendung von etwa 10.000 KI-Agenten gelöst habe. Die Ankündigung vom 21. September weitete den Umfang drastisch aus, fügte mehr als 100 weitere gelöste Probleme hinzu und beinhaltete laut The Decoder die angebliche Lösung eines zweiten Millennium-Preis-Problems, der Hodge-Vermutung.the-decoder+2

Mathematiker, die das frühere 166-seitige Navier-Stokes-Manuskript geprüft haben, sagen, dass die Lean-Formalisierung korrekt kompiliert, was darauf hindeutet, dass der Beweis technisch gültig ist, aber das Papier selbst bleibt nahezu unlesbar. "Das Papier ist nicht für Menschen geschrieben", sagte Javier Gómez-Serrano, Mathematiker an der Brown University. James Maynard von der University of Oxford fügte hinzu, dass "es sehr schwierig war, aus diesem neuen KI-Beweis wirklich ein menschliches Verständnis zu gewinnen".npr

Kontroverse über die Eile bei der Veröffentlichung

Die Episode hat scharfe Kritik aus der mathematischen Gemeinschaft hervorgerufen. 25 Fields-Medaillen-Gewinner, darunter Terence Tao und June Huh, veröffentlichten am 11. September einen offenen Brief mit dem Titel "A Severe Misalignment of AI in Mathematics" und warnten, dass die Behandlung von Problemlösungen als Benchmark für KI-Systeme das konzeptionelle Verständnis untergrabe, das für die Disziplin von zentraler Bedeutung ist.the-decoder+1

Tristan Buckmaster, Mathematiker an der New York University, der mit seinem Mitarbeiter Levent Alpöge von Anthropic kurz vor einer Lösung für Navier-Stokes stand, beschuldigte OpenAI, von ihrem Ansatz erfahren zu haben und in einem Wettlauf zur ersten Veröffentlichung angetreten zu sein. Laut Buckmaster bot OpenAI ihm an, ihn auf ihr Papier zu setzen, wenn er Alpöge fallen ließe. "Es gibt so viele Indizien dafür, dass sie weit mehr Wissen über unsere Arbeit hatten, als sie zugaben", sagte Buckmaster gegenüber NPR. OpenAI hat die Verwendung ihrer Arbeit bestritten.npr

Eine Beratergruppe mit Grenzen

Die neue Beratergruppe umfasst neun Mathematiker, darunter die Fields-Medaillen-Gewinner Timothy Gowers und Martin Hairer, und arbeitet unabhängig ohne Vergütung durch OpenAI. Die Mitglieder können unaufgefordert Ratschläge geben und ihre Empfehlungen veröffentlichen.mixed-news+1

Die Gruppe unterliegt jedoch einer eingebauten Einschränkung: Sie hat keine Befugnis darüber, wie schnell OpenAI neue Erkenntnisse verfolgt. "Wichtig ist, dass die Gruppe nicht dafür verantwortlich sein wird, uns zu beraten, wie wir unseren internen Fortschritt in der Mathematik beschleunigen", schrieb OpenAI.the-decoder+1

Das Clay Mathematics Institute, das in seiner Geschichte erst einen Millennium-Preis vergeben hat, stellte in einer Erklärung vom 11. September fest, dass sein Bewertungsprozess "bewusst unhastig" sei und eine Veröffentlichung in einer qualifizierten Fachzeitschrift sowie eine mindestens zweijährige allgemeine Akzeptanz erfordere, bevor ein Preis in Betracht gezogen werde. Keines der von OpenAI beanspruchten Ergebnisse wurde veröffentlicht, was bedeutet, dass diese Uhr noch nicht zu laufen begonnen hat.mixed-news