Yes.

But MIRI's ideas have now influenced the mainstream. Since 2011 we have had Norvig & Russell, Barrat, etc, providing some proof by authority and social proof.

The next step is not to popularize the ideas to a mass audience, but to continue targeting the relevant elite audience, e.g. Gary Marcus (not that he really gets it).

HPMOR has had some success at reaching the younger and more flexible of these, but bringing some more senior people on board will allow the junior researchers to work on MIRI-style work without ruining their careers -- as-is, some are doing it as a part-time hobby during a PhD on another topic, which is a precarious situation.

MIRI is actually having some success at this. It seems that this audience can now be targeted with a decent chance of success and high value for that success.

Here I am talking about the academic community, but the forward-thinking tech-millionaire community is a harder nut to crack and probably needs a separate plan.