ポアンカレ予想
可微分多様体上でモース関数を使用して、高次元ポアンカレ予想を解決した（この手法は4次元ポアンカレ予想にも応用された）。