I suggest that the more Musk influences OpenAI's agenda, the further it moves away from core competition with MIRI.

A counterexample might be if a series of AI researchers in China announced a formation a clone of MIRI but based out of Shanghai - a more clear-cut intelligence race than what we've currently go, which is an increasing number of institutions all starting down roadmaps that share initial common ground but have divergent ideal end states.