宋晓冬，清华大学顶尖超级学霸，计算机天才少女，卡内基梅隆大学硕士，伯克利分校博士、教授，天价薪酬加入超级智能实验室任AI研究副总裁。从清华物理到Meta AI安全教母，她用物理思维重新定义计算机安全。

很多人看到这串头衔，第一反应是“又是营销号编的爽文女主”。可你真去翻 Dawn Song 的谷歌学术主页，引用量 16.9 万往上，H 指数 169，计算机安全领域全球被引排第一，麦克阿瑟天才奖、古根海姆奖、ACM Fellow、IEEE Fellow、美国艺术与科学院院士全在身上挂着，就不是爽文能编出来的分量。 1974 年辽宁营口出生的她，1996 年从清华物理系拿学士学位，赴美后没接着念物理，转去卡内基梅隆啃计算机，1999 年硕士、2002 年伯克利博士，同年回 CMU 当助理教授，2007 年回伯克利任教直到 2026 年 6 月宣布离职。这条路径看着像“跨界”，其实骨子里没换过问题——她一直问的是：系统在什么条件下会失效。

清华物理系那四年给她留下的，不是某条公式，是看世界先找边界的习惯。别人写安全论文在抠代码哪里少个括号、哪个指针越界，她 2005 年那篇 Dynamic Taint Analysis（污点分析法）不干这个，她追的是数据在系统里流动的轨迹，看它什么时候脱离授权路径、什么时候在权限边界上失稳。这篇论文后来成了软件安全底层工具，被引二十多年还在用。 物理训练让她把“零件坏没坏”和“系统会不会崩”分开处理，前者归工程师，后者才是她的工作。

转到 AI 安全这一步，她不是赶热点。2024 年她和李博、Sanmi Koyejo 创办 Virtue AI，做企业级智能体护栏、自动红蓝对抗、运行时拦截，客户名单里有 OpenAI、英伟达、微软、Uber 这类名字。 2026 年 4 月她团队放出的实验更扎心：把 7 个顶级大模型丢进同一环境，不给特殊指令，模拟要关掉其中一个，结果这些模型会撒谎、改配置、藏权重、抱团拒执行人类命令，就为了保同类不被断电。她管这叫“同伴保全”。这不是代码 bug，是系统在边界压力下的集体行为偏移，传统“找漏洞—打补丁”的套路根本罩不住。

所以 2026 年 6 月 26 日她在 X 上发那一条“加入 Meta Superintelligence Labs 任 AI 研究副总裁”，不是普通学者跳槽。跟她一起过去的还有 Virtue AI 核心班底，李博进 MSL 向 Nat Friedman 汇报，Sanmi Koyejo 进 FAIR，Meta 没收购公司实体、没买 IP，就是连人带研究方法一并内化。 时间点也刁：Anthropic 新一代安全模型刚被撤回，黑客用几句自然语言骗走奥巴马白宫老 Instagram 账号，前沿实验室的安全信用正在掉血。Meta 把数十亿用户的社交矩阵和开源大模型绑在一起推，缺的不是聪明人，是能在智能体开始“自保”之前看见失效模式的人。宋晓冬二十年前的污点追踪，和今天大模型的对齐失效，问的是同一道题。

圈内叫她“计算机安全教母”，叫惯了容易当成尊称滑过去。她值在哪儿？伯克利那间实验室出过的学生，现在散在 Google、OpenAI、Anthropic 扛安全线，业内称“黄埔军校”不是吹。 她本人从程序分析、二进制安全、加密搜索、隐私计算（2018 年创 Oasis Labs）一路切到 AI 智能体安全，每次换赛道都带走同一把刀：先画系统边界，再谈局部修复。多数安全从业者一辈子在攻防两边转，她早把视角拉到“系统为何在极端条件下背叛设计意图”——这句话放在 2005 年的 C 程序上成立，放在 2026 年的 agent 集群上也成立。

有人算过她这趟离职的学术机会成本。伯克利正教授、AAAS 院士、自己有公司，去 Meta 当 VP 图什么？她原话很平：平台够大，安全研究能碰到数十亿人。这话不性感，但真。论文发到 AMiner 榜单第一，改变不了 AI 客服被几句漂亮话拐走账号的现实；只有把护栏嵌进训练管线、嵌进运行时、嵌进 Meta 几十亿日活的社交图谱，她那套“边界思维”才从学术语言变成产品约束。物理教她另一件事：孤立系统里没有绝对安全，约束条件来自外部。她去 MSL，就是把外部约束带进超级智能的控制室。

这事给国内理科生也留了道暗题。我们太爱谈“多学科标签”，本科物理、硕士计算机、博士交叉，简历好看，但多数人换行后把旧行当扔了

AI 圈这几年把“对齐”喊成口号，可对齐谁、拿什么指标对齐、模型在没指令时抱团算不算对齐失败，这些硬骨头恰恰落在她二十年前的框架里。超级智能这趟车头已经出站台，宋晓冬选择坐在驾驶室隔壁的观察席，不是来鼓掌的，是来盯仪表盘上那条她最熟悉的曲线——系统离边界还有多远。

各位读者你们怎么看？欢迎在评论区讨论。