学方面七大千禧年难题之一。2006年确认由俄罗斯数学家格里戈里·佩雷尔曼完成最终证明，他也因此在同年获得菲尔兹奖，但并未现身领奖。
基本描述.在1900年，庞加莱曾声称，用他基于恩里科·贝蒂的工作而发展出的同调论，可以判定一个三维流形是否三维球面。不过，他在1904年发表的一篇论文中，举出了一个反例，现在称为庞加莱同调球面，与三维球面有相同的同调群。他引进了一个新的拓扑不变量，称为基本群，并且证明他的反例与三维球面的基本群不同。三维球面有平凡基本群，也就是说是单连通的。他提出以下猜