Abstract
We construct closed, aspherical, smooth 4-manifolds that are homeomorphic but
not diffeomorphic. These provide counterexamples to a smooth analog of the
Borel conjecture in dimension four. Our technique is to apply the `reflection
group trick' of the first author to pairs of exotic 4-manifolds with boundary
constructed by Hayden and Piccirillo.