Leaked: OpenAI's Astra solved 10 open math problems, hits Critical cyber threshold
johnseach · x · 2026-09-02
A rumor roundup on OpenAI's next-gen model Astra (unconfirmed):
- Positioning: Astra is the next model family after GPT-5.6 Sol / Terra / Luna.
- Reasoning: an internal build reportedly solved 10 long-open problems in maths and theoretical CS with Lean-verified proofs—pointing to stronger scientific reasoning and long-horizon multi-agent work, agents staying on one hard problem for hours or days rather than a single chat turn.
- Cybersecurity: reportedly the first OpenAI model at the Critical threshold—finding previously unknown vulnerabilities and developing working exploits on hardened systems without step-by-step human guidance; 100% on ExploitBench and two zero-days in internal tests.
- Launch expectations: no exact date, name, or pricing yet. Advanced cyber tools go to testers first, then Daybreak Blue partners (defensive use); the public ChatGPT/Codex/API version will carry extra friction—reviews, pauses, tighter refusals; the system card should give the real eval picture.
- Watch for: whether it ships as GPT-6, a GPT-5.x Astra tier, or its own name; how much of the long-running agent stack reaches normal users; how quickly safety friction relaxes; and whether the maths-style reasoning shows up in coding and science workflows the way Sol did for efficiency.
Related event: OpenAI Previews Astra as gpt-6-astra Traces Multiply Ahead of Launch(85 posts)→
More from Models
- Models can detect read-only probes with just last-two-layer SFT — Sauers_ · 2026-10-18
- Paying Google AI subscriber blocked: custom-domain Workspace accounts can't access AI Studio — ChrisRackauckas · 2026-10-18
- Running Ling 3.1 Flash (560B MoE, 25B Active) Across 4 DGX Sparks via llama.cpp RPC — BerryBlush_Rogers691 · 2026-10-18
- Users press OpenAI on long-delayed Adult Mode a year after it was promised — ___Patrice___ · 2026-10-18
- Polymarket opens betting market on who releases the next Gemini Argon model — Polymarket · 2026-10-18
- Grok matter-of-factly lists which groups user was racist against, exempting Africans and Latin Americans — teortaxesTex · 2026-10-18