well the biggest tech companies with 100x's the computing power are. I'm sure if the collective FAANG all focused their funds and hardware on getting to Mars we'd see the seeds of terraforming in our lifetime.