DeepSeek一位做算子的工程师，9月14日写了篇《我不得不把才华埋葬在昨天》，海外技术圈刷了屏。他的判断是：一年前AI还只能帮他查文档、找bug，现在已经能独立读CUDA、PTX、SASS，自己分析指令停顿、完成算子优化；半年到一年内，AI写的算子会追上甚至超过人。

这篇文章值钱的不是焦虑，是那句判据：AI取代的不是低端工作，是能被形式化描述的工作。

航空业这三十年大概是被形式化得最狠的行业之一。领航员没了，报务员没了，飞行工程师没了，配载、签派、飞行计划优化大半交给了系统。可驾驶舱里的人数，减到两个就再没往下走。

不是第三个座位省不掉——多数航段上，自动驾驶飞得比人稳。是两个人的真正用途不在操纵，在签字。出了事，得有一个具体的、持照的、能被追责的人站在那儿。责任这东西没法形式化，也没法外包给一个不会上法庭的模型。

所以真正的分界线从来不是能不能干，是谁来担。