it's a bit of an intentionally snarky response but any time anyone talks about machines to do it, I always reply: they already exist, they're called _trees_.
Respectfully ignoring the snark, we have an immediate problem and tress aren't fast enough, take up too much land, and the land needs to be suitable.
I've watched the past 30-odd years - and my father for 50-odd years before that - as fertile farmland with good reliable rain (this is not a common combination in Australia) has been built-over with housing. Agriculture has been pushed further out to areas with less fertility and rainfall.
Most of the remaining wide open spaces in Australia can support little more than bush and patches of grass. All the good land with rainfall has people living on it.
It's also true that, if I wanted to build a nice subdivision under El Capitan in Yosemite, I would find that I'm quite unable. The collective hivemind that makes up the body politic prefers a national park over houses.
So now that we've acknowledged that Mammon isn't the only god in our pantheon, perhaps we can make better decisions on that basis, going forward.
For that specific problem, you could imagine policies allowing you some kind of 'zoning swap' - where you get a bit of land in one physical location and swap all laws, covenants, and restrictions for land in another region. Obviously you might not have a 1:1 exchange rate...
Most of the fertile land is in fact used by humans. And planting trees in remote areas is not good either: you need to cut them down and actually sequester the carbon if you want to do something about climate change. Just having stable forests is a far too small carbon sink (and the change in albedo from dark trees actually works against you in many areas of the world). Reforestation is good, but trees alone are not enough.