PK you are absolutely right. We can even take things a step further and say positive AI will happen regardless of Eliezer's involvement, and even as far as to say his involvement not having the needed experience in both math and programming will be as a cheerleader and not someone who makes it happen.