俺はP≠NPを確信している側
今は関連理論を作っていて、そこから派生的に証明できると思っているけど、単なる実例よりも
相当高い抽象化をしないと証明にはならないと思ってる