Are there any serious books written on the "prevent catastrophe" definition of AI safety written by people like Hinton or Sutskever? (Not necessarily them specifically, but people with technical chops rather than people whose "game" is philosophic speculation like Yudkowski or Bostrom.)