OpenAI Astra Solves Ten Longstanding Math Problems | 16 × AI