I will discuss joint work with Peter Petersen that shows that the Gromoll-Meyer exotic 7.sphere admits positive sectional curvature. I will give a coarse outline of our argument and fill in as many details as time permits.