There's also some research on converting hydrogen and CO2 to edible carbohydrates, either chemically or through hydrogenotrophic or methanotrophic bacteria. That will be a huge revolution for either increasing the carrying capacity of the planet or decreasing humanity's impact on the planet. It will also be a huge boon for countries without much arable land to be able to feed their people without relying on imports. Electricity to food is not quite ready for scaling up yet, but synthetic fuels are absolutely ready to go as soon as solar electricity prices drop just a bit more or fossil fuel prices rise a bit more.