• La division DeepMind de Google a dévoilé AlphaProof et AlphaGeometry 2, deux systèmes d'IA avancés qui se livrent à un raisonnement mathématique complexe.
  • Les avancées de l'IA de Google démontrent une collaboration plus profonde entre l'IA et l'humain dans la résolution de problèmes complexes, ainsi que l'importance croissante du raisonnement et de la pensée abstraite dans la recherche en IA.

NOTRE AVIS
La capacité de l'IA de Google à résoudre des problèmes mathématiques complexes souligne un changement profond. À mesure que l'IA continue d'évoluer, le travail effectué par Google et ses concurrents indique que la technologie de l'IA agira non pas comme un remplacement de l'intellect humain, mais comme un catalyseur qui propulsera notre compréhension et notre innovation vers de nouveaux sommets.
–Ashley Wang, journaliste BTW

Que s'est-il passé

La division IA de Google,DeepMind, a dévoilé jeudi deux systèmes d'IA avancés, à savoir AlphaProof et AlphaGeometry 2, marquant une percée significative dans la résolution de problèmes mathématiques complexes. Ce développement met en évidence une nouvelle frontière dans les capacités de l'IA, s'étendant au-delà du traitement du langage pour inclure le raisonnement abstrait et la résolution de problèmes.

Les modèles d'IA ont démontré leur prouesse en résolvant quatre problèmes sur six à l'Olympiade internationale de mathématiques (OIM) 2024, une compétition prestigieuse connue pour ses questions difficiles. Notamment, AlphaProof a résolu trois de ces problèmes, y compris le plus difficile, que seule une poignée de entités humains ont réussi à résoudre. Cette réussite souligne le potentiel des systèmes d'IA à s'engager dans des tâches de raisonnement complexes en plusieurs étapes, traditionnellement gérées par l'intelligence humaine.

AlphaProof intègre le modèle de langage Gemini de Google avec lesystème AlphaZero, précédemment salué pour maîtriser des jeux de société comme les échecs et le Go. Cette approche hybride améliore la capacité de l'IA à traduire les problèmes mathématiques en langage formel, réduisant la tendance des grands modèles de langage à « halluciner » ou à produire des réponses incorrectes mais plausibles. Pendant ce temps, AlphaGeometry 2, un modèle mis à jour se concentrant sur la géométrie, a résolu avec succès un problème supplémentaire, démontrant davantage les capacités du système.

À lire aussi:La demande en logiciels et en IA stimule la croissance d'IBM malgré la baisse du conseil

À lire aussi:Le MIT dévoile une nouvelle façon de simuler la formation des robots domestiques

Pourquoi c'est important

Selon Pushmeet Kohli, vice-président de la recherche en IA pour la science chez Google DeepMind, « Il s'agit d'un grand progrès dans le domaine de l'apprentissage automatique et de l'IA. Aucun système de ce type n'avait été développé pour résoudre des problèmes avec un tel taux de réussite. »

Cette avancée implique une intégration plus poussée de la collaboration entre l'IA et l'humain dans les domaines de résolution de problèmes complexes. Bien que ces modèles d'IA ne soient pas encore capables de remplacer les mathématiciens humains, ils offrent des outils puissants qui pourraient aider à développer de nouvelles preuves et perspectives mathématiques.

Le succès d'AlphaProof et d'AlphaGeometry 2 met également en évidence l'importance croissante du raisonnement et de la pensée abstraite dans la recherche en IA, un domaine où les modèles actuels rencontrent souvent des difficultés. L'IA ne se limite plus aux tâches routinières ou au traitement simple des données; elle entre dans des domaines qui exigent un raisonnement nuancé et une pensée abstraite.