Comment Google a fait d’AlphaGeometry un champion des mathématiques

Un système d’intelligence artificielle mis au point par Google a réussi à résoudre des exercices mathématiques grâce à une méthode inédite. Cette nouveauté est un grand pas en avant dans le travail vers les intelligences artificielles générales.

C’est une avancée extraordinaire dans le domaine de l’intelligence artificielle. Les équipes de Google DeepMind ont dévoilé AlphaGeometry, une intelligence artificielle capable de résoudre des problèmes de géométrie, selon une étude parue le 17 janvier 2024 dans Nature. Leurs résultats, présentés lors d’une conférence de presse à laquelle Numerama a pu assister, sont impressionnants : leur IA parvient à résoudre des exercices du niveau des Olympiades internationales de mathématiques (une compétition annuelle de très haut niveau organisée pour les lycéens).

« Lors d’un test d’évaluation de 30 problèmes de géométrie des Olympiades, AlphaGeometry en a résolu 25 dans le temps imparti », relatent les chercheurs de Google. « À titre de comparaison, le système précédent [d’IA] avait résolu 10 de ces problèmes de géométrie ». Du côté des médaillés humains, ceux-ci arrivent en moyenne à résoudre quasiment 26 problèmes.

Une association de deux IA pour « un système neuro-symbolique »

Il est indéniable que les modèles d’IA ont fait d’énormes progrès ces dernières années — l’exemple le plus parlant et le plus populaire restant certainement le chatbot développé par OpenAI, ChatGPT. Mais si ces systèmes se sont améliorés pour générer du contenu,

[Lire la suite]

Crédits photos de l'image de une : L'IA de Goole sait résoudre des problèmes mathématiques complexes // Source : Know Your Meme