なんか、ツイッターで「P=NP問題」が解決したという知らせが。
ミレニアム問題がついに解けたのか。

あと何個残ってるのだろう?