Schelling points in the AGI policy space — LessWrong