Not sure why this being downvoted. Provably friendly strong AI is actually sth that researcher care about, yet it is difficult to do because "friendly" has to be defined.