OpenAI veröffentlicht Hunderte mathematische Lösungen auf GitHub inmitten akademischer Skepsis

OpenAI hat Hunderte von Lösungsvorschlägen und Fortschrittsberichten zu 372 mathematischen Problemen veröffentlicht und 722 Manuskripte über ein öffentliches GitHub-Repository geteilt. Die Ergebnisse wurden von einem noch nicht veröffentlichten ChatGPT-Pioniermodell generiert und folgen der früheren Behauptung des Unternehmens, dass seine KI-Systeme über 100 langjährige offene Probleme in verschiedenen mathematischen Disziplinen gelöst hätten. Die Veröffentlichung enthält die Argumentationswege des Modells, Rechenschätzungen und Dokumentationen zu den gesamten Lösungsversuchen.

Laut OpenAI erforderte ein durchschnittliches Ergebnis etwa drei Stunden Rechenkapazität von ChatGPT Pro, wobei fast jedes Papier aus einer einzigen Eingabeaufforderung an einen einzelnen KI-Agenten generiert wurde. Zu den behaupteten Durchbrüchen gehören ein Lösungsvorschlag für die vierdimensionale Kakeya-Vermutung, algorithmische Optimierungen und Fortschritte bei der Riemannschen Vermutung. Obwohl OpenAI mehrere von seiner unabhängigen Beratungsgruppe für Mathematik und KI empfohlene Publikationsprotokolle befolgte, hielt das Unternehmen spezifische Rechenlaufzeiten für einzelne Probleme sowie die exakten verwendeten Prompts zurück.

Diese massive Datenveröffentlichung erfolgt inmitten anhaltender Unruhen in der globalen Mathematik-Community bezüglich KI-Behauptungen, insbesondere nach Streitigkeiten um frühere Arbeiten zu den Navier-Stokes-Gleichungen. Akademische Forscher äußerten sich vorsichtig hinsichtlich der Validität der Papiere und merkten an, dass das Unternehmen noch nicht die notwendigen Werkzeuge für eine unabhängige Überprüfung durch Dritte oder eine externe Replikation der Berechnungen bereitgestellt habe.

Unabhängige Mathematiker betonen, dass die Ergebnisse einer strengen Peer-Review unterzogen werden müssen, bevor historische wissenschaftliche Durchbrüche validiert werden können. „Solange sie das Modell nicht veröffentlichen und die Leute ihre Ergebnisse nicht replizieren können, sollte man jede Behauptung über das Lösen von Problemen mit einem einzigen Agenten als nicht verifiziert betrachten“, sagte der MIT-Mathematiker Andrew Sutherland gegenüber Scientific American und unterstrich die Forderung nach Transparenz.