Google's Next-Gen Astra Solves 10 Major Math Problems for $2,000 in Compute
yacineMTB · x · 2026-08-01
Demis Hassabis revealed that an internal version of Google's next major model, Astra, has achieved ten significant advances in mathematics and theoretical computer science.
- Cost & Compute: The breakthroughs were achieved for a total compute cost of about $2,000 at Sol API prices.
- Specifics: According to cited examples, the model thought for only 34 minutes to produce a valid proof of nonsofic groups. In another task named Fable, it utilized almost the entire limit of a 5-hour session (equivalent to 20x Pro usage).
More from Models
- Gary Marcus: Pure LLMs Are Stochastic Parrots; Astra Proves Need for Neurosymbolic AI — GaryMarcus · 2026-08-02
- Speechify Simba 3.2 Tops Voice Arena as Best Real-Time AI Voice Model in Its Class — emmanuelvivier · 2026-08-02
- Google DeepMind Launches Gemini Robotics 2 for Whole-Body Robot Intelligence — emmanuelvivier · 2026-08-02
- GPT-5 Solves Hard Math Instantly, Fields Medalist Fears for Math Culture — The Decoder · 2026-08-02
- antirez Tests Domestic AI Models for Coding: DeepSeek vs GLM vs Kimi — antirez · 2026-08-01
- Users Complain About Gemini's Overactive Safety Filters Blocking Normal Chats — BigLead8814 · 2026-08-01