OpenAI Group PBC revealed on August 2 that an internal version of Astra, the model family it describes as its next major release, produced new results for 10 problems in mathematics and theoretical computer science that had been open for at…