Shubhendu Trivedi argues a P vs NP proof could be practically useless · Digg