DoubleChecks

What was claimed

ten significant advances in mathematics and theoretical computer science solved using an internal version of Astra, our next major model, for about $2000

Our verdict

Accurate

OpenAI and multiple secondary reports state that an internal, unreleased version of Astra, described as the company’s next major model, produced ten advances or solutions to longstanding open problems in mathematics and theoretical computer science. These sources also consistently report that the token/compute cost to generate all ten results was approximately $2,000 at Sol API rates.

2 of 3 AI systems agree19 sources citedChecked Aug 2, 2026

Check your own claim

Paste any statement, headline, or AI answer — 3 independent AIs verify it in seconds, with sources.

Key findings

Ten significant advances in mathematics and theoretical computer science were solved using an internal version of Astra, our next major model, for about $2000

Verified98%
2 of 3 AIs agree·ChatGPT: Can’t verify

Solved using an internal version of Astra

Verified99%
1 AI checked

Astra is our next major model

Verified99%
1 AI checked

Cost of about $2000

Verified99%
1 AI checked

Verified against 19 sources

nextbigfuture.comxenospectrum.comai-jarvis.euyoutube.comthe-decoder.comai-papers.netreddit.comx.combinaryverseai.comx.comlinkedin.comyoutube.comkucoin.comyoutube.comaimscollaboratory.orgtools-competition.orgarxiv.orgastra-ai.cox.com

Detailed Analysis

The response makes a single, concrete claim that is directly supported by multiple independent, up-to-date reports and summaries of OpenAI’s Astra announcement. All major sources describing Astra’s ten advances and their generation cost align with the statement, with no credible contradictory evidence found.

Why this verdict

  • The response makes a single, concrete claim that is directly supported by multiple independent, up-to-date reports and summaries of OpenAI’s Astra announcement.
  • All major sources describing Astra’s ten advances and their generation cost align with the statement, with no credible contradictory evidence found.

Claims checked

ten significant advances in mathematics and theoretical computer science solved using an internal version of Astra, our next major model, for about $2000

Verified96%
OpenAI and multiple secondary reports state that an internal, unreleased version of Astra, described as the company’s next major model, produced ten advances or solutions to longstanding open problems in mathematics and theoretical computer science.[1] [3] [5] [10] [13] These sources also consistently report that the token/compute cost to generate all ten results was approximately $2,000 at Sol API rates.[1] [2] [3] [5] [10] [13]

What other AI think

The claim accurately reflects OpenAI's official announcement about Astra. All major factual elements—ten advances, mathematics and theoretical computer science, internal Astra version, next major model designation, and ~$2000 cost—are confirmed by multiple authoritative sources including OpenAI's official statement and Greg Brockman's direct post.

Why this verdict

  • The claim accurately reflects OpenAI's official announcement about Astra.
  • All major factual elements—ten advances, mathematics and theoretical computer science, internal Astra version, next major model designation, and ~$2000 cost—are confirmed by multiple authoritative sources including OpenAI's official statement and Greg Brockman's direct post.

Claims checked

Ten significant advances in mathematics and theoretical computer science

Verified99%
OpenAI shared ten results to problems that have been open and have seen no progress on the main result for at least a decade, and in most cases much longer.

Solved using an internal version of Astra

Verified99%
The results were achieved by an internal version of Astra, our next major model.

Astra is our next major model

Verified99%
Astra is described as our next major model.
The statement makes strong, time-sensitive claims about proprietary internal work and a precise cost. I cannot find public, verifiable evidence that an internal model named 'Astra' solved ten major math/TCS problems for about $2,000. The claim is therefore unverified and potentially misleading.

Why this verdict

  • The statement makes strong, time-sensitive claims about proprietary internal work and a precise cost.
  • I cannot find public, verifiable evidence that an internal model named 'Astra' solved ten major math/TCS problems for about $2,000.
  • The claim is therefore unverified and potentially misleading.

Claims checked

Ten significant advances in mathematics and theoretical computer science were solved using an internal version of Astra, our next major model, for about $2000

Can’t verify75%
No publicly available evidence corroborates that an internal model called 'Astra' solved ten major research problems, nor that this work cost about $2,000; these are time-sensitive, proprietary claims that cannot be confirmed from public sources.

Share this result

Try DoubleChecks