Le modèle d'intelligence artificielle mathématique de Google DeepMind a réalisé une percée lors des Olympiades internationales de mathématiques (IMO) de cette année. Selon des sources officielles, AlphaProof, un modèle de raisonnement mathématique formel, et AlphaGeometry2, une version améliorée du modèle de résolution de problèmes de géométrie, ont ensemble résolu quatre des six problèmes de l'IMO de cette année, atteignant pour la première fois un niveau comparable à celui des médaillés d'argent humains.
Dans cette confrontation homme-machine, AlphaProof a démontré des capacités exceptionnelles, réussissant non seulement à résoudre deux problèmes d'algèbre et un problème de théorie des nombres, mais aussi à fournir des preuves rigoureuses pour ses solutions. Il est important de noter qu'AlphaProof a également résolu le problème considéré comme le plus difficile de cette compétition, un problème que seuls cinq candidats humains ont réussi à résoudre lors de l'épreuve.
La performance combinée de ces deux systèmes d'IA est remarquable. Ils ont obtenu un score élevé de 28 points, obtenant la note maximale pour chaque problème résolu, un score comparable au meilleur score du groupe des médaillés d'argent humains. Cependant, les deux problèmes combinés n'ont pas pu être résolus par les systèmes d'IA, ce qui montre que l'intelligence artificielle a encore une marge de progression dans certains domaines des mathématiques.
Cette réussite démontre l'énorme potentiel de l'intelligence artificielle dans le domaine du raisonnement mathématique de haut niveau, et ouvre de nouvelles perspectives pour l'application de l'IA dans la recherche et l'enseignement des mathématiques. Néanmoins, les problèmes non résolus nous rappellent que, dans le monde complexe des mathématiques, l'intuition et la créativité des experts humains restent indispensables.