Strategic AGI typology - History — LessWrong