paulfchristiano comments on Asymptotically Unambitious AGI