Arguments for the value of the far future (in turn used as arguments for reducing x-risk) assume that we will colonize the stars, hence it's interesting to know whether we should think that really is possible.

We know that there are various challenges to be overcome to achieve space colonization, but are any of them so hard that we don't think a superintelligent AI could achieve them? This is scenario worth asking about since one of the main ways we overcome near-term x-risk is through the creation of a human-aligned AI which would help us colonize the stars if that's what we really want.