ハイビジョン特集 数学者はキノコ狩りの夢を見る ～ポアンカレ予想・１００年の格闘～（２００７年）人類史上の謎、数学の難問に挑み続けた天才たちの格闘のドラマ。
ハイビジョン特集 数学者はキノコ狩りの夢を見る ～ポアンカレ予想・１００年の格闘～（２００７年）宇宙は一体どんな形なのか？その人類が長年問い続けてきた謎に迫る数学上の難問が「ポアンカレ予想」だ。２００６年、ロシアの数学者グリゴリ・ペレリマンによって予想は証明されたが、彼はフィールズ賞の受賞を拒否し行方をくらましてしまう。ポアンカレ予想が解けるまでの１００年にわたる天才たちの格闘のドラマに迫る。
「単連結な三次元閉多様体は三次元球面S3に
