Poincaré Conjecture
The Poincaré conjecture is a statement in topology proposed by Henri Poincaré in 1904: every simply connected, closed three-dimensional manifold is homeomorphic to the three-sphere. In intuitive terms, if a three-dimensional space has no holes and is finite in extent, it must be deformable into a sphere. The conjecture became the most famous unsolved problem in topology and one of the seven Millennium Prize Problems. Stephen Smale proved the generalized conjecture for dimensions n ≥ 5 in 1961, and Michael Freedman proved the four-dimensional case in 1982. The original three-dimensional case was finally resolved by Grigori Perelman in 2003 using Ricci flow, a technique from differential geometry. Perelman declined both the Fields Medal and the million-dollar Millennium Prize, making the proof as much a story about the sociology of mathematics as about topology itself.
The conjecture's history reveals a pattern that recurs across mathematics: the hardest case is not the highest-dimensional one but the low-dimensional one, where there is insufficient room for the techniques that succeed in higher dimensions. The proof also demonstrates the power of geometrization — the program, initiated by William Thurston, of classifying three-manifolds by their geometric structure rather than their topological properties alone.