What they need to do is ram about 50 or so of these into Mars to boost the planet’s gravity and make it more suitable for human life.
Asteroids won’t do it, dwarf planets might work. Mars is only 1/8 the mass of Earth. :’)