I'm pretty convinced he only really cares about asteroid mining and colonizing mars is just marketing.
Building up the infrastructure for asteroid mining is really the only thing tying all his companies together.
- Boring company: we need to dig tunnels for mines
- Hyper loop: we need to move minerals and miners through the mines
- Satellite internet, electric vehicles, reusable rockets. This is all self explanatory.
Plus his family history of mining.
It kind of makes me wonder what Neuralink is about.