Demailly's conjecture, which is a consequence of the Green-Griffths-Lang conjecture on varieties of general type, states that an algebraically hyperbolic complex projective variety is Kobayashi hyperbolic. Our aim is to ...