秘境探险4是神秘海域吗（正版秘境探险全集）

是的，《神秘海域4：盗贼末路》也叫秘境探险4，《神秘海域4：盗贼末路》是由顽皮狗开发的一款动作冒险类游戏，是《神秘海域》系列游戏之一，于2016年5月10日发行。