Le modèle Gemini avancé de Google, optimisé par Deep Think, remporte l'or aux Olympiades internationales de mathématiques grâce à sa capacité à résou

La division intelligence artificielle de Google, Google DeepMind a annoncé qu'une version avancée de son modèle Gemini Deep Think a résolu avec succès cinq problèmes sur six lors des Olympiades internationales de mathématiques (IMO), obtenant 35 points, soit l'équivalent d'une médaille d'or. Il s'agissait de l'une des premières fois où les coordinateurs des IMO évaluaient et certifiaient officiellement les résultats d'un modèle selon les mêmes normes que celles appliquées aux participants humains.

Le système Gemini Deep Think utilisé pour cette démonstration featured Des capacités de raisonnement améliorées, adaptées aux problèmes mathématiques complexes, ont été intégrées aux avancées de la recherche, notamment une méthode dite de pensée parallèle, qui permet au modèle d'explorer et d'intégrer simultanément plusieurs pistes de solution avant d'aboutir à une réponse finale, plutôt que de suivre un processus linéaire unique.

Pour améliorer ses performances, le modèle a été entraîné à l'aide de techniques d'apprentissage par renforcement conçues pour améliorer le raisonnement en plusieurs étapes, la démonstration de théorèmes et la résolution de problèmes généraux. Le système a également eu accès à un ensemble de solutions mathématiques de haute qualité, ainsi qu'à des instructions pour aborder les questions de type IMO.

Une version limitée de ce modèle Deep Think sera partagée avec des testeurs sélectionnés, y compris des mathématiciens, avant une diffusion plus large auprès des abonnés Google AI Ultra.

Cette évolution représente une avancée significative par rapport aux réalisations de l'année dernière. En 2024, des modèles comme AlphaGeometry et AlphaProof nécessitaient une intervention humaine pour traduire les problèmes en langages spécifiques (comme Lean) et inversement. De plus, la résolution de ces problèmes nécessitait plusieurs jours de calcul. En revanche, la version mise à jour Modèle Gémeaux a produit des solutions mathématiquement rigoureuses directement à partir des énoncés officiels des problèmes de l'OMI, entièrement en langage naturel, et dans le délai standard de compétition de 4.5 heures.

L'IMO devient une référence clé pour l'IA dans le raisonnement mathématique avancé

L'IMO est une compétition mondiale de longue date qui réunit les meilleurs étudiants de niveau pré-universitaire pour résoudre six problèmes mathématiques avancés dans des domaines tels que l'algèbre, la combinatoire, la géométrie et la théorie des nombres. Créée en 1959, l'IMO est largement considérée comme l'une des compétitions de mathématiques les plus difficiles au monde. Chaque pays participant présente une équipe de six étudiants, et des médailles sont décernées aux 50 % des meilleurs participants, dont environ 8 % remportent une médaille d'or.

Ces dernières années, le concours est également devenu une référence pour évaluer les capacités de l'intelligence artificielle en résolution de problèmes complexes et en raisonnement mathématique. En 2024, un système combiné de Google DeepMind – AlphaProof et AlphaGeometry 2 – a obtenu une performance de niveau argent en résolvant quatre des six problèmes et en obtenant 28 points. Ce résultat, qui s'appuyait sur des langages mathématiques formels, a marqué une avancée notable dans la démonstration du potentiel de l'IA à égaler les compétences mathématiques humaines avancées.