OpenAI veröffentlicht mathematische Ergebnisse eines Frontier-Modells und plant Workshops

OpenAI teilt mathematische Fortschritte eines internen Modells

OpenAI hat eine Sammlung mathematischer Ergebnisse veröffentlicht, die ein internes Frontier-Modell erarbeitet hat. Die Ergebnisse liegen in einem GitHub-Repository vor, darunter Formalisierungen vieler Beweise in der Programmiersprache Lean, mit der sich mathematische Beweise maschinell prüfen lassen. Laut OpenAI entsprach der Rechenaufwand pro Ergebnis im Durchschnitt etwa drei Stunden Denkzeit von ChatGPT Pro.

Zusammenarbeit mit unabhängiger Expertengruppe

Für die Veröffentlichung orientiert sich OpenAI an Empfehlungen der "Advisory Group on Mathematics and Artificial Intelligence" am Institute for Advanced Study. Dieses unabhängige Gremium berät das Unternehmen zu bewährten Vorgehensweisen beim Teilen KI-generierter mathematischer Ergebnisse. Die Ratschläge und öffentlichen Empfehlungen der Gruppe flossen in die jetzige Veröffentlichung ein.

Transparenz über Rechenaufwand und Vorgehen

Neben den formalisierten Beweisen legt OpenAI im Repository zehn Zusammenfassungen des Reasonings des Modells offen, dazu Schätzungen zum Rechenaufwand und Statistiken zur Anzahl der versuchten Probleme. Das Unternehmen kündigt an, das Repository um weitere Formalisierungen zu ergänzen, sobald diese vorliegen.

Geplante Workshops und Konferenzen

OpenAI will eine Reihe von Workshops, Konferenzen und speziellen Programmen finanzieren, um das Verständnis bedeutender KI-generierter mathematischer Ergebnisse zu fördern. Konkrete Termine nannte das Unternehmen nicht; es hieß, man werde "in Kürze mehr mitteilen".

Verantwortungsvolle Veröffentlichung des Modells angestrebt

Das Modell, das die Ergebnisse erzielt hat, soll nach Angaben von OpenAI verantwortungsvoll veröffentlicht werden. Das Unternehmen arbeitet weiter an der Evaluation seiner internen Frontier-Modelle in Mathematik und anderen Wissenschaften, um Werkzeuge für diese Fachgebiete schneller zu entwickeln.

Was ist noch unklar

Welche konkreten mathematischen Probleme gelöst wurden, geht aus der OpenAI-Mitteilung nicht hervor. Ein Spiegel-Bericht deutete an, es könne sich um 377 Probleme und möglicherweise um ein Millionen-Dollar-Rätsel handeln; die genauen Inhalte sind jedoch nicht verifiziert. Auch der Zeitplan für die angekündigten Workshops und die Veröffentlichung des Modells selbst bleibt offen.

Wie geht es weiter

OpenAI will das GitHub-Repository um weitere Formalisierungen erweitern und in Kürze Details zu Workshops, Konferenzen und speziellen Programmen bekanntgeben. Die Evaluation der Frontier-Modelle in der Mathematik läuft weiter.