If we are going down that rabbit hole, I love the plan to create an artificial Martian magnetosphere by placing a magnetic field generating satellite between mars and the solar winds. Generating an atmosphere on mars is all well and good, but it will just blow away again without some protection. The generator would only require roughly 583.9 exajoules, or roughly the world's total energy consumption in 2020.
https://arxiv.org/pdf/2111.06887.pdf