OpenAI’s Astra solves 10 long-open math problems and publishes the proofs

SiliconANGLEAugust 2, 2026en

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 the claim. The company posted a 249-page manuscript […] The post OpenAI’s Astra solves 10 long-open math problems and publishes the proofs appeared first on SiliconANGLE .

This is a short summary published by AI Global Wire. The full article is owned and hosted by SiliconANGLE — open it there to read it in full.

• OpenAI
• Verktyg