OpenAI-Modell erzeugt 722 mathematische Manuskripte in drei Stunden pro Ergebnis
Mathematical manuscripts and supporting proof artifacts produced by OpenAI
OpenAI veröffentlicht auf GitHub eine Sammlung von 722 mathematischen Manuskripten, die von einem internen Modell erstellt wurden. Jedes Ergebnis erforderte durchschnittlich drei Stunden Rechenzeit mit ChatGPT Pro. Die Arbeiten sind in 372 Familien organisiert und decken verschiedene Disziplinen ab. Einige sind mit Lean-Formalisierungen versehen, andere noch nicht. Zudem werden verkürzte Zusammenfassungen der Denkprozesse des Modells für ausgewählte Resultate bereitgestellt.
Die überwiegende Mehrheit der Ergebnisse wurde mit demselben Verfahren unter Verwendung eines nicht veröffentlichten internen OpenAI-Modells erzielt. Im Durchschnitt erforderte jedes Ergebnis drei Stunden Rechenzeit mit ChatGPT Pro Thinking mit diesem Modell.