On MIRI's new research directions — LessWrong