如何看待OpenAI下一代模型Astra大量解决数学猜想？