Musk on AGI Timeframes — LessWrong