L’IA Grok d’Elon Musk s’améliore en mathématiques