Google a annoncé qu’une «version avancée de Gemini Deep Think» a réalisé une performance au niveau de la médaille d’or à l’Olympiad Mathematical International (IMO) 2025, une concurrence prestigieuse pour les jeunes mathématiciens tenus chaque année depuis 1959. L’OMO implique des mathématiciens pré-universitaires qui résolvent six problèmes exceptionnellement difficiles dans l’algèbre, les combinatriques, les géomésages et la théorie des nombres exceptionnellement. Des médailles sont décernées à la moitié supérieure des candidats, avec environ 8% recevant une médaille d’or.
Au cours de l’OMI 2025 de la semaine dernière, le modèle avancé des Gemini Deep Think a parfaitement résolu cinq des six problèmes, accumulant 35 points au total. Cette performance est considérée comme un niveau d’or. Google a rendu les solutions accessibles au public.
Pour y parvenir, les Gémeaux avancés ont été formés à l’aide de nouvelles techniques d’apprentissage en renforcement conçues pour améliorer le raisonnement en plusieurs étapes, la résolution de problèmes et les capacités de trait des théorèmes. En outre, il a reçu un corpus organisé de solutions de haute qualité aux problèmes de mathématiques et des conseils généraux pour aborder les problèmes de l’OMI.
Cette réalisation marque un progrès significatif par rapport aux performances de Google Deepmind dans l’OMI 2024, où l’alphageométrie et l’alphaproof ont obtenu une médaille d’argent en résolvant quatre problèmes sur six et en marquant 28 points. Une différence clé cette année est que les Gémeaux «ont opéré de bout en bout en langage naturel, produisant des preuves mathématiques rigoureuses directement à partir des descriptions officielles du problème – le tout dans le délai de compétition de 4,5 heures.» En revanche, les modèles 2024 ont nécessité des problèmes à traduire du langage naturel en langues spécifiques au domaine.
Deep Think est décrit comme un «mode de raisonnement amélioré» qui intègre les «dernières techniques de recherche», telles que la pensée parallèle. Cela permet au modèle d’explorer et de combiner plusieurs solutions potentielles simultanément, plutôt que de suivre un processus de réflexion linéaire.
Bien que le mode de réflexion sur les Gémeaux ait été annoncé à l’E / S 2025, il n’est pas encore largement disponible. Google prévoit de faire une version de ce modèle de réflexion profonde accessible à un groupe restreint de «testeurs de confiance», y compris des mathématiciens. Après cette phase, il sera intégré à Google AI Ultra, bien qu’une date de lancement spécifique pour les abonnés du niveau de 250 $ par mois reste non confirmée.
Source: L’IA de Google a juste acculé une olympiade mathématique
