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 lors de l’Olympiade Internationale de Mathématiques (IMO) 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 points sur un maximum de 42, résolvant parfaitement cinq des six problèmes proposés. Cette performance correspond au seuil de la médaille d’or lors de l’édition de cette année, où seulement environ 11 % des 630 participants humains (soit environ 67 élèves) ont décroché l’or.
La version avancée de Gemini avec Deep Think de Google DeepMind a été officiellement notée et certifiée par les coordinateurs de l’IMO, le président de l’IMO Gregor Dolinar soulignant 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’année précédente, où DeepMind avait obtenu la médaille d’argent grâce à 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 sessions 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’IMO, l’entreprise a fait corriger ses solutions de manière indépendante par trois anciens médaillés de l’IMO.
Le calendrier des annonces a généré une certaine tension entre les deux entreprises. OpenAI a publié ses résultats le 19 juillet, tandis que Google DeepMind a attendu le 21 juillet, respectant la demande du conseil de l’IMO de ne communiquer les résultats qu’après la vérification officielle et la reconnaissance des élèves.
Junehyuk Jung, professeur de mathématiques à l’université Brown et chercheur invité chez Google DeepMind, estime que cette réussite suggère 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 voie à une collaboration entre l’IA et les mathématiciens », a-t-il déclaré à Reuters.
Bien que remarquable, certains experts rappellent que les problèmes de l’IMO, bien que difficiles, restent conceptuellement plus simples que les questions de recherche de pointe. Cette performance démontre les capacités croissantes de raisonnement de l’IA, mais ne garantit pas encore sa capacité à traiter tous les aspects de la recherche mathématique.