I often wonder if Mars can ever be terraformed. The main problem is that the planet’s core seems to be “dead” and can’t generate an adequate manetic field.
So I guess the next step would be to “geohex” the planet. With the help of an army or robots, simply build a small dome structure, terraform the dome, then build a connecting dome and redo the process. Rinse and repeat until you get the desired size.