If AGI were coming in a year, what should we do? — LessWrong