OpenAI hat 722 Mathematikartikel, die von einem internen Frontier-Modell erstellt wurden, das noch nicht für die Nutzung freigegeben ist, auf GitHub unter 372 Ergebnisfamilien veröffentlicht. Nach Angaben der unabhängigen Gruppe AGMAI enthalten die Arbeiten Ergebnisse zu Hunderten seit Langem ungelöster offener Probleme; sie müssen jedoch von der Mathematik-Community überprüft werden, und einige könnten Fehler enthalten.
Während der Evaluierung stieß das Modell auf etwa 4 Tausend Probleme; ein durchschnittliches Ergebnis wurde mit etwa drei Stunden Denkleistung von ChatGPT Pro erzeugt. OpenAI hat für 10 Probleme Reasoning-Zusammenfassungen geteilt:
- Irrationalitätsmaß der Zahl π
- die Mahler-Vermutungen
- Kaplanskys Vermutung zur direkten Endlichkeit
- das dreidimensionale relativistische Vlasov-Maxwell-System
Ein Teil der Beweise wird mit dem Lean-System verifiziert; das Repository wird weiterhin aktualisiert. Eine Arbeit zur Riemannschen Zeta-Funktion wurde hingegen in einem außergewöhnlichen Verfahren erzeugt und von einem Menschen überarbeitet. Das Repository enthält auch Regeln für die Aktualisierung der Artikel und die Quellenangaben.
Die AGMAI am Institute for Advanced Study in Princeton fordert die Veröffentlichung der Ergebnisse über akademische Kanäle, Transparenz und dass die Entdeckungen nicht zum Marketinginstrument gemacht werden.
Hintergrund
OpenAI ist im FikirPilot-Archiv kein neuer Name: In den vergangenen 90 Tagen haben wir 80 Meldungen veröffentlicht, in denen dieser Name vorkam; die neueste trägt das Datum 6. Oktober 2026.