The moving sofa problem
Research level
A rigid planar shape must be moved around a right-angled corner in a hallway of width 1. What is the largest possible area of such a shape? Gerver's sofa has area about 2.2195. Prove that no shape with larger area can make the turn.