Google's Next-Gen Astra Model Solves 10 Major Math Problems for $2000
burny_tech · x · 2026-08-01
Microsoft employee Sebastien Bubeck quoted Demis Hassabis revealing that Google used an internal version of its next major model, Astra, to solve 10 significant problems in mathematics and theoretical computer science.
The total compute cost for these proofs was reportedly around $2,000. The breakthroughs are wide-ranging, including:
- Proving the existence of non-sofic groups
- Disproving Connes' Rigidity Conjecture (von Neumann algebras)
- Better bounds for high-dimensional sphere packing
- Advances in circuit complexity and monochromatic triangles in multicolored graphs
Google stated they will release the 10 Astra proofs, complete with Lean certificates and Chain-of-Thought walkthroughs.
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