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).
Related event: Google's Astra Solves 10 Scientific Problems for Under $2,000(4 posts)→
More from Models
- GLM 5.5 rumored to drop soon, coding ability expected to match frontier models — bindureddy · 2026-10-16
- Five rounds of adversarial prompting make Opus 5.5 and Argon converge on identical output — LanceCharger · 2026-10-16
- DIY benchmark ranks 18 models on subjective judgments, GLM-5.3 tops consensus match — arkuto · 2026-10-16
- Bindu Reddy: Google's Argon excels at complex doc writing at half the cost of Opus — bindureddy · 2026-10-16
- MAI-2 is 2x bigger than V4-Pro while V4.1F is 3x smaller: Microsoft's scaling ladder questioned — teortaxesTex · 2026-10-16
- Step 5 Preview hits DeepInfra day-zero: 600B MoE, 1M context, $1/M input tokens — StepFun_ai · 2026-10-16