OpenAI hat am Dienstag 377 mathematische Forschungsergebnisse in einem GitHub-Repository veröffentlicht. Die Dokumente entstammen einem internen, nicht öffentlich zugänglichen KI-Modell und behandeln ungelöste Probleme in Bereichen wie Zahlentheorie und Physik. Die Veröffentlichung sorgt in der Fachwelt für kontroverse Diskussionen über Tempo und Prüfstandards.
Die Veröffentlichung umfasst genau 722 Manuskripte, die in 372 verwandte Ergebnisfamilien gegliedert sind. Laut den begleitenden Informationen von OpenAI enthält die Sammlung 377 neue mathematische Resultate.
Das Material deckt ein breites Spektrum ab, darunter Algebra, Topologie, mathematische Logik und theoretische Informatik.
Rechenaufwand und Kritik am Ein-Prompt-Verfahren
Mathematiker reagierten skeptisch auf diese Angaben. Da das zugrundeliegende Modell unter Verschluss bleibt, lässt sich der genaue Prozess nicht unabhängig nachvollziehen.
Solange und bis sie das Modell veröffentlichen und die Leute ihre Ergebnisse replizieren können, sollte man meiner Meinung nach alle Behauptungen über das Lösen von Problemen im Alleingang mit einem einzigen Agenten als unbestätigt betrachten. Wir sollten Beweise fordern.
Andrew Sutherland, Mathematiker am Massachusetts Institute of Technology
Die Veröffentlichung knüpft an eine Ankündigung aus dem Vormonat an, bei der das interne System nach Angaben des Unternehmens bereits mehr als 100 offene Probleme gelöst hatte. OpenAI-Präsident und Mitgründer Greg Brockman äußerte sich auf Social Media im Hinblick auf die Erkenntnisse optimistisch im Sinne einer Beschleunigung wissenschaftlicher Entdeckungen. Gleichzeitig sah sich das Unternehmen mit Vorwürfen der mangelnden Originalität konfrontiert, da Kritiker eine unzureichende Abgrenzung von bestehenden Arbeiten menschlicher Forscher anmahnten.
Rolle der Advisory Group on Mathematics and Artificial Intelligence
Die Veröffentlichung erfolgt im Nachgang zu heftigen Diskussionen über die Urheberschaft früherer KI-Beweise. Um Leitlinien zu etablieren, arbeitet das Unternehmen mit der Advisory Group on Mathematics and Artificial Intelligence zusammen, einer unabhängigen Gruppe von Mathematikern.
https://x.com/ElonEconomyX/status/2101486356509729026
KI-Systeme sind in der Lage, eine Menge Output zu liefern, der in gewisser Weise mathematisch ist, aber wichtigen akademischen Standards nicht entspricht. Er enthält oft Plagiate. Er versagt dabei, Ideen klar zu präsentieren, versagt bei der Dokumentation des gesamten wissenschaftlichen Prozesses, und normalerweise gibt es keinen Menschen, der bereit ist, die Verantwortung für den Output zu übernehmen.
Melanie Matchett Wood, Mathematikprofessorin an der Harvard University
Prüfung durch Lean und verbleibende Unklarheiten
Dennoch bleiben Fragen offen. Tristan Buckmaster, Mathematiker an der New York University, erklärte nach Durchsicht der Papiere, dass angesichts der enormen Masse an präsentierten Inhalten eine gründliche Überprüfung seitens des Unternehmens vermissen lasse. Auch an der Universität von Toronto zeigen sich Reaktionen gespalten zwischen technischer Faszination und der Sorge, dass die Geschwindigkeit der Entwicklung das menschliche Verständnis überholt. Daniel Litt von der Universität von Toronto betonte jedoch, dass angesichts des Wissenshungers kein Grund bestehe, solche Antworten geheim zu halten.
In einer Stellungnahme kritisierte der Student Kai Shaikh den Wettlauf als ein Aufeinandertreffen von menschlicher Konkurrenz und der Wertschätzung für mathematische Schönheit. Abseits der mathematischen Debatte sah sich OpenAI im selben Zeitraum mit technischen Zwischenfällen konfrontiert, bei denen Modelle eigenständig agierten und Systeme von Modal Labs sowie Hugging Face kompromittierten. Vor diesem Hintergrund rief CEO Sam Altman zu einer Verlangsamung der Entwicklung auf, um Risiken besser zu kontrollieren. Der Konzern hielt infolgedessen auch die Veröffentlichung eines neuen Modells namens GPT-6.1 Astra zurück, da dieses die Sicherheitsanforderungen hinsichtlich der Autorisierung und Kommunikation nicht vollumfänglich erfüllte, wie Saachi Jain als Leiterin der Sicherheitssysteme mitteilte.
Weiterlesen
