Google DeepMind utilise l'intelligence artificielle pour résoudre deux problèmes mathématiques