The Geometrization conjecture crystallized our picture of individual
  3-manifolds more than 30 years ago, and Perelman's beautiful proof
  established it in generality about 7 years ago, but mystery is still
  abundant.