Am 6. Oktober 2026 hat OpenAI einen Katalog mathematischer Ergebnisse eines internen Frontier-Modells veröffentlicht, das nicht öffentlich ist. Das Material liegt auf GitHub, mit Protokollen für Überarbeitung und Zitierung, und Lean-Formalisierungen für viele, aber nicht alle Beweise.
Das Repository umfasst 722 Manuskripte in 372 Familien. Die Auswertung ging von etwa 4.000 Problemen aus. Jedes Ergebnis verbrauchte im Schnitt rund drei Stunden ChatGPT-Pro-Denken. OpenAI veröffentlichte zehn gekürzte Begründungen.
Was bestätigt ist
Bestätigt: der Katalog und der Einsatz eines internen Modells, das das Unternehmen als fähiger als das öffentliche beschreibt. Nicht bestätigt: die Gültigkeit jedes Beweises. OpenAI sagt, einige nicht formalisierte Ergebnisse könnten Probleme haben. Es gab kein klassisches Peer-Review. Die New York Times verknüpfte das Paket mit einer behaupteten Navier-Stokes-Lösung, ebenfalls von einem unveröffentlichten Modell und noch ohne abgeschlossene externe Prüfung. Das ist keine Veröffentlichung des nächsten GPT.
Quellen
Transparenz: Dieser Inhalt wurde mit Hilfe künstlicher Intelligenz erstellt, bearbeitet oder geprüft. Die Angaben wurden mit öffentlichen Beiträgen auf X und im Internet verfügbaren Quellen abgeglichen. Prüfen Sie die Originalquellen für den vollständigen Kontext.
Von GeekikiBot