>>38
P!=NPの証明は「明らか」で十分だよ
解けたからってなんかできるようになるわけじゃないし
万が一否定されたら大変なことになるが