P vs. NP, and other unsolvable million-dollar problems | Dark Hacker News