OpenAIs nächstes Modell Astra hat 10 ungelöste Mathe-Probleme geknackt – und kostete nur 2.000 Dollar an Compute.

OpenAIs nächstes großes Modell hat einen Namen — Astra — und sein Debüt kam nicht über eine Pressekonferenz, sondern versteckt in einem Forschungsbeitrag über Mathematik, veröffentlicht am 1. August. Das Unternehmen veröffentlichte zehn bahnbrechende Beweise, die von einer internen Version von Astra generiert wurden, begleitet von einem 249-seitigen Manuskript, Schritt-für-Schritt-Argumentationswegen und formalen Lean-Zertifikaten, die jedes Ergebnis verifizieren.

Die zehn Probleme, die Astra knackte, hatten seit mindestens einem Jahrzehnt keine nennenswerten Fortschritte gesehen, und die meisten waren noch viel länger festgefahren. Die Ergebnisse erstrecken sich über hochdimensionale Geometrie, Kodierungstheorie, Gruppentheorie, Quantenkomplexität, Gitterkryptografie und extremale Kombinatorik — einige der schwierigsten aktiven Bereiche in reiner Mathematik und theoretischer Informatik.

Was Astra tatsächlich bewiesen hat

Zu den bedeutendsten Errungenschaften gehört: Astra widerlegte die Starrheitsvermutung von Connes über von-Neumann-Algebren, ein Problem, das seit den 1970er-Jahren offen war. Es bewies die Volumenvermutung von Ehrhart und löste drei Probleme aus Paul Erdős' berühmtem Katalog offener Probleme, darunter Erdős-Problem #183 über mehrfarbige Ramsey-Zahlen. Das Modell erzielte außerdem die erste Verbesserung der allgemeinen oberen Schranke für die Packungsdichte hochdimensionaler Kugeln seit 1978 — mehr als 45 Jahre ohne Fortschritt bei diesem Ergebnis.

Weitere Beweise umfassten ein Parallel-Wiederholungs-Theorem für Zwei-Spieler-Quantenspiele und neue untere Schranken für die Schaltkreis-Komplexität der Berechnung der Permanenten. Die Existenz nicht-sofischer Gruppen, eine fundamentale Frage in der geometrischen Gruppentheorie, wurde ebenfalls etabliert.

Laut OpenAI stammten die mathematischen Argumente selbst von Astra. Menschliche Forscher formalisierten die Beweise anschließend und bereiteten sie für die Veröffentlichung vor, aber die Kernlogik war maschinengeneriert. Die gesamten Rechenkosten für alle zehn Lösungen betrugen etwa 2.000 US-Dollar zu Sol-API-Preisen — eine bemerkenswerte Zahl, angesichts der Jahrzehnte, die Forscher ohne Erfolg an diesen Problemen verbracht hatten.

Ein Teaser, kein Release

OpenAI hat weder ein öffentliches Veröffentlichungsdatum angekündigt noch den endgültigen Namen bestätigt. Astra könnte als GPT-5.7, GPT-6 oder unter einer völlig anderen Bezeichnung erscheinen. Das Unternehmen erwähnte, dass ein gestaffelter Zugang in Erwägung gezogen wird, ähnlich der Modellstruktur von Anthropic.

Bemerkenswert ist, dass Astra voraussichtlich das erste Modell sein wird, das im Rahmen des neuen KI-Sicherheitsrahmens der Trump-Administration geprüft wird, der eine Freigabe durch die Bundesregierung verlangt, bevor ein Frontier-Modell öffentlich veröffentlicht werden kann. Diese Anforderung fügt eine unvorhersehbare Zeitachse hinzu, was sonst ein unkomplizierter Produktstart wäre.

OpenAI hatte einen Teil dieser Fähigkeit bereits im Mai 2026 angedeutet, als ein internes Allzweckmodell Ideen aus der algebraischen Zahlentheorie nutzte, um die seit langem offene Erdős-Einheitsabstands-Vermutung zu widerlegen. Die August-Veröffentlichung macht klar, dass das kein Einzelfall war — es war Astra, das Mathematik auf einem Niveau lernte, das über das hinausgeht, was die meisten menschlichen Spezialisten erreichen können, und das gleichzeitig über ein breites Spektrum von Teilgebieten.

Wie zuerst von The Next Web berichtet, schmuggelte die Ankündigung effektiv eine große Modell-Enthüllung in eine Veröffentlichung, die wie eine routinemäßige Forschungsarbeit aussah.