Evan R. Murphy comments on AGI Safety FAQ /​ all-dumb-questions-allowed thread