OpenAI Unveils Astra AI Model, Reports Progress on Ten Longstanding Mathematical Challenges