OpenAI announces its "next major model" Astra by dropping ten previously unsolved math solutions

OpenAI has officially named its next major model family **Astra** and confirmed it solved ten previously unsolved problems in advanced mathematics and theoretical computer science. The solutions span fields including high-dimensional geometry, coding theory, group theory, quantum complexity, lattice cryptography, and extremal combinatorics. Mathematicians had made no progress on these specific open problems for at least a decade. The company states that the mathematical arguments originated from the AI system itself, while OpenAI researchers assisted in preparing papers, formalizing proofs in the Lean proof assistant, and producing machine-checkable certificates of correctness. Total API token costs to generate all ten solutions were approximately $2,000. Astra is designed as a multi-agent system that can coordinate over hours or days to tackle complex problems. OpenAI has not yet decided whether to release Astra as GPT-6 or as a variant of GPT-5, and no release date has been set. The model would be among the first tested under a new U.S. regulatory framework expected to require federal government submission before public release. The development is consistent with OpenAI's stated,