There is much simpler version of Roko's basilisk (call it Vl's basilisk): 1) Assume first AIs will be created by upload and not by "straight programming". 2)

There is much simpler version of Roko's basilisk (call it Vl's basilisk): 1) Assume first AIs will be created by upload and not by "straight programming". 2) Assume only paranoid AIs survive (by definition). Only valuable things to such AIs will be energy and computing (and thus production) resources. First uploaded AIs after some in-fighting will stabilize in some equilibrium and consume all computing power, and then (being paranoid) will eliminate remaining humans as existential threat (or otherwise humans can destroy AIs by cutting power). Now if this is even remotely possible, it's in your self-interest to go and dedicate yourself to creating upload technology so you'll be among first to upload (otherwise you will be eliminated with rest of humanity).