If M^n is a differentiable homotopy sphere of dimension n>=5, then M^n is homeomorphic to S^n. In fact, M^n is diffeomorphic to a manifold obtained by gluing together the boundaries of two closed n-balls under a suitable diffeomorphism (Milnor).

Freedman theorem | Poincaré conjecture

Stephen Smale