L'algorithme d'IA AlphaGeometry de Google DeepMind résout des problèmes de géométrie complexes au niveau d'un champion des Olympiades de mathématiques.
DeepMind
Un système d'intelligence artificielle appelé AlphaGeometry, développé par Google DeepMind, une entreprise britannique, a démontré une capacité à résoudre des problèmes de géométrie comparable au niveau des médaillés d'or de l'Olympiade internationale de mathématiques (OIM), une compétition prestigieuse pour les élèves du secondaire.
Ce que nous savons
Selon les chercheurs de DeepMind, AlphaGeometry a été capable de résoudre 25 des 30 problèmes du test IMO dans le temps imparti de 4,5 heures. Ce résultat est comparable à la performance moyenne des lauréats humains des Olympiades.
Comparaison de la productivité d'AlphaGeometry, du modèle précédent et des médaillés de l'OMI
Le système combine deux approches différentes :
- un modèle de langage neuronal qui génère des idées intuitives ;
- un mécanisme de déduction symbolique qui vérifie les idées à l'aide d'une logique et de règles formelles.
Le modèle de langage est basé sur la même technologie que le moteur de recherche et les systèmes de compréhension du langage naturel de Google. Le mécanisme de déduction s'inspire d'une méthode mise au point par le mathématicien chinois Wen-Tsün Wu en 1978.
Les experts estiment que ces résultats témoignent des progrès réalisés dans le développement d'une intelligence artificielle capable de raisonner logiquement et de découvrir de nouvelles connaissances mathématiques. Ils reconnaissent toutefois les limites de l'AlphaGeometry.
Néanmoins, DeepMind estime qu'à l'avenir, de tels systèmes pourraient être largement utilisés pour accélérer la recherche scientifique en mathématiques, en sciences et dans d'autres domaines. À cette fin, ils ont publié le code source d' AlphaGeometry sur GitHub.
Source : Nature
