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

Source: SiliconANGLE News· Duncan Riley· August 2, 2026
OpenAI’s Astra solves 10 long-open math problems and publishes the proofs

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 publi…

This story was reported by SiliconANGLE News. Read the full original article:
Read on SiliconANGLE News

More in Products & Launches

View all