OpenAI's Internal Astra Model Solves 10 Major Math Problems
coherence · x · 2026-08-01
OpenAI executive Sebastien Bubeck revealed that their next major model, codenamed Astra, has successfully solved 10 significant open problems in mathematics and theoretical computer science. The breakthroughs include proving the existence of non-sofic groups and disproving Connes' Rigidity Conjecture. OpenAI plans to release Lean certificates and chain-of-thought walkthroughs for these 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