Astra Solved 10 Decades-Old Problems on a Rounding Error of Compute. The Real Story Is the Cost Curve.
This story is from 2026-09-18. It is preserved in the archive; the latest stories are on the live feed.
Before GPT-6 Astra made headlines for finding zero-days, it did something quieter and, to me, more economically startling: it produced proofs for ten mathematics and theoretical computer science problems that had sat unsolved for decades, and it did it for a reported few thousand dollars of compute…
Read the full story at DEV Community — AI ↗
Timeline · 1 report
- 2026-09-18 06:43 · DEV Community — AI
Astra Solved 10 Decades-Old Problems on a Rounding Error of Compute. The Real Story Is the Cost Curve.