Summary of our Workshop on Post-AGI Outcomes — LessWrong