Norbert Blum's 2017 proof for P≠NP is incorrect | Hacker News Reader