3 ms·
Ask HN: Whatever happened to P = NP
Whatever happened to P != NP
- jkempf 16y agoIn short, it seemed that the proof was flawed at a meta-level -- there were certain results, such as that k-SAT has different behaviors (or tractability) at k < 7 and k >= 7, that the proof failed to explain or incorporate. The consensus was that this was a welcome attempt at answering P ?= NP, but it wasn't sufficient.