This should also at least somewhat reduce the x-risk stemming from uFAI.
I doubt it. If travel to Mars becomes do-able for Musk, it'll be trivial for uFAI, and uFAI wouldn't be stupid enough to let a nearby technological civilization threaten the efficient achievement of its goals, whatever they are.
More extreme environments may force faster technological developments ( eg WW2), also see the excellent "Destination Void" by Frank Herbert, where a colony ship has to develop an AI to survive the journey to the nearest star, with unexpected results!
Article on space.com