OpenAI Astra Model Solves 10 Major Math Problems

OpenAI announced on August 3, 2026, that an internal version of its upcoming "Astra" model solved 10 long-standing problems in mathematics ^[1]. These achievements include the construction of non-sofic groups and the establishment of new bounds for high-dimensional sphere packing ^[2]. The company reported that the compute power required to generate these solutions cost approximately $2,000 ^[3].

To ensure scientific accuracy, OpenAI released machine-checkable Lean proofs for independent verification by the mathematical community ^[1]. This development marks a significant milestone for the Astra model ahead of its official public debut ^[2]. The results highlight the growing capability of artificial intelligence to handle complex reasoning in theoretical computer science ^[3].