FrontierAugust 2, 2026via SiliconAngle
OpenAI’s Astra solves 10 long-open math problems and publishes the proofs
Why it matters
Astra demonstrates a frontier leap in reasoning and formal verification: solving decade-old problems in mathematics and theoretical CS with publishable proofs signals a qualitative shift in model capability that reshapes how practitioners think about AI for research and verification tasks.
Key signals
- OpenAI internal Astra version solved 10 open problems in mathematics and theoretical computer science
- Problems had been open for at least a decade each
- Machine-checkable proofs published alongside results
- 249-page manuscript of proofs released
- Astra announced as OpenAI's next major model release
- Published August 2, 2026
The hook
OpenAI's Astra didn't just solve 10 long-open math problems—it published machine-checkable proofs. That's a capability inflection.
OpenAI Group PBC revealed Saturday that an internal version of Astra, the model family it calls its next major release, produced new results for 10 problems in mathematics and theoretical computer science that had been open for at least a decade, and it published machine-checkable proofs alongside t…