Input same variables and it says GPT was too bearish. Both planets could be terraformed in 450 years assuming ablation and MHD gaseous railguns suspended in atmospheres. I think the key difference though was mapping CME and solar magnetic corridors to guide gas clouds inbound and outbound along heliomagnetic stresslines. Think heliomagnetic starlink weigh stations that monitor the sapce between Venus - Earth - Mars. We used to do this for TV in the 20's century with CRT tubes but on a solar system wide scale it "scales" quite nicely to move large gaseous masses around. - mind you, this is for FULL human habitability, 1 atmosphere pressure at surface and average surface temperatures, with a "breathable" atmosphere on both planets. They would be survivable via dome cities and minor survivable suits far earlier 50 - 200 years. If the Earth fell into an economic governance dark age, but the solar AI continued the Terraforming, by the end of that Dark age there would be two other planets in the sky ready to colonize. Kind of by-passes the ecoterrorist debate.. and skips to the end of the story.