John Jumper, who won the Nobel Prize alongside Demis Hassabis, is leaving Google DeepMind