The Poincaré Conjecture

Imagine you are an ant living on the surface of some giant object, too small ever to step back and see its overall shape. Is your world a sphere, like the skin of a ball? Or does it have a hole through it, like the surface of a doughnut? You can never look from outside — so how could you ever tell?

In 1904, the French mathematician Henri Poincaré found a beautiful test. Take a loop of string, lay it anywhere on your world, and try to pull it tight to a single point without ever leaving the surface. On a sphere you always can. On a doughnut, a loop that wraps through the hole gets stuck. That difference — whether every loop can be shrunk to a point — captures the presence of holes.

Poincaré then asked the question that would haunt mathematics for a hundred years: in three dimensions, is "every loop shrinks to a point" enough to guarantee your space is, fundamentally, a sphere?

Here are two surfaces: a sphere and a torus (a doughnut). On each one sits a loop. Press Shrink and watch the loop try to contract to a single point while staying on the surface.

<p class="hint">{{hint}}</p>
<div class="stage">
  <div class="panel">
    <canvas id="sphere" width="240" height="200"></canvas>
    <div class="label">{{label_sphere}}</div>
    <div class="verdict" id="vSphere">{{loop_ready}}</div>
  </div>
  <div class="panel">
    <canvas id="torus" width="240" height="200"></canvas>
    <div class="label">{{label_torus}}</div>
    <div class="verdict" id="vTorus">{{loop_ready}}</div>
  </div>
</div>
<div class="btns">
  <button id="shrink" type="button">{{btn_shrink}}</button>
  <button id="reset" type="button" class="ghost">{{btn_reset}}</button>
</div>

* { box-sizing: border-box; }
body { font-family: system-ui, sans-serif; color: #222; margin: 0; }
.hint { font-size: .9rem; color: #444; margin: 0 0 .7rem; line-height: 1.45; }
.stage { display: flex; gap: 1rem; flex-wrap: wrap; }
.panel { flex: 1 1 220px; text-align: center; }
canvas { background: #f3f6f9; border: 1px solid #cdd9e3; border-radius: 10px; width: 100%; height: auto; }
.label { font-size: .85rem; color: #1d3557; font-weight: 600; margin: .35rem 0 .1rem; }
.verdict { font-size: .9rem; font-weight: 700; min-height: 1.3em; }
.verdict.ok { color: #0a7d33; }
.verdict.bad { color: #c92f3c; }
.btns { display: flex; gap: .5rem; flex-wrap: wrap; margin-top: .8rem; }
button { font: 600 14px system-ui, sans-serif; padding: .45rem .9rem; border: 1px solid #1d3557;
         background: #1d3557; color: #fff; border-radius: 8px; cursor: pointer; }
button.ghost { background: #fff; color: #1d3557; }
button:disabled { opacity: .5; cursor: default; }

// Code not found

On the sphere, every loop slides freely down to a point — the surface is simply connected. On the torus, a loop threaded through the hole catches and refuses to vanish: the hole is in the way. This single property is what Poincaré used to recognize a sphere. The conjecture asks whether the same property pins down the 3-dimensional sphere just as cleanly — and the surprising answer, after a century, is yes. See how this connects to other Millennium problems.

Stated precisely, the conjecture says: every simply-connected, closed 3-manifold is homeomorphic to the 3-sphere. "Simply connected" means every loop shrinks to a point; "closed" means finite and without boundary. In plain words: if a 3-dimensional space has no holes, it must be the 3-sphere in disguise.

• Two dimensions (surfaces) were understood in the 19th century — the loop test alone classifies them.
• High dimensions fell first, oddly enough: Stephen Smale proved the analogue for dimension 5 and up in 1961; Michael Freedman did dimension 4 in 1982. Both won Fields Medals.
• Three dimensions stayed open — too cramped for the high-dimensional tricks, too rich for the 2D ones. It became one of the seven Millennium Prize Problems, each worth $1,000,000.
• The proof. Building on Richard Hamilton's program of Ricci flow — a kind of heat equation that smooths out the curvature of a space — Grigori Perelman posted three papers in 2002–2003 that completed it, controlling the singularities where the flow would otherwise break down.

The Clay Mathematics Institute confirmed the proof in 2010, making the Poincaré conjecture the only solved Millennium Prize Problem. Perelman declined both the $1,000,000 prize and the 2006 Fields Medal, the most famous refusals in modern mathematics. The other six — including P vs NP — remain open.

Knowing how to recognize a shape "from the inside," without an outside view, is exactly the situation we are in as inhabitants of the universe:

• Cosmology: we cannot leave the universe to photograph its shape, so topology is how cosmologists reason about whether space is finite, curved, or has the form of a 3-sphere.
• Ricci flow as a tool: the very equation Perelman tamed is now used to smooth and compare shapes in computer graphics, medical imaging and surface matching.
• Topological data analysis: detecting "holes" in high-dimensional data — the same loop-shrinking idea — reveals structure that ordinary statistics miss.
• Pure mathematics: the proof completed the classification of 3-dimensional spaces (Thurston's geometrization), a cornerstone of modern geometry.

The loop test you just played with is the seed of all of it — a way to feel the shape of a world you can never step outside of, the same instinct behind every Millennium Prize Problem.

The Poincaré conjecture began as a child's question dressed in mathematics: can a loop tell a ball from a doughnut? It ended, a century later, as the single solved Millennium Prize Problem — proof that "no holes" really does mean "a sphere," even in three dimensions we can't picture.

What lingers is the human note. Grigori Perelman answered one of the deepest questions ever posed about space, then quietly turned down a million dollars and the Fields Medal and stepped away from public life. The other six problems, P vs NP among them, are still waiting — but this one, at least, is finished, and the loop on the sphere always shrinks to a point.