Tento přehledový článek je o důkazu tzv. Poincarého hypotézy.
Tato hypotéza říká, že každá 3-varieta, která je homotopicky ekvivalentní 3-sféře, je dokonce homeomorfní 3-sféře.