OpenAI Astra Solves 10 Open Math Problems and Publishes Verifiable Proofs for $2,000 Each | CodeYourCraft