OpenAI has announced an unreleased artificial intelligence model named Astra, which the company states has achieved significant breakthroughs in mathematics and theoretical computer science. An internal version of Astra reportedly solved ten long-standing problems in these fields, some of which had seen no progress on their central results for over a decade.
The research conducted by OpenAI with Astra spanned diverse areas, including high-dimensional geometry, coding theory, arithmetic circuit complexity, group theory, quantum complexity, lattice cryptography, and extremal combinatorics. Specific examples of problems Astra is credited with solving include demonstrating the existence of non-sofic groups, disproving Connes' rigidity conjecture, establishing new bounds for high-dimensional sphere packing, and resolving several problems originally posed by mathematician Paul Erdős.
OpenAI indicated that the computational resources required for Astra to find solutions to these problems would equate to approximately $2,000 if priced at current Sol API rates. Following the AI's initial problem-solving, human researchers utilized the same model to formulate the arguments into manuscript form. Astra then formalized each argument as a Lean certificate, enabling verification through a mathematical proof-checking system.
Industry sources have independently corroborated that OpenAI is developing Astra as a new family of models specifically designed for managing long-running computational tasks. OpenAI describes Astra as a robust model that facilitates collaboration among AI agents on various components of a larger problem.
While the company has confirmed Astra's existence and capabilities, OpenAI has not yet finalized a release name for the model. Potential designations include GPT-5.7, GPT-6, or an entirely different name. Given its significant capabilities, there is speculation that Astra could be subject to a tiered release strategy, similar to policies seen with other advanced AI models, where a consumer-facing version is released alongside a more powerful variant requiring special approval.
