OpenAI has confirmed the existence of its next-generation model, Astra, which solved ten unsolved mathematical problems at a computational cost of approximately $2,000 and demonstrated its capabilities to U.S. regulators.

OpenAI has confirmed the existence of its next-generation model family, Astra, whose core capability lies in driving the long-term collaborative operation of multiple AI agents to solve highly complex problems.According to the company’s report, Astra has successfully solved ten previously unsolved mathematical problems spanning multiple cutting-edge fields, including high-dimensional geometry and coding theory. Each problem had been pending for more than a decade, yet the computational cost of solving them all was only about $2,000.OpenAI CEO Sam Altman traveled to Washington, D.C., this week to demonstrate the Astra model to U.S. policymakers and regulators. The model is expected to be among the first pilot cases under the government’s new AI regulatory framework at Donald Trump, which requires AI companies to file with the federal government before releasing models to the public.Lijie Chen, a Tsinghua University Yao Class graduate and OpenAI employee, also confirmed that these proofs were completed by Astra. Astra will exist as a separate model category, but the specific release date and version number (GPT-6 or GPT-5.7) have not yet been determined.