>>769
4次元以上の閉多様体の分類は不可能であることが証明されている。