Zac Hatfield-Dodds comments on What to do after inventing AGI?