Discussion on question by Warren Schudy: Is Norbert Blum's 2017 proof that $P \ne NP$ correct?

Imported from a comment discussion on https://cstheory.stackexchange.com/questions/38803/is-norbert-blums-2017-proof-that-p-ne-np-correct