OpenAI’s Astra just proved 10 long-standing math and science theorems. The tokens cost $2,000.

The New Stack · 2 months ago · 38 ● 9 sources

OpenAI's internal Astra model generated machine-verified proofs for 10 long-standing mathematical and theoretical computer science problems. The company estimated the inference cost at approximately $2,000 in GPT-5.6 Sol API tokens, marking the first time it quantified the cost of frontier reasoning work. This pricing framework could enable smaller research teams to access frontier AI reasoning through APIs rather than building their own models, shifting from training costs to inference budgets as the relevant planning metric.