OpenAI veröffentlicht neue mathematische Ergebnisse eines internen Frontier-Modells

Wie die Ergebnisse geteilt werden

Laut OpenAI soll die Veröffentlichung verbessern, wie KI-generierte Mathematik mit der Forschungsgemeinschaft geteilt wird. Das Unternehmen habe die unabhängige Advisory Group on Mathematics and Artificial Intelligence am Institute for Advanced Study konsultiert, um bewährte Verfahren zu entwickeln, und sich bei der Entscheidung über die Veröffentlichung auf deren Rat und öffentliche Empfehlungen gestützt.

Für diese Veröffentlichung liegen die Ergebnisse in einem GitHub-Repository, das auch Protokolle für Überarbeitungen und Zitierungen der Paper enthält. OpenAI prüfe noch gemeinschaftlich betriebene Alternativen, die den Richtlinien des Komitees entsprechen. Bei künftigen Veröffentlichungen wolle das Unternehmen die Qualität der Paper durch bessere Zitate, mathematische Darstellung und Präsentation der Ergebnisse verbessern.

Lean-Beweise und Angaben zur Rechenleistung

Das Repository enthält zudem Formalisierungen vieler Beweise in Lean, einer Programmiersprache, mit der sich mathematische Beweise per Computer überprüfen lassen. OpenAI will weitere Formalisierungen ergänzen, sobald sie vorliegen.

Im Sinne wissenschaftlicher Transparenz und Offenheit veröffentlicht das Unternehmen weitere Details dazu, wie die Ergebnisse zustande kamen. Dazu gehören:

• 10 Zusammenfassungen der Denkprozesse des Modells
• Schätzungen der eingesetzten Rechenleistung, ausgedrückt in der Nutzung von ChatGPT Pro
• Statistiken zur Zahl der versuchten Probleme

Laut OpenAI entsprach ein durchschnittliches Ergebnis in etwa drei Stunden Denkzeit von ChatGPT Pro.

Förderung und Pläne für das Modell

OpenAI will mit dem Fortschritt die Grenzen menschlichen Wissens verschieben und weitere Durchbrüche in der Mathematik ermöglichen. Das Unternehmen plant, eine Reihe von Workshops, Konferenzen und Sonderprogrammen zu fördern, in deren Mittelpunkt das Verständnis bedeutender KI-Ergebnisse steht. Mehr dazu wolle es in naher Zukunft mitteilen.

Außerdem will OpenAI Wissenschaftlern modernste Fähigkeiten direkt zur Verfügung stellen und arbeitet nach eigenen Angaben daran, das Modell, das diese Ergebnisse hervorgebracht hat, verantwortungsvoll zu veröffentlichen. Die fortlaufende Bewertung der internen Frontier-Modelle in Mathematik und anderen Wissenschaften sei wichtig, um die Entwicklung von Werkzeugen für diese Felder zu beschleunigen.

Was das für Forschende bedeutet

Für Mathematiker bietet die Veröffentlichung Material, das sich prüfen und zitieren lässt: Die Lean-Formalisierungen erlauben die computergestützte Verifikation von Beweisen, und die Zitierungs- und Überarbeitungsprotokolle des Repositorys geben einen festen Rahmen, um auf die Ergebnisse zu verweisen. Die offengelegten Schätzungen zur Rechenleistung und die Statistiken zu den Versuchen liefern etwas Kontext dazu, wie die Ergebnisse entstanden sind.

OpenAI will weiter auf Rückmeldungen aus der Community eingehen und seine Standards für künftige Offenlegungen bedeutender wissenschaftlicher Fortschritte aktualisieren. Wann das zugrunde liegende Modell erscheint und was es kosten wird, geht aus der Quelle nicht hervor.