面对霍金的担忧，人工智能会让我们在火星实现定居吗