ai researchmathematicsformal verificationopenai OpenAI's Astra: How a $2,000 AI Run Solved Ten Math Problems August 7, 2026
