I'll discuss joint work with Peter Petersen that shows that the Gromoll-Meyer exotic 7-sphere admits positive sectional curvature. I'll discuss the history of the problem and give a coarse outline of our solution.