2026年2月，计算机科学硕士，视频面试。 芝大的CS以理论著称，面试也偏重理论。两位教授，一位做算法，一位做系统。 "讲一个你设计过的算法。" 我讲了本科做的图最短路径优化，用了A*。 "你的算法能证明正确性吗？" 我愣了一下，说测试过很多案例。他追问"测试能代替证明吗？" 我说不能，但时间有限。他说"芝大要的是能证明的人"。 "P和NP问题你怎么看？" 我说如果P=NP，密码学会崩溃。他说"那你怎么设计一个P=NP世界里的密码系统？" 我答不上来，他说"没关系，这是开放问题"。 全程30分钟。