En 2025, Google DeepMind et OpenAI franchissent une étape décisive dans le domaine du raisonnement automatisé. Leurs modèles atteignent un niveau équivalent à une médaille d’or à l’Olympiade internationale de mathématiques (IMO), une compétition emblématique du raisonnement abstrait. Le modèle Gemini Deep Think de Google enregistre un score de 35/42, et celui d’OpenAI atteint 34/42 – tous deux surpassant largement les précédentes performances des IA dans ce domaine.
Ces systèmes ne se limitent plus à générer du texte : ils résolvent des problèmes inédits, construisent des démonstrations rigoureuses et mobilisent des outils mathématiques avancés. DeepMind mise sur une architecture hybride spécialisée (AlphaGeometry, AlphaProof), tandis qu’OpenAI s’appuie sur un modèle de langage généraliste, enrichi par des techniques de raisonnement en chaîne et l’utilisation d’outils externes.
Au-delà de la performance, cette percée ouvre la voie à une nouvelle génération d’assistants scientifiques capables de formuler des hypothèses, démontrer des théorèmes ou résoudre des problèmes complexes avec rigueur et créativité. Google en teste déjà les applications : son IA « co-scientist », basée sur Gemini 2.0, a récemment généré des hypothèses biologiques inédites en quelques jours — un travail qui aurait pris plusieurs années à une équipe humaine.