Il y a juste 20 minutes, le résultat de l'IMO 2025 a été publié. La Chine a terminé première et @GoogleDeepMind a remporté une médaille d'or 🥇 Les futures compétitions de mathématiques seront l'équipe de Chine contre l'équipe chinoise des États-Unis contre l'IA.

Nous pourrions nous diriger vers un rebondissement dans la saga OpenAI contre DeepMind IMO. Je viens de voir un post de Joseph Myers (impliqué dans l'Olympiade de Mathématiques depuis 1992) : le comité IMO aurait demandé aux laboratoires d'IA de ne pas publier les résultats avant 7 jours après la cérémonie de clôture — par respect pour les concurrents humains (voir mon post d'hier) et probablement pour permettre un temps de vérification approprié des soumissions et des formats d'IA. Selon Joseph, OpenAI n'a pas collaboré avec l'IMO pour tester son modèle, et aucun des 91 coordinateurs officiels de l'IMO n'a été impliqué dans l'évaluation de ses solutions. Pendant ce temps, il semble que DeepMind respecte les règles et attend patiemment son tour. Pour contexte : L'IMO a 6 problèmes, chacun valant 7 points. Le seuil d'or de cette année est de 35 points. Même une petite déduction pourrait faire tomber OpenAI à l'argent. Et d'après ma lecture de leurs rapports, certaines parties pourraient soulever des questions — et éventuellement coûter des points. Terence Tao a également souligné que bien que les problèmes restent les mêmes, les formats de test comptent. Un étudiant qui ne décrocherait pas de bronze dans des conditions standard pourrait obtenir de l'or avec un setup modifié — ce qui soulève de vraies questions sur ce que signifie "résoudre l'IMO" pour l'IA. La semaine prochaine pourrait être épicée. Restez à l'écoute.