ポアンカレ予想
4次元ポアンカレ予想
https://www.quantamagazine.org/new-math-book-rescues-landmark-topology-proof-20210909/
https://zenn.dev/lotz/articles/eebd7ea4d1fe776f1f66