Hacker News new | ask | show | jobs
by l33t2328 1521 days ago
The results aren’t often nearly as useful as the techniques used to find them. For example, a completely opaque proof resolving P vs NP is completely useless to theoretical CS.