AGI Fermi Paradox — LessWrong