Gemini de Google DeepMind remporte l'or à l'Olympiade internationale de mathématiques 2025

La 66e Olympiade internationale de mathématiques (OIM) en Australie a été très importante pour l'intelligence artificielle. Pour la première fois dans le cadre de la compétition, le modèle Gemini "de Google DeepMind a obtenu la médaille d'or en résolvant cinq des six problèmes exceptionnellement difficiles de l'Olympiade et en obtenant 35 points sur 42, ce qui correspond au seuil d'or fixé par le comité de notation de l'OMI.

Il s'agit d'une nette amélioration par rapport à l'année dernière, où AlphaProof et AlphaGeometry 2 de DeepMind n'avaient atteint que le niveau de la médaille d'argent en résolvant quatre problèmes et en obtenant 28 points. Les systèmes précédents nécessitaient une traduction entre le langage naturel et les langages de preuve formels, et le calcul des solutions prenait plusieurs jours.

Cette année, Gemini a fonctionné de bout en bout en utilisant uniquement le langage naturel, produisant des solutions complètes et rigoureuses directement à partir des descriptions officielles de l'OMI dans la fenêtre de concours de 4,5 heures. Les correcteurs officiels de l'OMI, qui évaluent également les concurrents humains, ont qualifié les réponses de Gemini de "claires" et "précises" DeepMind a attribué ces progrès à des techniques avancées d'apprentissage par renforcement, à une base de données de solutions mathématiques et à de nouvelles méthodes de raisonnement parallèle qui permettent d'explorer simultanément plusieurs voies de solution. Alors que d'autres systèmes d'IA, y compris ceux de l OpenAIont obtenu des résultats officieux similaires, l'évaluation de Gemini a été officiellement certifiée par les coordinateurs des Olympiades, ce qui constitue une première mondiale pour les systèmes mathématiques autonomes.

DeepMind prévoit de mettre le modèle Deep Think à la disposition de certains mathématiciens avant de le déployer plus largement, tout en continuant à promouvoir les agents de langage naturel et de raisonnement formel pour la recherche en mathématiques.