No.443 第17届图灵奖、NP定理、数学家斯蒂文库克Stephen Cook | 忽软忽硬 | Podwise