Poincaré conjecture
1964年に引退するとケンブリッジ近郊のコンバートンに移り住んだ。引退後も位相幾何学の研究を続け、1966年に一般化されたポアンカレ予想を多様体について証明した。