O GPT-5 pro é realmente bom em matemática. O Gemini Deep Think, o modelo que supostamente é semelhante ao modelo vencedor da medalha de ouro da IMO, não é bem assim.