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
- Did the AI ultrasound study prove that it improves pregnancy outcomes?
- What does blind-sweep ultrasound mean in this study?
- Does Meta’s PrivacyLib watch every AI-agent action?
- What is the main design idea behind PrivacyLib?
- Is GPT-6.1 Terra available through the API?
- Do OpenAI's computer-use benchmarks guarantee reliable automation?
- What is semantic tokenization in a recommender system?
- Does Meta's reported conversion lift prove semantic tokens will improve every recommender?
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.