Is Astra GPT-6?

What OpenAI has stated

The announcement introduced Astra as an internal version of OpenAI’s next major model family and credited it with ten new results on open mathematical problems, formalized in Lean 4. No version number, product name, price, or date appears anywhere in it.

What reporting adds

The Decoder and The Information report that OpenAI has not chosen between GPT-6, a GPT-5-series designation such as GPT-5.7, or Astra as its own family — and that the model’s focus is coordinating multiple agents on tasks that run for hours or days. Those are accounts of internal discussion, not commitments.

What each name would signal

• GPT-6 — the main line advances. An upgrade in the sense your phone gets an upgrade: the default model most people use becomes this one.
• GPT-5.7 — a specialist inside the current generation. Stronger at long-horizon, multi-agent work without claiming to replace GPT-5 everywhere.
• Astra, standalone — a separate tier for a different class of problem, the way the o-series once sat beside the GPT line.

The launch-pattern contrast

GPT-5 arrived in August 2025 with its name fixed from the start and broad access on day one. Astra has so far moved in the opposite order: a demonstration to policymakers in Washington, then a research manuscript, with no access of any kind. A model expected to pass federal review before release is unlikely to repeat the everyone-at-once launch.

What to watch

• The naming announcement itself — it will arrive with, or just before, access.
• The review clock: a ~30-day review from early August points to September at the earliest; silence past that suggests a longer process.
• Whether access opens to everyone, to paid tiers, or to a narrow group first.
• Pricing structure — per-token API pricing versus something new for long-running multi-agent sessions.