There are ideas for putting up a magnetic field based on putting a contraption in whichever L1/L2... point is between Mars and the Sun.
Besides, if the alternative is to leave Mars dead forever, I'd rather let it live for a billion years.
But maybe I don't get what your alternative is, if any?
The alternative is to spin up a magnetic field with superconducting magnets to protect that atmosphere from the solar wind.
There are ideas for putting up a magnetic field based on putting a contraption in whichever L1/L2... point is between Mars and the Sun.