OpenAI's Next-Generation Model Astra Reportedly Solves 10 Long-Standing Open Mathematical Problems