DevOps / SRE / Platform · 04.08.2026, 18:03 UTC
OpenAI’s Astra just proved 10 long-standing math and science theorems. The tokens cost $2,000.
| Schweregrad | info |
|---|---|
| Kategorie | DevOps / SRE / Platform |
| Quelle | The New Stack ↗ |
| Veröffentlicht | 04.08.2026 UTC |
Sicherheitsmeldung mit Schweregrad noch nicht bewertet. Technische Details im Tab „Originaltext“; empfohlene Schritte in der Checkliste.
OpenAI shared a big research update this week, announcing that an internal version of Astra, its next frontier model, created machine-verified proofs for 10 long-standing problems in mathematics and theoretical computer science — all for roughly $2,000 in GPT-5.6 Sol API tokens.
That pricing is probably the most significant aspect of Monday’s announcement because it shows that the company is asking users to consider what a new discovery might cost once that model already exists.
For the first time, OpenAI gave us a rough idea of what that amount of AI reasoning might cost.
It’s important to note that the work isn’t finished, since the results require further review by human mathematicians. For developers, though, the biggest takeaway is that OpenAI says the research process produced 10 new results, and, for the first time, gave us a rough idea of what that amount of AI reasoning might cost.
OpenAI has not released the internal model or announced what it will cost to use. The $2,000 estimate is based on what the same number of tokens would cost at GPT-5.6 Sol’s API rates.
An internal version of our next major model produced 10 new results on long-standing open problems in mathematics and theoretical computer science, using roughly $2,000 worth of tokens at GPT-5.6 Sol API rates. pic.twitter.com/4cgowmPOpY— OpenAI (@OpenAI) August 3, 2026
That rough comparison doesn’t account for the cost of training the model, running the surrounding research process, or having experts choose the problems and assess the answers. Yet, even with those limitations, the comparison is …