Next steps after AGISF at UMich — LessWrong