I dunno. I just hope the music of Bach and Chopin, and to a much, much lesser extent, Mozart, still exists at that time.
It’s much more feasible to build underground or underwater cities right here on Earth that might be able to survive some global catastrophe than to do either one of those alternatives.
Of course, we won’t do either of those things, because the cost-benefit analysis won’t work. Neither will it for colonizing Mars. Sure, some monomaniac like Musk can ignore such analyses and try anyway, but he’s not rich enough to fund the effort himself, so I think he’ll still fall way short.