最近ポワンカレ予想が証明されたらしいよね。