OpenAIs 722 Mathematik-Manuskripte: Ergebnisse, Beweise, Rechenleistung und Kosten

Untersuchte Veröffentlichung: 6. Oktober 2026. Beweisstatus: Quellenberichterstattung und ausgewählte statische Inspektion von Beweis-Artefakten; keine unabhängige Lean-Ausführung durch Kingy.

OpenAI hat ein Mathematik-Repository veröffentlicht, das 722 Manuskripte enthält, die in 372 Ergebnisfamilien gruppiert sind. Sein Katalog beansprucht Lösungen von Problemen aus den Bereichen Zahlentheorie, Geometrie, theoretische Informatik, Algebra, mathematische Physik und Differentialgleichungen. Darunter befinden sich die Mahler-Vermutungen, ein exakter Irrationalitätsexponent für π, die Unique-Games-Vermutung, das Isomorphismusproblem für freie Gruppenfaktoren und die globale Regularität bei großen Daten für das relativistische Vlasov-Maxwell-System.

Die Veröffentlichung enthält außerdem Lean-Beweisartefakte und zehn gekürzte Argumentationszusammenfassungen. Dies macht es möglich, wesentlich mehr als nur eine Liste beeindruckender Theorem-Namen zu untersuchen. Es macht nicht jedes Manuskript zu einem unabhängig akzeptierten Ergebnis.

Die nützlichste Lesart dieser Veröffentlichung ist eine große Sammlung mathematischer Behauptungen mit unterschiedlichem Grad an unterstützenden Beweisen. Einige Behauptungen verfügen über ausgewählte formale Aussagen und vorgeschlagene Beweisimplementierungen; andere stützen sich derzeit auf Manuskripte. OpenAI selbst warnt davor, dass nicht-formalisierte Ergebnisse Fehler enthalten können. Das Formalisierungsmanifest verzeichnet Teilfortschritte und einen ungeprüften Prüfstatus.