OpenAI gründet Mathe-Beirat nach Lösung von über 100 Problemen

OpenAI steht Berichten zufolge kurz davor, ein zweites Millennium-Problem zu lösen, während die erste derartige Behauptung — eine am 8. September verkündete Lösung des Navier-Stokes-Existenz- und Glattheitsproblems — auf zunehmende Kritik von Mathematikern stößt, die dem Unternehmen vorwerfen, eine Lücke in der Problemformulierung ausgenutzt zu haben.

Ein umstrittener Sieg und neue Grenzen

Der Navier-Stokes-Beweis des Unternehmens, der von 10.000 autonomen KI-Agenten in 88 Stunden auf einem unveröffentlichten internen Modell erstellt wurde, wurde bei seiner Ankündigung als Meilenstein gefeiert. Doch laut Scientific American löste der Beweis eine Variante des Problems, die auf einer künstlichen äußeren Kraft beruht — ein Ansatz, den viele Experten als losgelöst von der physikalischen Realität betrachten, die die Gleichungen eigentlich beschreiben sollen. "Das wichtigste Problem ist ungelöst", sagte Luis Silvestre, Mathematiker an der University of Chicago, gegenüber Scientific American. "Das Clay-Problem ist geklärt, aber das Hauptproblem für die Navier-Stokes-Gleichungen nicht".scientificamerican+2

Drei Mathematiker haben inzwischen einen Beweis veröffentlicht, der zeigt, dass die Methode von OpenAI niemals ohne die äußere Kraft auf das vollständige Problem ausgeweitet werden kann, was bedeutet, dass der Ansatz in einer Sackgasse gelandet ist. Das Ergebnis erfüllt zwar technisch die ursprüngliche Problemstellung des Clay Mathematics Institute, die eine Option für äußere Kräfte enthielt, doch Strömungsmechaniker stehen nun vor der unangenehmen Möglichkeit, dass die Gleichungen nur unter künstlichen Bedingungen explodieren.scientificamerican

Unterdessen berichtete The Information am Montag, dass OpenAI kurz vor der Lösung eines weiteren der verbleibenden Millennium-Probleme steht, und OpenAI selbst gab am 21. September bekannt, dass sein neues Modell "inzwischen mehr als 100 langjährige offene Probleme in den meisten Bereichen der Mathematik gelöst hat".openai+1

Mathematiker wehren sich

Der rasante Fortschritt hat die mathematische Gemeinschaft alarmiert. Am 11. September veröffentlichten 25 Fields-Medaillen-Träger eine gemeinsame Erklärung mit dem Titel "A Severe Misalignment of AI in Mathematics" und warnten, dass der Wettlauf der KI-Unternehmen um die Lösung berühmter Probleme die Kultur der offenen Forschung und des menschlichen Verständnisses untergrabe. "Oft werden diese Lösungen in Eile angekündigt, ohne Zeit für eine ordnungsgemäße Ausarbeitung, die Isolierung neuer Methoden und Ideen sowie die Zitierung relevanter früherer Arbeiten anderer", hieß es in dem Schreiben. Es wurden zudem Vorwürfe laut, OpenAI habe einen Mathematiker unter Druck gesetzt, einen mit Anthropic verbundenen Mitarbeiter nicht zu nennen.techcrunch+2

Ein Beirat als Brücke

Als Reaktion darauf kündigte OpenAI am Montag eine unabhängige Advisory Group on Mathematics and Artificial Intelligence an, die am Institute for Advanced Study angesiedelt ist. Zu den neun Mitgliedern der Gruppe gehören die Fields-Medaillen-Träger Timothy Gowers, Martin Hairer und Edward Witten sowie Mathematiker aus Harvard, Stanford, Oxford und Berkeley. Die Gruppe wird bei der Überprüfung und Kommunikation von Ergebnissen beraten, akademische Standards wahren und unabhängig agieren — die Mitglieder werden nicht von OpenAI bezahlt und können den Ansatz des Unternehmens öffentlich kritisieren.openai

"Es stehen schwierige Fragen darüber an, wie KI das mathematische Verständnis unterstützen kann", schrieb OpenAI und fügte hinzu, man wolle, dass "Mathematiker im Mittelpunkt der Lösungsfindung stehen". Die Gruppe wird jedoch nicht beraten, wie OpenAI seinen internen Fortschritt vorantreibt — eine Unterscheidung, die wenig dazu beitragen dürfte, die Sorgen der Mathematiker zu zerstreuen, die zusehen, wie die Maschinen an ihnen vorbeiziehen.openai