How much did it cost OpenAI to solve these math problems with Astra?
OpenAI put the total compute cost for all ten solutions at roughly two thousand dollars, calculated at GPT-5.6 Sol API rates. That figure covers the entire process across all ten formalized proofs, making it remarkably inexpensive relative to the significance of the mathematical results produced.
Answered in
OpenAI's Astra Model Solved 10 Open Math Problems — With Machine-Verified ProofsOpenAI's Astra solved 10 longstanding open math problems with fully verified Lean 4 proofs and zero unproven steps. Total compute cost: roughly $2,000.
Read the full analysisOther questions this article answers
More how ai actually works questions
- Why did OpenAI shut down Sora?
- Is Google Veo 3.1 free to use?
- What is Kling AI and why is it significant?
- What makes ByteDance's Seedance 2.0 different from other AI video tools?
- What is Isomorphic Labs?
- What is the Isomorphic Labs Drug Design Engine?
- Why did Hassabis step back from DeepMind?
- What is AlphaFold and why does it matter for drug discovery?
Every answer on Crashtech is written by the editor of the article it comes from — never auto-summarised. Browse all answers or the How AI Actually Works beat.