Report: OpenAI's Upcoming 'Astra' Model Solves 10 Major Math Problems
basedjensen · x · 2026-08-01
Microsoft researcher Sébastien Bubeck revealed that OpenAI's next major model, Astra, has achieved stunning breakthroughs in theoretical computer science and mathematics, successfully proving 10 significant open problems.
The results span multiple frontier domains, including:
- Algebra: Disproving Connes' Rigidity Conjecture
- Geometry: Better bounds for high-dimensional sphere packing
- Complexity: Proving NP-hardness of the Closest Vector and Nearest Codeword Problems for polynomial approximation factors for the first time via Reed-Solomon techniques.
The team has open-sourced the Lean certificates and Chain-of-Thought (CoT) walkthroughs for all 10 proofs.
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