Vikshy is not being updated. Updates were paused on 20 October 2026, so the news, the Score, prices and rankings here are out of date and will stay as they are. Check the labs' own sites for anything newer.
Get the Brief
OpenAILaunchMateriality 5

OpenAI announces Astra, a next major model family

OpenAI said an internal version of Astra, its next major model family, produced new results for 10 problems in mathematics and theoretical computer science open for at least a decade. It published machine-checkable proofs and a 249-page manuscript alongside the claim.

First seen 1 Aug, 09:29 UTC on The Decoder5 sourcesLast update 73d ago

What the sources say

Linked, never rewritten. Official means the lab itself.

Official0

No word from OpenAI yet.

Press5

The Decoder· 1 Aug, 09:29OpenAI announces its "next major model" Astra by dropping ten previously unsolved math solutionsSiliconANGLE· 2 Aug, 22:21OpenAI's Astra solves 10 long-open math problems and publishes the proofsTechCrunch· 7 Aug, 22:48OpenAI says it slowed Astra model development over security concernsSiliconANGLE· 8 Aug, 00:58OpenAI reveals upcoming Astra model may possess 'critical' hacking capabilitiesThe Decoder· 8 Aug, 07:21OpenAI flags its new Astra model as potentially reaching the highest cybersecurity risk level for the first time

How it unfolded

Every source in the order it appeared. Times in UTC.

1 Aug 09:29The Decoder OpenAI announces its "next major model" Astra by dropping ten previously unsolved math solutions2 Aug 22:21SiliconANGLE OpenAI's Astra solves 10 long-open math problems and publishes the proofs7 Aug 22:48TechCrunch OpenAI says it slowed Astra model development over security concerns8 Aug 00:58SiliconANGLE OpenAI reveals upcoming Astra model may possess 'critical' hacking capabilities8 Aug 07:21The Decoder OpenAI flags its new Astra model as potentially reaching the highest cybersecurity risk level for the first time

Keep up with OpenAI