유일하게 증명된 밀레니엄 문제

위상수학에서는 도형을 자르거나 붙이지 않고 늘이거나 줄여 서로 바꿀 수 있으면 위상동형이라고 한다. 그래서 구멍 하나가 있는 도넛과 컵은 같은 종류로 분류되지만, 구와 접시는 구멍이 없어 또 다른 종류가 된다. 표면 위에 놓은 폐곡선을 한 점으로 끝까지 수축할 수 있는지가 구형과 도넛형을 가르는 기준이다. 이 직관적인 구분이 3차원에서도 성립한다는 명제가 푸앵카레 정리이며, 그리고리 페렐만이 리치 흐름을 이용해 증명했다. 설명을 따라가던 독자들은 결국 “인간은 도넛이다”, “도넛은 맛있다”는 식으로 위상수학을 음식과 생물학 농담으로 확장했다.