计算机安全第一人宋晓冬，加入Meta

这周AI圈有个不小的动作：UC Berkeley的计算机教授Dawn Song（宋晓冬）正式加入了Meta的超级智能实验室Superintelligence Labs，担任AI研究副总裁。 她将直接向MSL主管Nat Friedman汇报工作。 话还要从宋晓冬说起。这位在学术界和工业界都颇负盛名的学者，是全球计算机安全与AI安全领域最有影响力的代表人物之一。她目前是加州大学伯克利分校电气工程与计算机科学系（EECS）的教授。 她的履历堪称华丽：本科毕业于清华大学物理系，1999年在卡内基梅隆大学拿到计算机硕士学位，2002年在伯克利获得博士学位。留校任教期间，她还兼任伯克利去中心化智能中心（Berkeley RDI）的联合主任。麦克阿瑟天才奖、ACM Fellow、IEEE Fellow、美国艺术与科学院院士——这些计算机与科学界的顶级荣誉，她一个没落下。 学术圈里，她2005年提出的“污点分析法”（Dynamic Taint Analysis）至今仍是安全领域的经典论文。 不过，宋晓冬的视野远不止传统的软件和网络安全。她是对抗性机器学习和智能体安全领域的开拓者，深度参与了生成式AI时代安全基准的制定。在AMiner的全球学者榜单里，她是计算机安全领域被引用次数最高的学者。她在伯克利的实验室，更是被称为计算机安全领域的“黄埔军校”。 两个星期前，我们刚报道过她团队开发的**ALE（Agents‘ Last Exam，智能体的最后考试）**。这个测试的目的直指核心：衡量AI智能体是否真能在广泛的真实世界中完成具有经济价值的工作。在ALE中，伯克利团队评测了Fable 5、GPT-5.5、Composer 2.5等前沿智能体系统，结果令人印象深刻。 除了学术身份，宋晓冬也是两家初创公司的创始人：Oasis Labs和Virtue AI。Virtue AI专注的是企业级AI安全基础设施，特别是针对AI智能体的自动化红蓝对抗和运行时护栏。 据外媒报道，这次加入Meta的不仅是宋晓冬一人，Virtue AI的另外两位创始人Bo Li与Sanmi Koyejo，以及更多团队成员也一起过来了。自Anthropic的新一代安全大模型mythos发布又被禁用之后，AI安全问题已经彻底点燃了科技界的神经。Meta显然在寻求加强智能体方面的安全能力。 随着前沿模型面临的安全挑战日益严峻，全球顶尖AI实验室的压力与日俱增。Meta的目标是把AI部署到几十亿人的社交产品矩阵中，同时继续推进开源战略。要达成这个目标，必须向监管机构和公众证明：自己的模型有抵御恶意滥用的硬核能力。Virtue AI团队的加入，显然是在为这个目标加注。 与此同时，另一则重磅消息也浮出水面：Gemini Reasoning Team的创始人Denny Zhou，据传已于数月前离开Google，加入Meta TBD Lab。领英页面早已更新，他在Meta入职已好几个月，且职级直接达到了Level 10。 Denny Zhou算是AI推理领域的绝对大牛，被业内誉为“教LLM学会推理”的关键人物。过去几年，他参与推动了Chain-of-Thought、Self-Consistency、Least-to-Most Prompting等一系列关键方法，硬生生把大模型推理从“提示词技巧”推进为一套可研究、可扩展、可工程化的技术路线。某种意义上，今天Gemini在复杂数学、代码和长程推理任务上的持续加码，离不开这条由Reasoning Team早期奠定的研究脉络。 从安全到推理，Meta这波人才引进，意图已经非常明确：既要解决大模型的“智商”上限，更要守住安全的底线。