The Mordell conjecture, famously proven by Faltings, that an algebraic curve of genus greater than one has only finitely many rational points admits a geometric reformulation which then naturally generalizes to higher dimensional varieties giving the Mordell-Lang conjecture: if
This is a report on work of several mathematicians including, but not
limited to, Cantat, Dimitrov, Gao, Ge, Habegger, Kühne, Masser, Xie, Yuan, Zannier, and Zhang.