加州大学伯克利分校电气工程与计算机科学系教授宋晓冬近日宣布加入meta超级智能实验室（Superintelligence Labs），出任AI研究副总裁一职。这位在计算机安全与AI安全领域具有国际影响力的学者，将直接向实验室主管Nat Friedman汇报工作。
作为全球计算机安全领域的领军人物，宋晓冬的学术履历堪称辉煌。她本科毕业于清华大学物理系，随后在美国卡内基梅隆大学获得计算机硕士学位，并于2002年在伯克利分校取得博士学位。目前担任去中心化智能中心联合主任的她，曾获麦克阿瑟天才奖、ACM Fellow、IEEE Fellow等顶级荣誉，其研究成果被AMiner评为计算机安全领域全球最高被引论文。
这位学者在2005年提出的"污点分析法"（Dynamic Taint Analysis）已成为计算机安全领域的经典理论。她的研究范围不仅涵盖传统软件安全，更在对抗性机器学习领域开创了多项先河。其团队开发的ALE（Agents' Last Exam）测试框架，能够评估AI智能体在真实世界场景中的经济价值实现能力，近期对Fable 5、GPT-5.5等前沿系统的评测引发行业关注。
商业领域同样活跃着宋晓冬的身影。作为Oasis Labs和Virtue AI的创始人，她带领团队开发的AI安全基础设施已服务于多家企业。特别是针对AI智能体的自动化红蓝对抗和运行时防护技术，在生成式AI时代具有重要战略意义。据知情人士透露，除宋晓冬外，Virtue AI联合创始人Bo Li与Sanmi Koyejo也将携核心团队加入meta。
此次人才引进正值AI安全成为行业焦点之际。此前Anthropic安全模型mythos的禁用事件，暴露出前沿模型存在的潜在风险。对于计划将AI深度整合至社交产品矩阵并坚持开源战略的meta而言，加强模型安全防护已成为当务之急。Virtue AI团队在AI安全基准测试和防护技术方面的积累，或将为meta构建可信AI体系提供关键支撑。
另一则引人注目的人事变动同样发生在meta。原Gemini推理团队创始人Denny Zhou已确认加盟meta，领英资料显示其职级为Level 10。这位被业界称为"教会大模型推理"的顶尖专家，曾主导开发Chain-of-Thought、Self-Consistency等关键技术，为Gemini在复杂数学和长程推理任务上的突破奠定基础。其研究团队早期确立的技术路线，至今仍是行业推进大模型推理能力的重要范式。
