ポアンカレ予想が解かれたそうだ。
P=NPはどうした?