OpenAI disclosed part of the performance of its next-generation AI model "Astra," which is undergoing internal testing. On the 2nd (local time), OpenAI said that using Astra, it solved 10 math problems that had remained unsolved for at least 10 years, including high-dimensional geometry, group theory, and quantum complexity. OpenAI standardized and released Astra's proof processes in the form of Lean, a mathematical proof verification tool. OpenAI said the total token expense Astra used to solve the problems would be about $2,000 (about 2.9 million won) when calculated based on the API pricing of "GPT-5.6 Sol." According to The Information, OpenAI CEO Sam Altman recently gave an in-person demo of Astra to political figures and regulators in Washington, D.C., explaining that Astra incorporates a capability in which multiple AI agents collaborate for long periods to solve difficult problems. When OpenAI released GPT-5.6 recently, it assigned celestial-themed names by performance tier such as "Sol," "Terra," and "Luna"; Astra, meaning star, is presumed to be a similar submodel name of GPT. However, it was reported that OpenAI has not yet decided whether to release Astra as an additional model in the 5 series or to debut it as GPT-6. Sources said OpenAI plans to submit the model's performance and safety to the government for review before Astra's release.