単連結な3次元多様体は3次元球面 S3同相である。

という唯一証明された問題はでしょう。