Google's Internal Astra Model Solves 10 Open Math Problems for Just $2,000
reach_vb · x · 2026-08-01
An internal version of Google's upcoming Astra model has made significant breakthroughs in mathematics and theoretical computer science. The model successfully found new solutions to 10 long-standing open problems.
The total token cost to find all 10 solutions was roughly $2,000. Furthermore, Astra formalized each of its mathematical arguments using the Lean programming language.
More from Models
- Speechify's Simba 3.2 Tops Voice Leaderboard at 1/10th the Cost — PrajwalTomar_ · 2026-08-01
- Opinion: AI Video Processing Is Too Costly, Needs Native Vision Tools — JoelMahon · 2026-08-01
- DeepSeek V4 Flash local benchmark nearly matches top frontier models from 5 months ago — joorklee · 2026-08-01
- Report: OpenAI is building Astra, a multi-agent model family for tasks lasting hours or days — The Decoder · 2026-08-01
- Are 1B Parameter LLMs Being Abandoned by Major Tech Companies? — winter-m00n · 2026-08-01
- Testing 105 Bugs: Luna Beats Fable in Cost-Efficiency, Expensive Models Avoid Coding — PawelHuryn · 2026-08-01