Comment by Nevermark

Elon should be sending robots to the Moon, Mars and the Asteroid Belt. That would make much more sense.

Setup automated low gravity refueling depots. Then automated mining of the solar system will scale up as it more than pays for itself. And as with Starlink, SpaceX synergy would give him a serious advantage.

Much faster to achieve (despite the challenges), less expensive, and more profitable than a human Mars colony which would burn money without return for decades.

(Regardless of wishful thinking, civilizations coming backup is a second substrate adapted to the rest of the solar system, not a colony suffering truly miserable conditions. Although I am all for human exploration, which would also be easier and cheaper on the back of expanding automated infrastructure.)