Dani Wise has recently proven a conjecture of Baumslag, that 1-relator groups whose relator is a proper power are residually finite (in fact, linear). The proof makes use of techniques from geometric group theory, in particular using techniques of hyperbolic groups and CAT(0) cube complexes.