La frontière ténue entre l’intelligence humaine et celle des ordinateurs devient de plus en plus floue. Pendant des décennies, on a dit que, malgré les progrès technologiques, les humains étaient les seuls capables de détenir des outils permettant un raisonnement logique complexe et résoudre des problèmes mathématiques de haut niveau. Mais désormais, cette prémisse pourrait changer. La société Deepmind, propriété de Google, vient d’annoncer le développement d’un système d’intelligence artificielle appelé AlphaGeometry, capable de résoudre des calculs extrêmement complexes jusqu’à présent uniquement disponible pour les humains. Selon ses développeurs, lors des tests effectués jusqu’à présent, cet outil a obtenu un succès similaire à celui d’un médaillé d’or moyen à une Olympiade internationale de mathématiques.
Le programme, présenté ce mercredi dans un article de la revue scientifique ‘Nature’, a été développé par une équipe de scientifiques de Google dirigée par l’expert en apprentissage automatique Trieu Trinh. Il s’agit de un modèle de langage neuronal qui s’entraîne synthétiser des millions de théorèmes et des démonstrations de différents niveaux de complexité. En même temps, il intègre également un moteur de déduction symbolique conçu pour trouver le lien entre les différentes ramifications des problèmes mathématiques. Ses créateurs expliquent que grâce à tout cela « AlphaGeometry est capable d’apprendre et de résoudre des problèmes complexes sans intervention humaine directe.
Performance olympique
Ce système d’intelligence artificielle a été testé à l’aide d’un total de 30 problèmes de l’Olympiade internationale de mathématiques, un concours de démonstration de théorèmes mathématiques destiné aux lycéens très performants. Lors des expériences précédentes, seule une douzaine d’énigmes avaient été résolues. Mais maintenant, comme l’expliquent les créateurs de cet outil, AlphaGeometry a réussi à démêler quelque 25 théorèmes complexes. C’est le même chiffre que celui atteint habituellement par les médaillés d’or de ces concours mathématiques.
AlphaGeometry a même découvert une nouvelle solution à un théorème mathématique complexe
Les scientifiques à l’origine de cet outil expliquent que jusqu’à présent, AlphaGeometry a réussi à résoudre des problèmes extrêmement complexes, à produire des résultats lisibles par l’homme, et même découvrez une nouvelle version d’un théorème qui a été présenté à l’Olympiade internationale de mathématiques de 2004. Actuellement, le l’application n’a été testée que pour résoudre des problèmes géométriques Mais à l’avenir, les experts espèrent pouvoir l’utiliser dans d’autres domaines mathématiques.