if an n-manifold has the same homotopy type as the n-sphere, is it homeomorphic to the n-sphere? the poincare conjecture and its generalizations tell us yes! come learn about a millennium problem that has been solved. we will discuss what the conjecture is actually saying, its rich history, and the idea behind perelman's proof.