浙江大学软件机器人登上《自然》杂志封面：在马里亚纳海沟旅行