Google DeepMind's game-playing AI just found another way to make code faster