OpenAI Announces Next Model Astra: Solves Ten Open Math Problems

OpenAI revealed its next model, Astra, which has solved ten open problems in mathematics, including a non-sofic group construction, at a compute cost of $2,000. This represents a massive capability leap beyond GPT-5.6, but the Leiden Declaration raises concerns about peer-review acceptance of blog-post proofs. The announcement signals continued rapid iteration and scientific ambition.