Are Elon's mining/tunneling droids discussed anywhere? He's said in the past the Earth cities need to "go 3D", putting cars in tunnels underground. Something ne

Are Elon's mining/tunneling droids discussed anywhere? He's said in the past the Earth cities need to "go 3D", putting cars in tunnels underground. Something needs to be done to cut the cost of tunneling, so I'm interested to learn more. > Initially, glass panes with carbon fiber frames to build geodesic domes on the surface, plus a lot of miner/tunneling droids. With the latter, you can build out a huge amount of pressurized space for industrial operations and leave the glass domes for green living space From: https://www.reddit.com/r/spacex/comments/590wi9/i_am_elon_musk_ask_me_anything_about_becoming_a/d94t2bv/ https://www.reddit.com/r/spacex/comments/590wi9/i_am_elon_mu...