AGI's Last Bottlenecks — LessWrong