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

文章作者、来源：华尔街见闻

本周四，UC Berkeley 计算机教授 Dawn Song（宋晓冬）宣布加入 Meta 超级智能实验室 Superintelligence Labs，担任 AI 研究副总裁。

宋晓冬将直接向 MSL 主管 Nat Friedman 汇报工作。

宋晓冬在学术界和工业界都享有很高声誉，她是全球计算机安全与 AI 安全领域最具影响力的学者之一，目前任加州大学伯克利分校（UC Berkeley）电气工程与计算机科学系（EECS）教授。

宋晓冬本科毕业于清华大学物理系，1999 年在美国卡内基梅隆大学计算机系获硕士学位，2002 年于加州大学伯克利分校获得博士学位。伯克利任教期间，她同时任去中心化智能中心（Berkeley RDI）联合主任。她是麦克阿瑟天才奖（MacArthur Fellowship）得主，同时也是 ACM Fellow、IEEE Fellow 以及美国艺术与科学院（AAAS）院士，包揽了计算机与科学界的多项最高荣誉。

她在 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 智能体的自动化红蓝对抗（Red-teaming）和运行时护栏（Runtime guardrails）。

据外媒报道，本次包括宋晓冬，Virtue AI 的另两位创始人 Bo Li 与 Sanmi Koyejo，以及更多团队成员也一同加入了 Meta。自从 Anthropic 的新一代安全大模型 mythos 发布和被禁用后，AI 的安全问题已经引起了科技界的广泛关注，Meta 正在寻求加强其在智能体方面的安全措施。

随着前沿模型面临的安全问题，全球顶尖 AI 实验室目前正在面临空前的压力。Meta 的目标是将 AI 部署到几十亿人的社交产品矩阵中，同时继续推进开源战略。要做到这一点，它必须向监管机构和公众证明其模型具备抵御恶意滥用的硬核能力。Virtue AI 团队的加入有望提供巨大帮助。

Denny Zhou加入Meta

与此同时，Gemini Reasoning Team 创始人 Denny Zhou 据传已于数月前离开 Google，加入 MetaTBDLab (领英上已有更新入职 Meta 好几个月了，且职级为 Level 10。

Denny Zhou 是 AI 推理领域绝对的顶级大牛之一，被誉为「教 LLM 学会推理」的关键人物。

过去几年，Denny Zhou 参与推动了 Chain-of-Thought、Self-Consistency、Least-to-Most Prompting 等一系列关键方法，把大模型推理从「提示词技巧」推进为一套可研究、可扩展、可工程化的技术路线。某种意义上，今天 Gemini 在复杂数学、代码和长程推理任务上的持续加码，离不开这条由 Reasoning Team 早期奠定的研究脉络。