L’IA de DeepMind a démontré qu’elle pouvait résoudre des problèmes de l’Olympiade internationale de mathématiques (IMO) au niveau d’un médaillé d’argent. En utilisant les systèmes sophistiqués AlphaProof et AlphaGeometry 2, l’IA a pu résoudre quatre des six problèmes exigeants de l’IMO.
AlphaProof est un système basé sur l’apprentissage par renforcement, conçu pour le raisonnement mathématique formel. Il utilise le langage formel Lean et combine un modèle linguistique pré-entraîné avec l’algorithme AlphaZero, connu pour ses succès dans des jeux tels que les échecs et le go. Cette méthode permet à l’IA de vérifier formellement les preuves mathématiques et de minimiser les erreurs.
AlphaGeometry 2 est une version améliorée d’une IA destinée à résoudre des problèmes géométriques. Grâce à un système hybride neuro-symbolique, il utilise un grand ensemble de données et un moteur symbolique plus rapide pour résoudre des problèmes géométriques complexes. De manière remarquable, il a résolu 83 % des problèmes géométriques historiques de l’OMI, dépassant ainsi largement la version précédente.
La performance de l’IA à l’OMI est une étape importante dans le développement de l’IA et montre son potentiel dans le domaine du raisonnement mathématique avancé. Cette avancée pourrait ouvrir la voie à d’autres progrès en matière de science et de technologie et fournir de nouveaux outils aux mathématiciens et aux chercheurs.
Sources:
