“Blum’s P≠NP proof was irreparably flawed” Posted on August 26, 2017 by jgordon Link. Fascinating and sort-of accessible discussion.