Google DeepMind remporte la médaille d'or lors d'une compétition internationale de mathématiques

Chaque année, comme depuis 1959, se tient l'Olympiade internationale de mathématiques (IMO). Considérée comme l'une des compétitions les plus prestigieuses au monde pour les jeunes mathématiciens, elle rassemble des centaines de participants qui représentent leur pays. Constituées de six étudiants, les équipes doivent résoudre six problèmes en algèbre, combinatoire, géométrie et théorie des nombres en 4h30.

Récemment, cette compétition s'est transformée en défi de référence pour évaluer les systèmes d'IA. Et cette année, la compétition a fait la joie de Google DeepMind, la division IA de Google, experte en intelligence artificielle avancée. Certains de ses chercheurs faisaient partie d'une cohorte dont les résultats de modèles ont été officiellement notés et certifiés par les coordinateurs de l’IMO selon les mêmes critères que les solutions d'étudiants.

Gemini Deep Think atteint le niveau de médaille d'or

C'est une version avancée de Gemini Deep Think qui a résolu cinq des six problèmes de l'IMO, obtenant 35 points au total et atteignant le niveau de médaille d’or, aux côtés de 66 autres participants parmi 630. "Nous pouvons confirmer que Google DeepMind a franchi l’étape tant attendue, obtenant 35 points sur 42 - un score de médaille d’or. Leurs solutions étaient remarquables à bien des égards : les correcteurs de l’IMO les ont jugées claires, précises et, pour la plupart, faciles à suivre", a déclaré Gregor Dolinar, président de l’IMO.

Pour parvenir à cet exploit, la firme s'est notamment appuyée sur ses gloires de l'IMO 2024. A cette édition, AlphaGeometry et AlphaProof nécessitaient que des experts traduisent d’abord les énoncés des problèmes du langage naturel vers des langages spécifiques comme Lean, puis fassent l’inverse pour les preuves. Cela prenait en outre deux à trois jours de calcul. "Cette année, notre modèle Gemini avancé a fonctionné de bout en bout en langage naturel, produisant des démonstrations rigoureuses directement à partir des énoncés officiels — le tout dans la limite de 4h30 de la compétition", assure Google DeepMind.

Une version bientôt proposée aux abonnés Google AI Ultra 

Derrière ce modèle, un mode de raisonnement renforcé pour les problèmes complexes qui intègre certaines des techniques de recherche du géant les plus récentes, dont ce qu'il nomme la "pensée parallèle". En clair, cette configuration permet au modèle d’explorer et de combiner simultanément plusieurs pistes avant de livrer une réponse finale, plutôt que de suivre une seule chaîne de raisonnement linéaire.

L'équipe prévoit de mettre cette version de Gemini Deep Think à disposition d’un cercle restreint de testeurs de confiance, dont des mathématiciens, avant de la proposer aux abonnés Google AI Ultra (ces derniers doivent débourser 274,99 euros par mois pour accéder aux dernières fonctionnalités d'IA du géant).