DoubleChecks

What was claimed

Next major model Astra delivered 10 proofs on long-standing open problems in math/theoretical CS including new circuit lower bounds for the permanent

Our verdict

Needs caution

Some community summaries list a result described as new lower bounds for the permanent attributed to Astra, but I cannot find independent, expert-validated publications or widely accepted proofs establishing such a permanent circuit-lower-bound breakthrough.

1 of 3 AI systems agree12 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

"including new circuit lower bounds for the permanent"

Can’t verify60%
1 AI checked

Next major model Astra delivered 10 proofs on long-standing open problems in math/theoretical CS including new circuit lower bounds for the permanent

Verified95%
1 of 2 AIs agree·ChatGPT: Can’t verify

Verified against 12 sources

x.comopenai.comthenextweb.comx.comai-jarvis.euthe-decoder.comx.cominstagram.comyoutube.comyoutube.comopenai.commathoverflow.net

Detailed Analysis

The claim accurately reflects OpenAI’s own description of Astra’s achievements in mathematics and theoretical computer science. Multiple primary and secondary sources confirm both the number of results and the existence of new circuit lower bounds for the permanent.

Why this verdict

  • The claim accurately reflects OpenAI’s own description of Astra’s achievements in mathematics and theoretical computer science.
  • Multiple primary and secondary sources confirm both the number of results and the existence of new circuit lower bounds for the permanent.

Claims checked

Next major model Astra delivered 10 proofs on long-standing open problems in math/theoretical CS including new circuit lower bounds for the permanent

Verified95%
OpenAI states that an internal version of Astra, described as its "next major model", produced ten new results on problems that had been open with no progress for at least a decade in mathematics and theoretical computer science.[2] [3] [6] Among these ten results are new lower bounds for computing the permanent using arithmetic circuits and formulas, i.e., new circuit complexity lower bounds for the permanent.[2] [3] [5]

What other AI think

Astra is OpenAI's next major model family that solved 10 major open problems in mathematics and theoretical computer science. The results include new circuit lower bounds for computing the permanent. All major claims in the statement are factually accurate.

Why this verdict

  • Astra is OpenAI's next major model family that solved 10 major open problems in mathematics and theoretical computer science.
  • The results include new circuit lower bounds for computing the permanent.
  • All major claims in the statement are factually accurate.
Public posts and forum threads claim an internal OpenAI model named "Astra" produced a package of ten advances. However the authoritative, peer-reviewed confirmation and detailed papers for many of those specific results are not clearly available or independently verified. Because key parts of the claim are time-sensitive and not fully corroborated by primary sources, the statement is partially unverified.

Why this verdict

  • Public posts and forum threads claim an internal OpenAI model named "Astra" produced a package of ten advances.
  • However the authoritative, peer-reviewed confirmation and detailed papers for many of those specific results are not clearly available or independently verified.
  • Because key parts of the claim are time-sensitive and not fully corroborated by primary sources, the statement is partially unverified.

Claims checked

"Next major model Astra delivered 10 proofs on long-standing open problems in math/theoretical CS"

Can’t verify60%
Multiple online posts and community threads report OpenAI announcing ten results attributed to an internal model called Astra, but I cannot find a single, authoritative primary source (peer-reviewed papers or an official OpenAI page enumerating and validating all ten proofs) that definitively confirms this claim.

"including new circuit lower bounds for the permanent"

Can’t verify60%
Some community summaries list a result described as new lower bounds for the permanent attributed to Astra, but I cannot find independent, expert-validated publications or widely accepted proofs establishing such a permanent circuit-lower-bound breakthrough.

Share this result

Try DoubleChecks