• Google a démontré les progrès de ses nouveaux systèmes d'IA AlphaProof et AlphaGeometry 2 dans la résolution de problèmes mathématiques complexes, ce qui a démontré le potentiel de l'IA en matière de raisonnement mathématique en résolvant plusieurs problèmes lors de l'Olympiade internationale de mathématiques 2024.
  • Bien que ces systèmes aient dépassé la limite de temps de la compétition pour résoudre certains problèmes, leurs performances représentent la dernière réalisation de l'IA en mathématiques.

NOTRE AVIS
Google, par l'intermédiaire de sa division IA DeepMind, a présenté deux nouveaux systèmes d'IA, AlphaProof et AlphaGeometry 2, qui ont réalisé des progrès significatifs dans la résolution de problèmes mathématiques complexes, notamment lors de l'Olympiade internationale de mathématiques 2024. Ces systèmes d'IA ont démontré leurs capacités en matière de raisonnement mathématique et de résolution de problèmes en combinant différentes techniques, telles que la modélisation du langage et des systèmes d'IA qui ont déjà surpassé les humains dans les jeux de société.
-Rae Li, journaliste BTW

Ce qui s'est passé

Google a dévoilé deux systèmes d'IA innovants, AlphaProof et AlphaGeometry 2, qui ont accompli des progrès significatifs dans la résolution de défis mathématiques complexes. Ces systèmes ont montré leurs prouesses à l'Olympiade internationale de mathématiques 2024, où AlphaProof a résolu avec succès trois problèmes sur quatre, y compris le plus difficile, et AlphaGeometry 2 a traité le problème restant.

En intégrant des modèles de langage avec des systèmes d'IA qui ont déjà dépassé les performances humaines dans les jeux stratégiques, ces systèmes ont démontré leur capacité de raisonnement mathématique et de résolution de problèmes.

AlphaProof, en particulier, a été développé en fusionnant une variante du modèle de langage Gemini du chatbot de DeepMind avecAlphaZero. AlphaProof a non seulement fait preuve de solides compétences en raisonnement, mais a également résolu le problème le plus difficile de la compétition. AlphaGeometry 2, quant à lui, s'est concentré sur les défis géométriques, montrant la polyvalence de l'IA dans divers domaines mathématiques.

À lire aussi:Apple Maps devient web, défiant Google avec de nouvelles fonctionnalités

À lire aussi:Zuckerberg vise à rivaliser avec OpenAI et Google avec son nouveau modèle Llama

Pourquoi c’est important

L'IA de Google a démontré les progrès de ses systèmes d'IA nouvellement développés, AlphaProof et AlphaGeometry 2, dans la résolution de problèmes mathématiques complexes. Cela montre le potentiel de l'IA pour le raisonnement mathématique.

Malgré un temps de résolution plus long que les contraintes de la compétition pour certaines solutions, les performances d'AlphaProof soulignent le potentiel significatif de l'IA dans les tâches de raisonnement abstrait et logique. Ces avancées offrent de nouvelles perspectives sur le rôle de l'IA en mathématiques et promettent des applications plus larges dans l'éducation, la recherche et l'industrie.