Aug 2, 2026
OpenAI's Astra solves 10 long-open math problems and publishes proofs
OpenAI revealed that an internal version of Astra, its advanced AI model, has solved 10 previously unsolved mathematical problems and published the proofs. This represents a significant milestone in AI's ability to tackle complex mathematical research.
1 source
00