The Poincaré conjecture
Research level
Prove that every closed (compact, without boundary) three-dimensional manifold in which every loop can be continuously shrunk to a point is homeomorphic to the three-dimensional sphere.