Are we an ASI thought experiment? — LessWrong