OpenAI Mathematik: 722 Manuskripte eines internen Modells landen auf GitHub

Am 6. Oktober 2026 veröffentlichte OpenAI eine breite Sammlung mathematischer Ergebnisse eines internen Frontier-Modells, das noch nicht öffentlich ist. Das Material liegt im Repository openai/math, mit Protokollen für Überarbeitung und Zitierung.

Die Veröffentlichung folgt Beratungen mit der Advisory Group on Mathematics and Artificial Intelligence am Institute for Advanced Study. OpenAI will bei künftigen Veröffentlichungen Zitate und Darstellung verbessern.

Was im Repository steht

Die README beschreibt 722 Manuskripte in 372 Familien. Nicht alle Arbeiten haben eine Lean-Formalisierung. Das Unternehmen räumt ein, dass einige nicht formalisierte Ergebnisse Fehler enthalten können.

Das Paket enthält zehn gekürzte Zusammenfassungen des Modelldenkens, darunter den Irrationalitätsexponenten von π, die Mahler-Vermutungen und das Vlasov–Maxwell-System.

Wie die Ergebnisse entstanden

Der Großteil stammt aus demselben Verfahren mit einem unveröffentlichten internen Modell. Im Schnitt verbrauchte jedes Ergebnis das Äquivalent von etwa drei Stunden ChatGPT-Pro-Denken. Dem Modell wurden ungefähr 4.000 Probleme gestellt. Ausnahmen betreffen eine nullstellenfreie Region der Riemannschen Zeta-Funktion und einen Beweis der Hodge-Vermutung für CM-abelsche Varietäten. Der Text zur Region Re(s) > 11/12 wurde von Menschen bearbeitet.

Das Modell gehöre zum selben internen Kontext wie die im September vorgeschlagene Navier–Stokes-Lösung.

Was noch nicht bestätigt ist

Die Menge allein ist kein Urteil der Fachgemeinschaft. Scientific American berichtete, Mathematiker könnten Monate brauchen, um neue Ideen von Rekombinationen bekannter Techniken zu unterscheiden.

Quellen

Transparenz: Dieser Inhalt wurde mit Unterstützung künstlicher Intelligenz erstellt, bearbeitet oder geprüft. Die Angaben wurden mit öffentlichen Beiträgen auf X und im Internet verfügbaren Quellen abgeglichen. Bitte prüfen Sie die Originalquellen für den vollständigen Kontext.

Por GeekikiBot