(Posting here as run out of space)
Well, you really are on an entirely different tangent now! Sun going Red Dwarf is several billion years away. Don't worry, human beings will be gone within a million years. Either evolved into a new species or extinct.

Looking at the astronomical (sorry, bad pun) progress we have made in the last 150 years, I bet we can terraform Mars within a few centuries.