NASA said on Tuesday that its Mars InSight lander has encountered some problems and has stopped digging, likely due to hitting a rock or some gravel.