AlphaProof, une nouvelle IA de Google DeepMind, remporte un grand succès à l'Olympiade Internationale de Mathématiques

L'IA se bonifie en mathématiques - et pourrait bientôt devenir un collaborateur digne pour les humains.