>>846自己レス

数学命題としては番組冒頭から登場している。
「単連結な3次元閉多様体は3次元球面と同相といえるか？」

「～？」て形の疑問文なんだけど、
ポアンカレ予想は「どっちか」主張してないの？
（P対NP問題のごとく主張していない？）
ペレリマン博士が証明したのは「どっち」なの？

この話の大筋からしてチンプンカンプンだよ。