OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics ProblemsPosted by AISignalMath is hard.