OpenAI veröffentlicht 249-seitiges Papier: Modernstes Inferenzmodell überwindet zehn große mathematische Probleme auf einmal

OpenAI veröffentlichte am 31. Juli eine 249-seitige Forschungssammlung, in der zehn Fortschritte seiner hochmodernen Inferenzmodelle in Richtung fortgeschrittener Mathematik und theoretischer Informatik vorgestellt wurden. Am auffälligsten ist, dass das Modell ein berühmtes offenes mathematisches Problem, das zuvor ungelöst war, in einer „Einzelversuch“-Methode löste, ohne dass mehrere Wiederholungsversuche und manuelle Eingriffe erforderlich waren. Von „in der Lage sein, Probleme zu lösen“ bis hin zu „in der Lage zu sein, offene Probleme selbstständig voranzutreiben“ ist dies vielleicht die greifbarste Demonstration des Argumentationsmodells, das sich in Richtung „autonome mathematische Forschung“ bewegt.

Zehn Fortschritte und „Single Shot“-Überwindung

Die Sammlung deckt die beiden Hauptrichtungen der höheren Mathematik und der theoretischen Informatik ab und enthält insgesamt zehn spezifische Entwicklungen. Eines der bahnbrechenden Ereignisse war, dass das Modell ein berühmtes offenes mathematisches Problem mit nur einer Inferenz löste – traditionelle Paradigmen basieren oft auf mehreren Versuchen oder menschlicher Hilfe, und „ein einziger Schuss“ bedeutet, dass das Modell die Inferenzqualität selbst so weit gebracht hat, dass sie direkt implementiert werden kann. Alle relevanten Ergebnisse liegen in Form von Lean-Formalbeweisen aus offenen Quellen vor und werden mit selbst verfassten Arbeiten zu den Modellen geliefert, die überprüfbar und reproduzierbar sind.

Kostenkonto von 2000 USD/Frage

Offiziell belaufen sich die Rechenkosten zur Lösung jedes mathematischen Problems auf etwa 2.000 US-Dollar. Vergleicht man diese Kostenrechnung mit dem Zeit- und Finanzaufwand eines Teams menschlicher Mathematiker, ist der Unterschied in der Größenordnung sehr intuitiv: