Google paid $2.7 billion to bring back an AI genius who quit in frustration