The Mars colony was as big a pipe dream as putting gigawatt data centers into orbit.