Zum Hauptinhalt springen

OpenAI Astra: Die Feldnotiz zur Vorschau

Fortgeschritten

Am 1. August 2026 stellte OpenAI seine nächste große Modellfamilie vor — Astra — nicht mit einer Keynote oder einer Launch-Seite, sondern indem zehn Lean-4-formalisierte Beweise zuvor ungelöster Probleme aus Mathematik und theoretischer Informatik in ein öffentliches GitHub-Repository gepusht wurden. Es gibt keine API, keinen Preis, keine ChatGPT-Oberfläche und kein Veröffentlichungsdatum. Jeder "Astra vs GPT-5.6"- oder "Astra vs Claude"-Kaufratgeber, den du diese Woche liest, ist Spekulation, die als Berichterstattung getarnt ist.

Diese Seite ist die ehrliche Feldnotiz für einen Claude-Nutzer: was tatsächlich bestätigt ist, was nicht, und ob es etwas an deinem heutigen Vorgehen ändern sollte.

What you'll learn
  • Lerne den genauen Ankündigungsmechanismus und was OpenAI am 1. Aug. 2026 gesagt (und NICHT gesagt) hat
  • Lies die zehn Probleme, die Astra gelöst hat, und verstehe, warum Mathematik/TCS als Enthüllungsfläche gewählt wurde
  • Trenne bestätigte Fakten (Multi-Agent, Long-Horizon, nur intern) von Spekulation (Kontextgröße, Preisgestaltung, ChatGPT-Rollout, Benchmarks)
  • Entscheide, ob du heute weiter auf Claude Opus 5 / Fable 5 bauen oder warten sollst — mit einer konkreten Faustregel

Die Ein-Satz-Version​

Astra ist OpenAIs **internes, Multi-Agent-, Long-Horizon-**Modell der nächsten Generation, das über zehn Lean-prüfbare Mathematik-Beweise enthüllt wurde; es ist nicht dasselbe wie GPT-5.6 Sol / Terra / Luna und hat keine Produktoberfläche — daher ist jede Migrationsentscheidung, die du diesen Monat triffst, immer noch eine Entscheidung über Claude vs GPT-5.6 vs Gemini 3.6, nicht über Astra.

Was OpenAI tatsächlich gesagt hat (und nicht)​

Die Offenlegung ist ungewöhnlich: OpenAI kündigte sein "nächstes großes Modell" im dritten Absatz eines Forschungsposts an, ohne Pressemitteilung, ohne Benchmarks, ohne Verfügbarkeit und ohne Preisgestaltung. Diese Rahmung sagt genauso viel aus wie das Modell selbst — sie sagt "noch kein Produkt, weiterhin unter regulatorischer Prüfung".

Bestätigt am 1. August 2026​

  • Astra ist der Name einer Modellfamilie. OpenAI beschreibt es als "unser nächstes großes Modell". Es steht neben — nicht innerhalb — der Sol / Terra / Luna GPT-5.6 Stufen.
  • Die Ergebnisse stammen aus einer internen Version. Nicht aus der ChatGPT-App, nicht aus der API, nicht aus einem partnerexklusiven Checkpoint.
  • Die Enthüllungsfläche ist Mathematik + TCS. Zehn zuvor ungelöste Probleme, jedes mit einem Lean-4-Beweis, gepusht nach github.com/openai/ten-proofs unter Apache-2.0.
  • Das System ist Multi-Agent und Long-Horizon. OpenAIs eigene Formulierung ist, dass Astra "entworfen wurde, um mehrere Agenten zu koordinieren, die über Stunden oder Tage an lang laufenden Aufgaben zusammenarbeiten", ausgerichtet auf Forschung, Programmierung und wissenschaftliche Probleme.
  • Kostenanker (nicht der Modellpreis). OpenAI schrieb, dass die Token zur Generierung der zehn Lösungen "etwa 2.000 $ zu Sols API-Preisen gekostet hätten". Das ist nicht Astras Listenpreis, Kosten pro Beweis oder Reproduzierbarkeitsgarantie — es ist ein Token-Volumen-Anker, bewertet zum Zähler eines anderen Modells.
  • Behördlicher Prüfpfad. Sam Altman demonstrierte das System US-Bundesbeamten in Washington, D.C. Ende Juli 2026. Die Berichterstattung positioniert Astra als wahrscheinlich das erste Modell, das im Rahmen des neuen US-Frameworks zur bundesbehördlichen Prüfung vor der öffentlichen Veröffentlichung eingereicht wird.
  • Namentliches Zitat. OpenAI-Forscher Noam Brown nannte Astra "einen bedeutenden Schritt für wissenschaftliches Denken" und bemerkte: "Leider keine Millennium-Preis-Probleme (noch nicht)."

Nicht bestätigt, trotz dem, was du vielleicht liest​

  • Kein Veröffentlichungsdatum. Kein ChatGPT-Rollout-Zeitplan, keine API-GA, keine Beta-Anmeldung.
  • Keine Preisgestaltung. Weder pro Token, noch pro Lauf, noch pro Stufe.
  • Keine Kontextfenstergröße, keine maximale Ausgabe.
  • Keine multimodalen Behauptungen. Nichts zu Bild, Audio oder Video wird behauptet.
  • Keine direkten Vergleichs-Benchmarks. Kein SWE-Bench, kein ARC-AGI, keine Frontier-Bench-Zahlen.
  • Keine Antwort auf "ist es GPT-6?". OpenAI hat nicht gesagt, ob Astra als GPT-6, als weiteres GPT-5.x-Punkt-Release oder unter eigenem Namen erscheint.
  • Keine Bestätigung der Stufenstruktur. Das Sol/Terra/Luna-Muster von GPT-5.6 wurde nicht auf Astra übertragen.

Wenn eine Schlagzeile diese Woche einen der obigen Punkte als Fakt darstellt, spekuliert der Artikel.

Die zehn Beweise auf einen Blick​

Die Entscheidung, Astra durch Lean-4-formalisierte Beweise offener Probleme zu enthüllen, leistet viel: Sie lässt OpenAI eine Fähigkeitsaussage treffen, die maschinenprüfbar ist, nicht eine Leaderboard-Zahl, die manipuliert werden könnte. Wenn die Beweise mit lake build All verifizieren, ist die mathematische Aussage real, unabhängig davon, was du vom Modell hältst.

#ProblemFachgebiet
1Verbesserte asymptotische obere Schranken für KugelpackungsdichteHochdimensionale Geometrie
2Exponentiell stärkere obere Schranken für binäre CodesCodierungstheorie
3Eine Konstruktion einer nicht-sofischen GruppeGruppentheorie / Operatoralgebren
4Ein Gegenbeispiel zu Connes' StarrheitsvermutungOperatoralgebren
5Neue untere Schranken für die Berechnung der PermanenteArithmetische Schaltkreis-Komplexität
6Exponentielle Parallelwiederholung für beliebige endliche SpieleQuantenkomplexität
7Härte der Approximation um polynomialen Faktor für das Closest Vector ProblemGitterkryptographie
8Das scharfe maximale Volumen in jeder Dimension (Ehrhart)Diskrete Geometrie
9Eine superexponentielle untere Schranke für mehrfarbige Ramsey-ZahlenExtremale Kombinatorik
10Gegenbeispiele zu den Kompaktheits- und DegenerationsvermutungenExtremale Zahlentheorie

Warum Mathematik + TCS die Enthüllungsfläche war​

Drei praktische Gründe — keiner davon rätselhaft, sobald man sie bemerkt:

  1. Maschinenprüfbare Aussagen lassen sich nicht drehen. Eine Benchmark-Zahl ist ein Marketing-Pixel; ein Lean-Beweis type-checkt oder nicht. Dies ist die sauberste mögliche Fähigkeitsaussage in einem Jahr, in dem die Behauptungen jedes Labors hinterfragt werden.
  2. Keine Leaderboard-Manipulationsvorwürfe. Niemand verdächtigt Astra, Lösungen zu Problemen memorisiert zu haben, die zuvor ungelöst waren.
  3. Regulatorische Optik. OpenAI führt Astra durch den neuen US-Bundesprüfprozess. "Unser neues Modell hat offene Fragen in Kryptographie und Quantenkomplexität vorangebracht" ist eine sehr andere Formulierung als "Unser neues Modell hat 96 % auf SWE-Bench erreicht".

Was dies heute an deiner Claude-vs-GPT-5.6-Entscheidung ändert​

Nichts, was diesen Monat Handlung erfordert. Astra hat keine Produktoberfläche: Du kannst darauf nichts aufbauen. Dein aktueller Kompromiss ist immer noch der aus Wahl eines Modells:

  • Software-Engineering in echten Repos, große Refactorings, lange Tool-Schleifen auf einer gut verwalteten Plattform → Claude Opus 5 (claude-opus-5) oder Fable 5 (siehe Opus 5 Feldführer, Fable 5 / Mythos 5 Flaggschiff).
  • Long-Context-Arbeit mit hohem Volumen zur günstigsten praktikablen Stufe → GPT-5.6 Luna zu 1 $ in / 6 $ out mit dem vollen 1,05 M Kontext (Sol / Terra / Luna).
  • Browser-lastige oder Agent-Index-artige Aufgaben → GPT-5.6 Sol oder Gemini 3.6 Flash (Gemini 3.6 Flash Familie).
  • Long-Horizon Multi-Agent-Forschung oder -Engineering — genau die Form, auf die Astra abzielt — am nächsten heute verfügbar sind die nativen Multi-Agent-APIs Beta auf der OpenAI Responses API und Anthropics managed agents + memory stores. Beide sind ausgelieferte Produkte; Astra ist es nicht.

Solltest du auf Astra warten?​

Guided walkthrough1 of 4
  1. Astra hat keine API, keine Preisgestaltung und kein öffentlich genanntes Release-Fenster. Die Offenlegung ist ein Forschungspost, keine Produktankündigung. Liefer auf dem aus, was existiert; migriere später, wenn das Preis-Qualitäts-Verhältnis es wert ist.

Die zehn Beweise lokal verifizieren

# Requires elan (Lean toolchain manager)
# Install: curl -sSf https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh | sh
git clone https://github.com/openai/ten-proofs.git
cd ten-proofs
lake exe cache get     # pre-built mathlib artifacts
lake build All         # type-checks every proof; exits 0 on success

Wenn lake build All mit 0 beendet wird, type-checkt jeder der zehn Beweise gegen mathlib. Das ist die stärkste Fähigkeitsaussage, die OpenAI dieses Jahr veröffentlicht hat, und sie ist auf deinem Laptop verifizierbar.

Drei Dinge, die Journalisten immer wieder falsch verstehen​

Drücke Enter oder die Leertaste, um die Karte umzudrehen. Nutze die Pfeiltasten links und rechts, um zwischen den Karten zu wechseln.Begriff angezeigt.
1 / 5

Wo AILmanac diese Seite aktualisieren wird​

Wir aktualisieren lastVerified auf dieser Seite nur, wenn OpenAI eine Modellkarte, einen API-Endpunkt, ein Preisblatt oder einen offiziellen ChatGPT-Rollout-Hinweis veröffentlicht — nicht auf Gerüchte hin. In der Zwischenzeit sind die zehn Beweise und die Multi-Agent-Formulierung die dauerhaften Fakten, die man sich merken sollte.

  • Wenn es eine Preisseite gibt → wird diese Seite zu einem vollständigen Astra-Feldführer mit einer Stufentabelle, in derselben Form wie Sol / Terra / Luna und Opus 5.
  • Wenn es eine API gibt → fügen wir einen Abschnitt "Portiere deinen Claude Opus 5 Prompt zu Astra" hinzu, neben unserem bestehenden Leitfaden Prompts über Modelle portieren.
  • Wenn Anthropic ein vergleichbares 'Long-Horizon-Multi-Agent'-Primitive ausliefert → aktualisieren wir managed agents und verlinken.

Check yourself

0/3
  1. Was hat OpenAI am 1. August 2026 tatsächlich über Astra bestätigt?
  2. Die Zahl 'Astra kostet etwa 2.000 $' in der Offenlegung bezieht sich auf…
  3. Welche dieser Änderungen solltest du diesen Monat wegen Astra in deiner Produktions-Claude-Architektur vornehmen?

Quellen & weiterführende Lektüre​

Weiter​

  • Aktuelle Modelle & Preise — die Live-Preistabelle, die AILmanac aus offiziellen Docs bezogen hält (Astra wird an dem Tag hinzugefügt, an dem es einen offiziellen Preis hat).
  • Dieser Monat in Claude & AI — der rollende Digest, in dem neue Astra-Fakten landen, wenn OpenAI sie veröffentlicht.
  • Long-running Agent-Harnesses — der Frontier-Bericht zur Form der Arbeit, auf die Astra abzielt, aus der Sicht von Claude / Managed-Agents.