Google DeepMind fait un pas vers la résolution de mathématiques de haut niveau

Les chercheurs de Google DeepMind ont développé deux nouveaux systèmes d'IA, AlphaProof et AlphaGeometry 2, qui ont fait des progrès significatifs dans la résolution de problèmes mathématiques complexes. Ces systèmes ont travaillé ensemble pour résoudre des questions de l'Olympiade internationale de mathématiques, une compétition mondiale pour les élèves doués. Bien qu'ils n'aient pas remporté de médaille d'or, leur performance était proche de celle des meilleurs mathématiciens humains. Les systèmes d'IA ont démontré leurs capacités en résolvant des problèmes d'algèbre, de géométrie et de théorie des nombres. Dans un problème, ils ont dû prouver une relation géométrique impliquant des angles et des milieux. Un autre défi consistait à naviguer sur un plateau de jeu avec des monstres cachés, nécessitant des mouvements stratégiques et de la mémoire. Dans l'ensemble, la percée de l'IA les rapproche de surpasser les mathématiciens humains dans les domaines mathématiques complexes.