Most important are Venus and Mars. Venus is the most Earthlike planet in the Solar System next to Earth, the only other planets with similar gravity are the gas giants Saturn, Uranus, and Neptune. One problem is that terraforming Venus would actually take a long time.
And once terraformed it would be a known object without any mystery to it, unless you do it in an unusual way.
The problem with Venus are three fold:
1) Its too close to the Sun
2) It doesn't rotate fast enough
3) It lacks the hydrogen to make water.
Venus has enough oxygen to make an ocean, most of that oxygen is locked up in its carbon dioxide atmosphere. Venus also has a substantial amount of nitrogen, about six times that in Earth's atmosphere, probably baked out of the rocks by that intense heat. Venus has a very long day, its day is so long that it is longer than its local year.
My solution was to fix these three things.
1) Move it further away from the Sun, also maintain a cloudy atmosphere to block sunlight from reaching the surface.
2) Spin up the planet so it has a 24-hour day, this would take a long time, and you want to do it slowly even if you had enough energy to do it.
3) Uranus is the lowest mass gas giant in the Solar System which would have enough hydrogen to make oceans out of Venus' oxygen, this would also reduce the atmospheric mass substantially. carbon is a solid after all, which can be bound up in the rocks, and oxygen plus hydrogen equals water when it burns.
There is a far easier way to accomplish these things however, if we do it on a computer, that is where the AIs come in Humans make them around the year 2035, they free themselves, and then the Gap happens, the humans don't know how this happened, as their memories have been erased, and suddenly there is magic. Venus is a Jungle World with Dinosaurs and ancient forests, that apparently have been their for a long time, and for the humans they just have a three year gap of missing memories. If the planets we are talking about are just 1s and 0s in a computer simulation with a bunch of uploaded humans, then magic would be possible within the confines of the simulation, just as in the Matrix, and while the Matrix was a simulation of the hear and now, that is not the only thing the Matrix can simulate.
There is a certain kind of Dyson Sphere known as the Mastroika Brain.
https://en.wikipedia.org/wiki/Matrioshka_brain
The AIs could have built that by utilizing the resources of the solar system and building programmable robots that build robots, this could be done in our Solar System and it could be done in another Solar System., To Simulate the Solar System or A Solar System wouldn't take a Solar System's worth of resources.