人类想早点移民火星,AI能帮上忙吗?