I've been thinking about that a bit. It makes me wonder if the best way to terraform Mars would be to pull Ceres into orbit around Mars to "stir the pot" so to

I've been thinking about that a bit. It makes me wonder if the best way to terraform Mars would be to pull Ceres into orbit around Mars to "stir the pot" so to speak and help it build a thicker and richer atmosphere. Obviously this would require a lot of reaction mass and patience but I wonder if it would be possible to "reboot" a planet's core that way. You could of course try bombarding it with a bunch of asteroids too but that seems wasteful given how rich in minerals they are.