Let's keep a sense of perspective here. What the sun's going to be doing a billion or so years from now seems like a rather remote concern compared to entire countries being underwater in a few decades.
If interstellar space travel is ever practically attainable - and, FWIW, that is still a controversial subject - then humans absolutely will figure it out. Or rather, they will just so long as they manage to extend both their existential and economic trajectories far enough for it to matter. Ain't nobody gonna be able to develop that kind of technology from Mars; they'll be way too busy on more prosaic tasks, like repeatedly checking their domes for leaks.
If interstellar space travel is ever practically attainable - and, FWIW, that is still a controversial subject - then humans absolutely will figure it out. Or rather, they will just so long as they manage to extend both their existential and economic trajectories far enough for it to matter. Ain't nobody gonna be able to develop that kind of technology from Mars; they'll be way too busy on more prosaic tasks, like repeatedly checking their domes for leaks.