移民火星最重要的不是送100万人上去，而是如何改造火星？