GPT-5 pro est vraiment bon en mathématiques. Gemini Deep Think, le modèle qui est supposément similaire au modèle gagnant de la médaille d'or de l'IMO, pas tout à fait.