From what i know the plan calls for robots to start working before any humans arrive. I'm not sure if they will go with domes or underground, if they go underground there could be the materials (and shielding) needed for habitat instead of blasting a mountain...

Perhaps this might require some sort of manned space station orbiting Mars itself, to speed up operations on the ground. So if a proper space station with artificial gravity can be built near Earth, such object could be moved to Mars. Well you could practice doing the same thing on the Moon first, where landing and taking off is much cheaper.

AI does exist, it might not have attained full sentience yet, but it is real. You should take a search online, several impressive projects exist.