Hacker News new | past | comments | ask | show | jobs | submit
It might make the third option, that P vs NP cannot be proven true or false, somewhat less likely.