What is OpenAI Astra? Everything we know about the quantum math-solving model.

Do you understand quantum parallel repetition? What about quantum complexity, lattice cryptography, or extremal combinatorics?

The new OpenAI model Astra knows all about them.

Recently, OpenAI confirmed the existence of Astra, calling it “our next major model.” Over the weekend, the ChatGPT-maker revealed that “an internal version of Astra” solved 10 major open math problems, some of which have been unresolved for decades. This follows OpenAI’s earlier AI-generated disproof of the Erdős unit distance conjecture, another major math accomplishment.

Our big Guessing Game is back! Enter now for a chance to win an Apple Watch.

What do we know about OpenAI Astra?

Precious little, so far. Besides its internal name, Astra, and the fact that it’s currently in testing to become OpenAI’s next major model, the company has released few concrete details. At this point, it’s unclear if Astra will be released as GPT-5.7, the beginning of GPT-6, or something else entirely.

(The company has also so far declined to answer our questions about Astra, but we’ll update this story if we receive more information.)

However, we can make some deductions based on OpenAI’s recent blog post, “Ten advances in mathematics and theoretical computer science.” We also talked to a mathematician about what the company’s results mean for the future of AI and science — and what it doesn’t mean — which we will explore shortly.

Bleeping Computer recently described Astra as “a powerful model that allows AI agents to collaborate on different parts of a larger problem.” That suggests it’s designed for agentic work and can “tackle complex, long-running tasks,” also per Bleeping Computer.

For now, it’s also safe to say that OpenAI’s new Astra model has made significant advances in science and mathematics.

New Anthropic and OpenAI models are really good at coding and math

Earlier this year, Anthropic announced that its unreleased Mythos model was so good at hacking that it was too dangerous to release to the public. At the time, we questioned this narrative, as the company’s warnings effectively doubled as PR for itself. However, there’s no denying that the latest frontier models from Anthropic and OpenAI have gotten remarkably good at cybersecurity coding and discovering zero-day bugs.

More recently, OpenAI and Anthropic have shown progress on research-level mathematics as well.

First, OpenAI released a disproof of the aforementioned Erdos unit-distance conjecture in May. Then, an Anthropic-linked mathematician casually announced that he used Fable 5 to disprove the Jacobian Conjecture, one of the infamous Smale’s problems in mathematics. Now, OpenAI has announced that Astra solved 10 more open problems in mathematics.

It’s a potentially paradigm-shifting moment, though this is hardly proof that artificial general intelligence or the singularity is nigh.

First, most of these math accomplishments take the form of disproofs and counterexamples, which aren’t as impressive as positive proofs that greatly expand our understanding of the universe, like, say, Andrew Wiles’ proof of Fermat’s Theorem.

When Fable 5 disproved the Jacobian Conjecture, I spoke to Columbia professor Andrew Blumberg, who is also on the board of directors of the First Proof project, which tested the capabilities of frontier large language models in solving research-level mathematics.

At the time, he told me that Fable 5’s feat “did not cause me to update my priors about what AI can and can’t do.” Blumberg added, “This is exactly the kind of thing I would expect AI to be able to do. If there was a counterexample that was concise and easy to state that people haven’t found because it’s a pain to search through all this stuff, AI will find it.”

Ultimately, Blumberg said that Fable 5’s counterexample to the Jacobian Conjecture didn’t necessarily teach us anything new or exciting about the world, even though it is very impressive.

I went back to Blumberg to ask about OpenAI’s latest work, and he said his priors still haven’t changed — AI is a very useful tool for advanced science, but this doesn’t suggest AI is ready to replace human scientists and mathematicians.

“If you look at what these are, they’re pretty short. They are either counterexamples or they are small, extremely clever constructions that build on known things, and it’s super cool, right? I want to be clear: If a person had done many of these things, that person would be justly lauded for their achievement, and so [this work is] great, but they don’t change my priors.”

And, as many people have pointed out (including, most recently, data scientist Nate Silver), we have to put these results in perspective. While OpenAI was keen to point out that these problems were solved with just $2,000 worth of tokens, that doesn’t account for the trillions spent on AI technology in recent years.

“When you hear about the amount of money that’s being poured into these machines, and you think about what it would be like if we spent a trillion dollars on hiring and training mathematicians and paying the best mathematicians football players’ salaries to do nothing but solve these problems, I think we’d see a shitload of progress,” Blumberg told Mashable.

This Tweet is currently unavailable. It might be loading or has been removed.

At the same time, the prospect of Astra-level models being in the hands of every scientist, physicist, and mathematician on Earth is exciting.

When will GPT Astra be released?

That’s hard to say, but we can make an educated guess.

First, the White House is reportedly close to finalizing a voluntary AI framework for testing new frontier models before they’re released publicly. OpenAI is very likely to adhere to these guidelines. And if Astra is deemed to have dangerous capabilities like Claude Mythos, then a safe-for-public-consumption version would need to be developed as well.

However, The Information recently reported that OpenAI is actively previewing Astra in Washington, D.C., so this process is likely already underway.

However, let’s look again at how OpenAI described Astra: “The results were achieved by an internal version of Astra, our next major model.” (Emphasis added.)

Major AI companies like OpenAI and Anthropic have been releasing major updates to their models every few months, with entirely new model families coming out every one to two years. GPT-5 was introduced in August of 2025, which means we’re due for GPT-6 any time now.

Presumably, if Astra is already generating major results in math, it’s pretty far along in testing.

I’m speculating, but I’d be surprised if we don’t see Astra by the end of the year.

Disclosure: Ziff Davis, Mashable’s parent company, in April 2025 filed a lawsuit against OpenAI, alleging it infringed Ziff Davis copyrights in training and operating its AI systems.