I don't know but for me, it's a waste of resources.
There are other planets more interesting in the map.
oh, well yes, naturally mars is one of the last planets i would colonize in any game, but colonize it i will..... just thought if there was some kind of AI trigger associated with it, then no problem leaving it be until i am good and ready for whatever challenge colonizing it created!