We show there exist a pair of closed, aspherical, smooth 4-manifolds that are homeomorphic but not diffeomorphic. We will explain some historic background around this problem, and some geometric ideas in the construction. This is joint work with Davis, Hayden, Ruberman, and Sunukjian.