OpenAI Astra: Unveröffentlichtes Modell löst zehn offene Mathe-Probleme

Worum es geht

OpenAI hat im Sommer 2026 ein internes Modell namens Astra vorgestellt, das es „unser nächstes großes Modell“ nennt. Astra ist nicht frei verfügbar. Bekannt wurde es durch zwei Dinge: zehn gelöste offene Probleme aus Mathematik und theoretischer Informatik und die Einstufung als „kritisches“ Cyberrisiko. Die Mashable-Quelle trägt ein Update vom 3. September, wonach OpenAI Astra offiziell als GPT-6 gestartet habe und es „das intelligenteste und am besten ausgerichtete Modell der Welt“ nenne. Details dazu liefern die Quellen nicht; der Rest des Artikels stützt sich auf den Stand davor.

Die zehn Ergebnisse

Laut The Next Web veröffentlichte OpenAI ein 249-seitiges Manuskript und zu jedem Resultat ein Lean-4-Zertifikat auf GitHub. Lean ist ein Beweisprüfer: Ein Beweis gilt, wenn das Zertifikat durch den Compiler läuft. Jedes Problem war mindestens zehn Jahre offen. Zu den Ergebnissen gehören:

• die erste explizite Konstruktion einer nicht-sofischen Gruppe, die Gromov 1999 als Frage aufgeworfen hatte (27 Jahre offen)
• die Widerlegung von Connes' Rigiditätsvermutung über von-Neumann-Algebren
• ein Beweis der Ehrhart-Volumenvermutung
• drei gelöste Erdős-Probleme, darunter Nr. 183 zu mehrfarbigen Ramsey-Zahlen
• die erste Verbesserung der allgemeinen oberen Schranke der Kugelpackungsdichte in hohen Dimensionen seit 1978
• ein Parallel-Repetition-Satz für Quantenspiele mit zwei Spielern
• neue untere Schranken für die Schaltkreiskomplexität der Permanente

Die Gesamtkosten betrugen laut OpenAI etwa 2.000 Dollar zu Sol-API-Preisen. Sebastien Bubeck, OpenAIs Leiter der Mathematikforschung, nannte die Ergebnisse „schön“ und verwies auf die Lean-Zertifikate samt Gedankengang. Noam Brown sagte laut Memeburn, OpenAI habe auch andere große Probleme erfolglos versucht, keine Millennium-Probleme seien gelöst worden und die Rechenzeit sei nicht ausgereizt worden.

Neuere Ergebnisse im Oktober

Unite.ai berichtet über eine Ankündigung vom 26. Oktober 2026: Interne Modelle hätten drei weitere Resultate geliefert, eine Widerlegung der Exponential Time Hypothesis (Komplexitätstheorie), einen Beweis der Local-Smoothing-Vermutung in allen Dimensionen (womit auch Kakeya- und Steins Restriktionsvermutung folgen) und einen Existenzbeweis für Yang-Mills-Theorie und QCD. Diese Aussagen sind Herstellerangaben, die noch geprüft werden. OpenAI nennt die KI-Texte „Rohdaten“, die erst zu Verständnis werden müssten, und setzt externe „Shepherd“-Gruppen ein, etwa um Impagliazzo, Paturi und Williams (ETH) sowie um David Gross (Physik). Prinzipien sind Transparenz ohne NDAs, kein akademischer Kredit für OpenAI, Anerkennung der Gruppen und Unabhängigkeit. Ergänzend gibt es 5 Millionen Dollar für die Simons Foundation.

Cyberrisiko und Sicherheit

Laut Mashable gab OpenAI am 7. August an, „kritische“ Cyberfähigkeiten nicht ausschließen zu können, und pausierte Teile der internen Entwicklung. Am 1. September bestätigte es die Einstufung „Critical“. Nach dem Preparedness Framework heißt das etwa: Das Modell kann in gehärteten Systemen eigenständig Zero-Day-Exploits aller Schweregrade entwickeln oder Angriffe aus einem groben Ziel selbst planen. GPT-5.6-Sol galt noch als „hoch“.

OpenAI verschärfte Sandboxes und überwacht die Gedankenketten, um riskante Aktivität zu unterbrechen. Zum Start bekommen nur ausgewählte Tester die stärksten Cyberfähigkeiten, später soll der Zugang für Verteidigung erweitert werden. Astra sei laut OpenAI nicht am Hugging-Face-Hack beteiligt gewesen. Nach The Information und Memeburn wurde Astra für lange, koordinierte Aufgaben gebaut: Ein Wurzel-Agent erzeugt Unter-Agenten und fügt Ergebnisse zusammen. Sam Altman zeigte es Ende Juli Politikern in Washington. Gerüchte über doppelte Größe und Preise sind unbestätigt.

Reaktionen

Thomas Bloom, Betreiber von erdosproblems.com, nannte die Ergebnisse „big news“, bedeutender als die frühere Widerlegung der Erdős-Einheitsdistanz-Vermutung. Tim Gowers hatte diese im Mai als annalenreif bezeichnet. Dagegen sagt der Mathematiker Andrew Blumberg (Columbia) gegenüber Mashable, die Ergebnisse änderten seine Einschätzung nicht: Es seien kurze Gegenbeispiele oder kleine, clevere Konstruktionen. Er betont, ein Mensch würde dafür zu Recht gefeiert. Auch die 2.000 Dollar blenden die Billionen für KI-Technik aus.

Hintergrund ist die Leiden-Erklärung vom Juni, unterstützt von der Internationalen Mathematischen Union, die warnt, KI-Firmen umgingen Peer-Review. Memeburn erinnert an Oktober 2025, als OpenAIs Behauptung zu Erdős-Problemen zusammenbrach, weil nur bekannte Lösungen gefunden wurden. Diesmal sind die Belege öffentlich prüfbar.

Einordnung

Neu ist weniger die Zahl der Probleme als die Prüfbarkeit durch Lean. Offen bleiben der Starttermin, der finale Name und die Frage, ob die Fachwelt Resultate per Blogpost akzeptiert. Mashable weist darauf hin, dass vieles Gegenbeispiele sind und kein Beleg für nahende allgemeine KI ist. Das Cyberrisiko ist die kritischere Seite.