Every simply connected, closed three-dimensional manifold is homeomorphic to the three-dimensional sphere. Proposed by Henri Poincaré in 1904, it remained unsolved for nearly a century until Grigori Perelman completed a proof in 2002–2003 — then made mathematical history a second time by declining both the Fields Medal and the $1 million Millennium Prize.
Imagine you're an ant living on the surface of a large, perfectly round balloon. If you tie a loop of string around your world and then try to shrink that loop down to a point without lifting it off the surface or cutting it, you'll always succeed — no matter where you drew the loop. But if your world were shaped like a doughnut instead, a loop going through the doughnut's hole could never be shrunk to a point; it would always get stuck.
The analogous statement for ordinary 2-dimensional surfaces (like the surface of a balloon or a doughnut) was already well understood and relatively easy to prove. But three-dimensional shapes — the kind our own physical universe might plausibly be shaped like — turned out to be vastly harder to classify and understand, resisting proof for nearly 100 years.
In 2002–2003, Russian mathematician Grigori Perelman posted a series of papers online proving the conjecture (in fact, proving something considerably more general — Thurston's Geometrization Conjecture, which implies the Poincaré Conjecture as a special case). After years of careful verification by other mathematicians confirmed the proof was correct, Perelman was awarded the Fields Medal (2006) — mathematics' most prestigious honour, often compared to a Nobel Prize — and later the $1 million Clay Millennium Prize (2010). He declined both, reportedly stating he felt the prizes were unfair given the contributions of other mathematicians whose earlier work made his proof possible, and largely withdrew from the mathematical community and public life afterward.
Every simply connected, closed (compact, without boundary) 3-dimensional manifold is homeomorphic to the 3-sphere S³ (the set of points at a fixed distance from the origin in 4-dimensional space — the natural 3-dimensional analogue of an ordinary 2-dimensional sphere's surface).
"Simply connected" means every loop on the manifold can be continuously shrunk to a point — exactly the ant-and-string intuition described above.
Mathematicians also study analogous statements in dimensions other than 3. Remarkably, the higher-dimensional cases (dimension 5 and above) were proven first: Stephen Smale proved the conjecture for dimensions ≥ 5 in 1961, earning him a Fields Medal. Michael Freedman proved the 4-dimensional case in 1982, also earning a Fields Medal. This left dimension 3 — seemingly the "easiest" and most intuitive case — as the last and hardest one to resolve, a striking pattern in the history of this problem.
Perelman's proof built on and completed an approach initiated by Richard Hamilton in the 1980s, using a technique called Ricci flow — a process that evolves a manifold's geometric shape over time in a way that tends to smooth out irregularities, somewhat analogous to how heat diffusion smooths out temperature differences. The central difficulty Hamilton could not resolve was that Ricci flow can develop "singularities" (points where the geometry blows up or breaks down) during the smoothing process. Perelman's crucial contribution was a sophisticated technique ("Ricci flow with surgery") for precisely understanding and systematically removing these singularities as they arise, allowing the flow to continue and ultimately reveal the manifold's underlying topological structure.
Perelman actually proved a much broader result first conjectured by William Thurston (1982): every 3-dimensional manifold can be decomposed into pieces, each of which admits one of eight specific types of uniform geometric structure. The Poincaré Conjecture follows as a special, comparatively simple case of this much more general geometric classification theorem.
Perelman posted his proof (2002–2003) not in a peer-reviewed journal but on the arXiv preprint server, in a notably terse style that omitted many technical details other mathematicians would typically include. This required several independent teams of mathematicians to spend years carefully reconstructing and verifying the complete argument, filling in omitted details: notably Bruce Kleiner and John Lott (2008), and separately Huai-Dong Cao and Xi-Ping Zhu (2006, whose paper's presentation and claims of originality generated some controversy addressed in subsequent published clarifications), and John Morgan and Gang Tian (2007, in book form). This multi-year, multi-team verification process itself illustrates how contemporary mathematics handles extremely difficult and technically dense proofs that exceed what any single reviewer could feasibly check alone.
Beyond declining the Fields Medal (2006) and the $1 million Clay Millennium Prize (2010), Perelman had earlier declined a prize from the European Mathematical Society (1996) for young mathematicians. He has given various explanations in different interviews over the years for his repeated refusals and eventual withdrawal from mathematics and public life, including stated concerns about the fairness of individual recognition in a field built on cumulative collective effort, and reported disappointment with certain ethical standards he perceived within parts of the mathematical community. Perelman's exact current circumstances and the full, definitive reasoning behind his decisions remain, by his own choice, not fully a matter of public record.
The $1 million prize money, after Perelman's refusal, was redirected by the Clay Mathematics Institute in part to a memorial fund and other mathematical initiatives, including funding for a chair position named in honour of the mathematicians (including Hamilton) whose earlier foundational work Perelman had built upon and credited.
Some cosmologists have speculated about connections between 3-manifold classification and the possible large-scale shape of the physical universe, since general relativity models space as a curved 3-dimensional manifold. However, current observational data does not yet definitively determine the universe's global topology, and the practical astrophysical implications of the Poincaré Conjecture's resolution remain, for now, primarily of theoretical and mathematical interest rather than directly applicable to observational cosmology.