# OpenAI's Astra model solves 10 long-standing math problems and publishes proofs, at a reported cost of US$2,000
> OpenAI revealed Astra, an unreleased model designed for complex long-running tasks, after an internal version solved ten mathematical and theoretical computer science problems that had stood open for decades and published the proofs, with Forbes reporting the compute cost of the run at approximately US$2,000 in API calls

**Meta:** type: event · date: 2026-08-02 · heads: The Quiet Shift, The Long Game · 3 takes · 3 lenses · 1 regions

## Summary

[OpenAI](/en/entity/openai) revealed a model called Astra, which has not been publicly released. An internal version of the model solved ten mathematical and theoretical computer science problems that had stood open for decades and published verifiable proofs. Forbes reported the compute cost at approximately US$2,000 in API calls. BleepingComputer reported Astra is designed for complex, long-running autonomous tasks. The announcement came on August 2, 2026. No list of the specific problems was available in the crawl feed.

## The split

All three sources are US-based English-language tech publications. SiliconAngle led with the proof publication as the primary milestone, treating the verifiable outputs as the scientific achievement. BleepingComputer focused on the model reveal and its architectural purpose, emphasising that Astra is unreleased and built for long-horizon task execution. Forbes framed the story around the compute cost, with the US$2,000 figure as the commercial headline, implying that frontier mathematical research costs could fall sharply if Astra is deployed more broadly. No non-US coverage appeared in the feed; the story was treated as a US-company product announcement, not a scientific institution publication.

## By the numbers

- 10, mathematical and theoretical computer science problems solved by an internal Astra version
- US$2,000, reported cost of the API calls used to solve the ten problems, per Forbes
- decades, the time some of the problems had stood open before Astra's internal run

## Why it matters

AI solving open mathematical problems and publishing proofs at low compute cost changes the economics of formal mathematical research. If Astra's performance is reproducible, it represents a [The Quiet Shift](/en/head/the-quiet-shift) in how long-standing problems in mathematics and computer science get resolved, with implications for cryptography, algorithm design, and scientific verification pipelines. The US$2,000 cost figure, if accurate, is orders of magnitude below what hiring a human research team for equivalent work would cost.

## What to watch

- Whether [Openai](/en/entity/openai) publishes the list of specific problems solved and peer review of the proofs
- When Astra is released publicly and what access and pricing structure it carries
- Whether any of the ten problems solved have immediate applied consequences in cryptography or algorithm design

## Regional takes (batched by bias / lens)

### Tech news service; leads with the proof publication as the key milestone, framing it as a scientific output rather than a product announcement
- **SiliconAngle** (United States, en) — SiliconAngle reported that OpenAI's Astra solved ten previously unsolved mathematical problems and published the proofs, treating the publication of verifiable proofs as the headline achievement rather than the model itself.
  > "OpenAI's Astra solves 10 long-open math problems and publishes the proofs."
  Source: https://siliconangle.com/2026/08/02/openais-astra-solves-10-long-open-math-problems-publishes-proofs/

### Cybersecurity and tech outlet; leads with the model reveal, emphasising that Astra is unreleased and was designed for complex, long-horizon autonomous tasks
- **BleepingComputer** (United States, en) — BleepingComputer reported OpenAI revealed Astra as its next major AI model, an unreleased system designed to tackle complex long-running tasks autonomously; an internal version produced ten significant advances in mathematics and theoretical computer science before the public announcement.
  > "OpenAI has revealed Astra, an unreleased model designed to tackle complex, long-running tasks, after an internal version produced ten significant advances in mathematics and theoretical computer science."
  Source: https://www.bleepingcomputer.com/news/artificial-intelligence/openai-teases-astra-its-next-major-ai-model-after-it-solves-10-long-standing-math-problems/

### Business press; adds the cost angle, reporting the ten problems were solved for a reported US$2,000 in API calls, framing Astra's efficiency as the commercial story
- **Forbes** (United States, en) — Forbes reported OpenAI's Astra solved ten long-standing mathematical problems, some open for decades, for a reported US$2,000 in API calls, framing the compute efficiency as the commercial signal.
  > "OpenAI's new Astra model has solved ten long-standing mathematical problems, some open for decades, at a reported cost of just US$2,000 in API calls."
  Source: https://www.forbes.com/sites/jonmarkman/2026/08/03/openais-astra-solved-10-decades-old-math-problems-for-just-2000/

## Across the graph
- Related: [[openai-gpt56-public-launch-jul9]], [[eu-aiact-enforcement-0802]], [[openai-dossier]]
- Entities: Openai

---
Canonical: https://rbtfl.xyz/en/n/openai-astra-math-0802