OpenAI hat am 1. August Astra als nächste große Modellfamilie bestätigt – ein noch unveröffentlichtes System, das zehn Mathematikprobleme löste. Die Nachricht kam nur eine Woche nach der Vorstellung von Anthropics Claude Opus 5.
Wichtigste Punkte:
- OpenAI bestätigte den Namen Astra am 1. August in einem Research-Post, der zehn gelöste Mathematikprobleme beschreibt.
- Astra koordiniert mehrere Agenten, die stunden- oder tagelang an einem einzigen Problem arbeiten; das Modell ist unveröffentlicht, ein Starttermin fehlt.
- Claude Opus 5 kam am 24. Juli zu Preisen von 5 und 25 US‑Dollar je Million Tokens auf den Markt und bietet ein Kontextfenster von 1 Million Tokens.
OpenAI Astra: Modellfamilie mit Langstreckenfokus
OpenAI veröffentlichte den Namen in einem Forschungspapier, das einer internen Astra-Version zehn Resultate in Mathematik und theoretischer Informatik zuschreibt – Probleme, die teils seit über einem Jahrzehnt offen waren. Die Arbeiten reichen von hochdimensionaler Geometrie über Codierungstheorie bis zu Quantenkomplexität; ein Beweis zeigt die Existenz nicht-sofischer Gruppen.
Im Mittelpunkt steht nicht rohe Rechenleistung, sondern Dauer: Astra orchestriert mehrere spezialisierte Agenten, die gemeinsam über Stunden oder Tage an einem einzelnen Problem arbeiten.
Frühere Berichte ordneten Astra neben die Familien Sol, Terra und Luna ein; ein Veröffentlichungstermin fehlt ebenso wie eine Entscheidung, ob das Modell als GPT‑6 oder GPT‑5.7 gebrandet wird. Sam Altman demonstrierte das System gegenüber politischen Entscheidungsträgern in Washington; die Astra-Familie dürfte als erste unter einem geplanten bundesstaatlichen Zulassungsverfahren geprüft werden.
Lesen Sie auch: AI-Infrastruktur: Verzweifelter 1-Milliarde-Dollar-Schwenk eines Payday-Lenders in Richtung Rechenzentren
Claude Opus 5: Preise und Benchmarks
Anthropic brachte Claude Opus 5 am 24. Juli zu 5 US‑Dollar je Million Eingabetokens und 25 US‑Dollar je Million Ausgabetokens auf den Markt – identisch mit der Bepreisung von Opus 4.8. Das Modell eroberte den Spitzenplatz im Artificial Analysis Intelligence Index mit 61 Punkten und kommt laut Tests auf etwa die Hälfte der Kosten pro Aufgabe im Vergleich zu Fable 5.
Claude Opus 5 unterstützt ein Kontextfenster von 1 Million Tokens und begrenzt die Ausgabe auf 128.000 Tokens. Beim anspruchsvollen ARC‑AGI‑3 erreichte das Modell 30,2 Prozent – rund das Dreifache des bislang besten veröffentlichten Ergebnisses – und erzielte auf Terminal‑Bench 2.1 bei maximalem Einsatz 89,1 Prozent. Ein Anthropic-Sprecher empfahl Unternehmenskunden, vor einer Entscheidung konkurrierende Modelle sowohl auf eine klar umrissene Einzelaufgabe als auch auf ein langfristiges Projekt anzusetzen.
Reaktionen auf Astra
Für Astra liegen weder Preise noch Benchmark-Tabellen oder unabhängige Tests vor – Investoren und Unternehmenskunden müssen damit einen tatsächlich verfügbaren Dienst gegen ein Forschungsversprechen abwägen.
Thomas Bloom, Mathematiker an der University of Manchester, sprach auf X von „großen Neuigkeiten“ und bewertete die zehn Resultate als gewichtiger als OpenAIs früheren Beweis.
Zugleich widersprach Bloom der Lesart, das Modell mache menschliche Mathematiker überflüssig: Es sei von Menschen gebaut und auf dem Wissen trainiert, das Mathematiker über Jahrzehnte erarbeitet hätten. Noam Brown, Forschungsleiter bei OpenAI, betonte, dass kein Millennium-Problem gelöst worden sei und dass das Team je Problem vergleichsweise geringe Rechenbudgets eingesetzt habe.
Der Kognitionswissenschaftler Gary Marcus argumentierte, die Resultate seien real, würden aber massiv überhöht dargestellt – von einem „gelösten“ Fach könne keine Rede sein.
Die Ankündigung folgt auf ein Ergebnis aus derselben Langhorizont-Familie vom Mai: Damals gelang der Widerlegungsbeweis der Erdős-Unit-Distance-Vermutung, eines rund 80 Jahre alten Problems der diskreten Geometrie. Fields-Medaillenträger Tim Gowers sagte seinerzeit, er würde diesen Beweis ohne Zögern für die Annals of Mathematics empfehlen.
Als Nächstes lesen: Gerüchte zum faltbaren iPhone werden konkreter: 2.500 Dollar, kein Face ID, kein Teleobjektiv