OpenAI’s Astra Solves 10 Math Problems That Stumped Experts

OpenAI announced on Aug. 1, 2026 that an internal version of its next major model, Astra, has resolved or made substantial progress on 10 long-standing open problems across eight fields of mathematics and theoretical computer science — with machine-checkable proofs published on GitHub.