Вообще не очень понимаю, почему эти самые пещеры нельзя просто копать и проплавлять аки в Гиперболоиде Гарина. Марс - не нежная Земля, что мешает использовать лазеры хоть с ядерной накачкой (кроме затрат на их доставку и развёртывание на месте). И оттого, что какое-то поле будет перепахано, поджарено и вообще станет островком цивилизации, остальным 99,(9)% Марса ничего не будет - исследуй не хочу, но зато уже будет база, откуда пойдут дальнейшие исследования и экспансия