x
GJP on AGI — LessWrong