OpenAI Astra: Solving 10 Decade-Old Math Problems for $2000
OpenAI has unveiled its next-generation model, Astra, which has delivered 10 new results in mathematics and theoretical computer science, all accompanied by Lean formal proofs. The total cost, calculated by the Sol API, is approximately $2000. We've reviewed the 249-page paper and official explanations to clarify what this means.