OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems