Dans une avancée majeure pour l’intelligence artificielle, OpenAI et Google DeepMind ont tous deux démontré des capacités de raisonnement mathématique dignes d’une médaille d’or à l’Olympiade internationale de mathématiques (OIM) 2025, la compétition la plus prestigieuse au monde pour les jeunes mathématiciens.
Les modèles d’IA des deux entreprises ont obtenu des scores identiques de 35 sur un maximum de 42 points, résolvant parfaitement cinq des six problèmes proposés. Cette performance correspond au seuil de la médaille d’or de cette année, où seulement environ 11 % des 630 concurrents humains (soit environ 67 étudiants) ont reçu une médaille d’or.
La version avancée de Gemini avec Deep Think de Google DeepMind a été officiellement évaluée et certifiée par les coordinateurs de l’OIM. Le président de l’OIM, Gregor Dolinar, a souligné que leurs solutions étaient « étonnantes à bien des égards » et « claires, précises et, pour la plupart, faciles à suivre ». Il s’agit d’un progrès significatif par rapport à l’an dernier, alors que DeepMind avait obtenu une médaille d’argent avec des systèmes spécialisés.
OpenAI a évalué son modèle expérimental de raisonnement sur les mêmes problèmes, dans des conditions de compétition identiques : deux séances d’examen de 4,5 heures sans accès à Internet ni outils. Bien qu’OpenAI n’ait pas participé au processus officiel d’évaluation de l’OIM, l’entreprise a fait corriger ses solutions de façon indépendante par trois anciens médaillés de l’OIM.
Le calendrier des annonces a créé une certaine tension entre les deux entreprises. OpenAI a publié ses résultats le 19 juillet, tandis que Google DeepMind a attendu jusqu’au 21 juillet, respectant la demande du conseil de l’OIM de ne partager les résultats qu’après la vérification officielle et la reconnaissance des étudiants.
Junehyuk Jung, professeur de mathématiques à l’Université Brown et chercheur invité chez Google DeepMind, croit que cette réussite indique que l’IA pourrait, d’ici moins d’un an, aider les mathématiciens à s’attaquer à des problèmes de recherche non résolus à la frontière des mathématiques. « Je pense que le moment où nous pourrons résoudre des problèmes de raisonnement complexes en langage naturel ouvrira la porte à une collaboration entre l’IA et les mathématiciens », a-t-il déclaré à Reuters.
Bien que cette performance soit impressionnante, certains experts rappellent que les problèmes de l’OIM, bien que difficiles, sont conceptuellement plus simples que ceux de la recherche mathématique de pointe. Cette réussite démontre les capacités croissantes de raisonnement de l’IA, mais n’indique pas nécessairement qu’elle est prête à relever tous les défis de la recherche mathématique.