Zusammenfassung:
Der Riese für künstliche Intelligenz OpenAI gab bekannt, dass er mit einer Reihe von Top-Mathematikern zusammenarbeiten wird, um eine unabhängige „Beratungsgruppe für Mathematik und künstliche Intelligenz“ (Advisory Group on Mathematics and Artificial Intelligence) zu gründen, die am Institute for Advanced Study (IAS) in Princeton angesiedelt sein wird.
Zuvor behauptete OpenAI, dass ein internes, nicht bekannt gegebenes Modell, mit dessen Training am 28. August dieses Jahres begonnen wurde, nicht nur eines der Probleme des Millennium-Preises gelöst habe, das Navier-Stokes-Existenz- und Glätteproblem (Navier-Stokes-Problem), sondern auch mehr als 100 seit langem bestehende offene Probleme gelöst habe, die die meisten Bereiche der Mathematik abdecken.
Dieser bahnbrechende Fortschritt und sein extrem schnelles Entwicklungstempo übertrafen sogar die Erwartungen des internen Mathematikerteams von OpenAI. Der Ansatz kommerzieller KI-Unternehmen, historische mathematische Vermutungen als Wettbewerb um Medaillen zu betrachten und die Ergebnisse überstürzt zu veröffentlichen, hat jedoch auch in der Wissenschaft eine starke Gegenreaktion ausgelöst. 25 bekannte Mathematiker, darunter Terence Tao, Yau Shing-tung und mehrere Gewinner der Fields-Medaille, haben zuvor einen offenen Brief mit dem Titel „Das gravierende Missverhältnis der künstlichen Intelligenz im Bereich der Mathematik“ veröffentlicht, in dem sie Technologiegiganten vorwerfen, blind ohne Peer-Review voranzuschreiten, detaillierte Argumentationsprozesse zu vernachlässigen und die Beiträge ihrer Vorgänger nicht richtig zu würdigen. Dies untergräbt nicht nur akademische Normen, sondern kann auch verheerende Auswirkungen auf die gesunde Entwicklung der Mathematikdisziplin haben.
Um die Spannungen mit der Wissenschaft abzubauen, ermöglichte OpenAI die Einrichtung dieser unabhängigen Beratergruppe. Die Liste lautet wie folgt:
François Charles
Camillo De Lellis
Timothy Gowers
Martin Hairer
Nikhil Srivastava
Ulrike Tillmann
Ravi Vakil
Edward Witten
Melanie Matchett Wood
Der offiziellen Erklärung zufolge wird die Gruppe als Brücke zwischen kommerziellen KI-Institutionen und der Mathematikgemeinschaft und der Öffentlichkeit fungieren, bei der Bewertung des akademischen Werts maschinell generierter Beweise helfen, den Veröffentlichungsprozess der Ergebnisse leiten und Empfehlungen zur Anwendung von Forschungsspezifikationen und Lehrmitteln geben. Um die Objektivität und Unabhängigkeit der Bewertung sicherzustellen, akzeptieren die Mitglieder der Beratergruppe kein Gehalt von OpenAI und haben die Befugnis, über Mitgliederwechsel zu entscheiden, öffentlich Widerspruch zu äußern und unabhängige Kommentare abzugeben.
Dieser Überwachungsmechanismus hat jedoch immer noch klare Machtgrenzen. Sowohl OpenAI als auch das Institute for Advanced Study haben eindeutig bestätigt, dass die Beratergruppe nur Beratungs- und Überprüfungsfunktionen hat und nicht befugt ist, in die interne Modellentwicklung und die Mathematikprojekte von OpenAI einzugreifen, sie zu verzögern oder das Tempo zu ändern. Obwohl die mathematische Gemeinschaft immer noch Bedenken hinsichtlich der Genauigkeit und Originalität dieser maschinellen Beweise hat, markiert dieser Schritt das Eindringen der KI-Technologie in die reine Grundlagenwissenschaft und zwingt die Industrie und die traditionelle Wissenschaft dazu, einen neuen Rahmen für Vertrauen und Zusammenarbeit zu schaffen.
Kommentare