Même si les ordinateurs ont été conçus pour effectuer des calculs plus rapidement que n’importe quel être humain ne pourrait le faire, le niveau supérieur des mathématiques formelles reste un domaine exclusivement humain. Mais une avancée majeure réalisée par les chercheurs de Google DeepMind a permis aux systèmes d’IA de se rapprocher plus que jamais des meilleurs mathématiciens humains à leur propre jeu.
Deux nouveaux systèmes, appelés AlphaProof et AlphaGeometry 2, ont travaillé ensemble pour répondre aux questions de l'Olympiade internationale de mathématiques, un concours mondial de mathématiques destiné aux élèves du secondaire qui se déroule depuis 1959. L'Olympiade prend la forme de six épreuves incroyablement difficiles. questions chaque année, couvrant des domaines tels que l'algèbre, la géométrie et la théorie des nombres. Gagner une médaille d’or vous place parmi les meilleurs jeunes mathématiciens du monde.
Les efforts combinés des deux systèmes de DeepMind n’étaient pas tout à fait à la hauteur. Après que leurs réponses aient été notées par le professeur Ti...
[Courte citation de 8% de l'article original]