How modern reasoning models (Astra/GPT-5) are changing mathematical research: methods, strengths, and recent results | Raisolo