One of the solutions proposed since 1960s is to engineer a kind of atmosphere-floating algae that would synthesize just the right amount of H₂ to keep themselves afloat in the habitable belt of the atmosphere. Without predators and with plenty of CO₂ and access to NH₄ and such, they would multiply quickly and deplete the excess CO₂ from the atmosphere in a century or two.