OpenAI's Astra Solves 10 Major Math Problems | 16 × AI