“Senior leaders at Google DeepMind, including Jeff Dean, Noam Shazeer, and Sergey Brin, are deeply involved in the technical details of ongoing projects.”