Research2026-08-03
OpenAI said an internal version of its next major model, called Astra, produced new results on ten open problems in mathematics, with each argument checked by proof-verification software and the compute costing roughly $2,000 at current API rates. Independent mathematicians then reproduced about half of the results within a day using existing released models, which suggests the problems were partly solvable before. Astra itself is not available to anyone outside OpenAI.
What changed
Advanced mathematical research proofs were treated as beyond current publicly demonstrated model capability.
What it unlocks
Pointing a frontier model at a defined open research problem and getting a machine-checked proof back.
- 10 open problems solved
- ~$2,000 in tokens per OpenAI
- 5 of 10 reproduced in 24 hours
What you need to act on it
- the model is internal and not publicly released
Sources