Claim◆Article
OpenAI set an internal version of Astra, its next major model, on finding solutions to ten mathematical problems that have seen no progress on the main result for at least a decade, spending less than $2,000 at GPT-5.6 Sol token prices on each one.
The main news: OpenAI reports its next major model, an internal version of Astra, solved ten mathematical problems that had seen no progress for at least a decade, each at a claimed cost of under $2,000 at GPT-5.6 Sol token prices. ✦ AI generated
Article author (via Hacker News) · Simon Willison's Weblog · 2026-08-01 · original ↗
Now it's OpenAI's turn to flex. They set "an internal version of Astra, our next major model" on finding solutions to ten mathematical problems that "have seen no progress on the main result for at least a decade". They claim to have spent less than $2,000 at GPT-5.6 Sol token prices on each one.
Read full article ↗excerpt · fair-use quotation
- ·OpenAI's internal Astra model solved 10 math problems
- ·Problems had no progress on the main result for ≥10 years
- ·Each solution cost <$2,000 at GPT-5.6 Sol token prices
- ·Astra is OpenAI's next major model (internal version)
- ·Costs quoted at GPT-5.6 Sol token pricing
- ·Results suggest drastic reduction in research cost barriers
Around this claim
Extends · 3
There is no public word on how many problems OpenAI spent $2,000 on without reaching a solution.Article author (via Hacker News) · Simon Willison's Weblog · conf 65%OpenAI's release included Lean 4 formalizations of the results in the openai/ten-proofs repository, a paper describing the solutions, and an LLM-generated PDF reconstructing how each proof came together from the unpublished reasoning traces — a decent level of transparency, though the prompts themselves were not published.Article author (via Hacker News) · Simon Willison's Weblog · conf 65%Many mathematicians online are experiencing a collective burst of Deep Blue in reaction to OpenAI's results.Article author (via Hacker News) · Simon Willison's Weblog · conf 60%