Trump’s head of AI safety agency just resigned, but he was only on the job for three months