Kurz gesagt: OpenAI hat mehr als 300 KI-generierte Resultate zu mathematischen Problemstellungen veröffentlicht. Grundlage sind rund 4000 Aufgaben, von denen knapp ein Zehntel Ergebnisse mit ausreichender Signifikanz für die Aufnahme in den Katalog lieferte. Zugleich reagiert das Unternehmen mit zusätzlichen Transparenzangaben auf Kritik an früheren mathematischen KI-Arbeiten.
Künstliche Intelligenz soll längst nicht mehr nur bekannte Inhalte zusammenfassen, sondern auch bei komplexen wissenschaftlichen Fragestellungen neue Ergebnisse liefern. OpenAI zeigt nun in großem Maßstab, wie weit dieser Ansatz in der Mathematik bereits reicht. Doch wie belastbar und nachvollziehbar sind solche KI-generierten Lösungen?
Die von OpenAI veröffentlichte Sammlung umfasst 722 Manuskripte zu mehr als 370 sogenannten „Resultatfamilien“. Die große Mehrheit der Ergebnisse entstand nach Angaben des Unternehmens mit demselben internen KI-Modell. Insgesamt wurde das System mit rund 4000 mathematischen Aufgaben konfrontiert. Bei nicht ganz einem Zehntel davon bewertete OpenAI die Signifikanz der Antworten als hoch genug, um sie in die Sammlung aufzunehmen.
Der Rechenaufwand war dabei erheblich: Im Durchschnitt benötigte jede Lösung laut OpenAI ungefähr so viel Rechenleistung wie drei Stunden im Pro-Modus von ChatGPT. Die Veröffentlichung verdeutlicht damit nicht nur das mathematische Potenzial leistungsfähiger KI-Modelle, sondern auch den erheblichen Ressourcenbedarf hinter solchen Experimenten.
Mehr Transparenz nach früherer Kritik
Die neue Veröffentlichung folgt auf eine Kontroverse um frühere KI-gestützte Arbeiten von OpenAI zu mathematischen Problemstellungen. Vor der Freigabe der aktuellen Sammlung hat sich das Unternehmen nach eigenen Angaben deshalb mit der unabhängigen Advisory Group on Mathematics and Artificial Intelligence am Institute for Advanced Study beraten.
Um die Nachvollziehbarkeit zu verbessern, enthält die Sammlung zusätzliche Informationen über das Vorgehen sowie genauere Schätzungen zur jeweils benötigten Rechenleistung. OpenAI erklärt, dass solche Fortschritte dazu beitragen sollen, die Grenzen menschlichen Wissens zu erweitern und weitere mathematische Forschung zu ermöglichen. Ergänzend will das Unternehmen Konferenzen und Workshops unterstützen, die sich mit dem Verständnis KI-generierter mathematischer Ergebnisse befassen.
Hintergrund ist insbesondere die Debatte um eine KI-unterstützte Lösung eines Problems im Umfeld der Navier-Stokes-Gleichungen. Das Navier-Stokes-Problem gehört zu den sieben Millennium-Problemen der Mathematik, für deren Lösung jeweils ein Preisgeld von einer Million US-Dollar ausgelobt wurde.
An einem eng verwandten Problem hatten zuvor mehrere prominente Mathematiker gearbeitet und dabei selbst intensiv KI eingesetzt. Dadurch entstand der Verdacht, dass OpenAIs Modell auf Vorarbeiten dieser Forscher Zugriff gehabt haben könnte. Zusätzlich wurde dem Unternehmen vorgeworfen, Hinweise auf den Beitrag eines Forschers verbergen zu wollen, der beim Konkurrenten Anthropic beschäftigt ist. OpenAI erklärte, das ausgelobte Preisgeld nicht beanspruchen zu wollen.
Für die weitere Entwicklung KI-gestützter Forschung dürfte damit nicht allein die Zahl neuer Resultate entscheidend sein. Ebenso wichtig ist, wie transparent Entstehungsprozess, Rechenaufwand und mögliche Abhängigkeiten von bestehenden Arbeiten dokumentiert werden. Genau an diesem Punkt setzt OpenAI mit der aktuellen Veröffentlichung sichtbar stärker an.
Weitere Entwicklungen rund um KI-Modelle, Forschung und ihren praktischen Einsatz ordnen wir regelmäßig im Newsletter „Beratung-KI“ ein.
Effizienz durch Innovation: Teile der textlichen und visuellen Ausgestaltung dieser Seite wurden durch generative KI-Systeme unterstützt.