Does the hardness of AI alignment undermine FOOM? — LessWrong