What to do after inventing AGI? — LessWrong