OpenAI's Unreleased Astra Model Reportedly Solves 10 Major Math Problems
BorisMPower · x · 2026-08-01
OpenAI's unreleased next-generation model, Astra (speculated to be GPT-6), has reportedly made ten major advances across mathematics, quantum complexity, and theoretical computer science.
Key breakthroughs include:
- The first explicit non-sofic group
- Disproving Connes's rigidity conjecture
- Proving quantum parallel repetition for general two-player entangled games
- Proving Ehrhart’s volume conjecture
- The first improved general sphere-packing exponent since 1978
Reportedly, the core arguments were generated by Astra, which then formalized the proofs in Lean, producing machine-checkable certificates alongside a 249-page manuscript. The token cost for successful solution runs is estimated at roughly $2,000 each, signaling that scientific reasoning is rapidly becoming a genuine model capability.
Related event: OpenAI's Internal Model Astra Cracks 10 Major Math Problems(99 posts)→
More from Models
- Gemini 4 Carbon Review: Stronger Coder Than Argon, but Fable 5.2 Raised the Bar — every · 2026-11-14
- Gemini 4 Krypton reportedly hits Opus 5.5-level performance — feblet · 2026-11-14
- Nathan Lambert: Jensen Huang's exit is a decapitation for Nvidia's open-model bet — natolambert · 2026-11-14
- Leak: Google 'krypton' model coming next week, Fable 5.2-level but cheaper — imjustnewatai · 2026-11-14
- OpenAI dissolves robotics team again as GPT-6 Astra can control robots directly — The Decoder · 2026-11-14
- Users report Sol 6.1 has become 'incredibly stupid' lately, making rookie mistakes — graham_dev · 2026-11-14