編輯 | 澤南

本周四，UC Berkeley 計(jì)算機(jī)教授 Dawn Song（宋曉冬）宣布加入 Meta 超級(jí)智能實(shí)驗(yàn)室 Superintelligence Labs，擔(dān)任 AI 研究副總裁。

宋曉冬將直接向 MSL 主管 Nat Friedman 匯報(bào)工作。

宋曉冬在學(xué)術(shù)界和工業(yè)界都享有很高聲譽(yù)，她是全球計(jì)算機(jī)安全與 AI 安全領(lǐng)域最具影響力的學(xué)者之一，目前任加州大學(xué)伯克利分校（UC Berkeley）電氣工程與計(jì)算機(jī)科學(xué)系（EECS）教授。

宋曉冬本科畢業(yè)于清華大學(xué)物理系，1999 年在美國卡內(nèi)基梅隆大學(xué)計(jì)算機(jī)系獲碩士學(xué)位，2002 年于加州大學(xué)伯克利分校獲得博士學(xué)位。伯克利任教期間，她同時(shí)任去中心化智能中心（Berkeley RDI）聯(lián)合主任。她是麥克阿瑟天才獎(jiǎng)（MacArthur Fellowship）得主，同時(shí)也是 ACM Fellow、IEEE Fellow 以及美國藝術(shù)與科學(xué)院（AAAS）院士，包攬了計(jì)算機(jī)與科學(xué)界的多項(xiàng)最高榮譽(yù)。

她在 2005 年所提出的「污點(diǎn)分析法」（Dynamic Taint Analysis）論文，是計(jì)算機(jī)安全領(lǐng)域的經(jīng)典論文。

宋曉冬的研究不僅覆蓋傳統(tǒng)的軟件和網(wǎng)絡(luò)安全，更是對(duì)抗性機(jī)器學(xué)習(xí)和智能體安全領(lǐng)域的開拓者，她深度參與了生成式 AI 時(shí)代安全基準(zhǔn)測(cè)試的制定。

在 AMiner 評(píng)選的榜單中，她是計(jì)算機(jī)安全領(lǐng)域全球最高被引學(xué)者。她在伯克利的實(shí)驗(yàn)室被譽(yù)為計(jì)算機(jī)安全領(lǐng)域的黃埔軍校。

兩星期前，我們報(bào)道過其團(tuán)隊(duì)開發(fā)的ALE（Agents' Last Exam，智能體的最后考試），用來衡量 AI 智能體是否真的能夠在廣泛的真實(shí)世界領(lǐng)域中完成具有經(jīng)濟(jì)價(jià)值的工作。

在 ALE 中，伯克利團(tuán)隊(duì)評(píng)測(cè)了 Fable 5、GPT-5.5、Composer 2.5 以及其他前沿智能體系統(tǒng)，其結(jié)果令人印象深刻。

宋曉冬也是 Oasis Labs 和 Virtue AI 的創(chuàng)始人。Virtue AI 專注于企業(yè)級(jí) AI 安全基礎(chǔ)設(shè)施，特別是針對(duì) AI 智能體的自動(dòng)化紅藍(lán)對(duì)抗（Red-teaming）和運(yùn)行時(shí)護(hù)欄（Runtime guardrails）。

據(jù)外媒報(bào)道，本次包括宋曉冬，Virtue AI 的另兩位創(chuàng)始人 Bo Li 與 Sanmi Koyejo，以及更多團(tuán)隊(duì)成員也一同加入了 Meta。自從 Anthropic 的新一代安全大模型 mythos 發(fā)布和被禁用后，AI 的安全問題已經(jīng)引起了科技界的廣泛關(guān)注，Meta 正在尋求加強(qiáng)其在智能體方面的安全措施。

隨著前沿模型面臨的安全問題，全球頂尖 AI 實(shí)驗(yàn)室目前正在面臨空前的壓力。Meta 的目標(biāo)是將 AI 部署到幾十億人的社交產(chǎn)品矩陣中，同時(shí)繼續(xù)推進(jìn)開源戰(zhàn)略。要做到這一點(diǎn)，它必須向監(jiān)管機(jī)構(gòu)和公眾證明其模型具備抵御惡意濫用的硬核能力。Virtue AI 團(tuán)隊(duì)的加入有望提供巨大幫助。

與此同時(shí)，Gemini Reasoning Team 創(chuàng)始人 Denny Zhou 據(jù)傳已于數(shù)月前離開 Google，加入 MetaTBDLab (領(lǐng)英上已有更新入職 Meta 好幾個(gè)月了，且職級(jí)為 Level 10。

Denny Zhou 是 AI 推理領(lǐng)域絕對(duì)的頂級(jí)大牛之一，被譽(yù)為「教 LLM 學(xué)會(huì)推理」的關(guān)鍵人物。

過去幾年，Denny Zhou 參與推動(dòng)了 Chain-of-Thought、Self-Consistency、Least-to-Most Prompting 等一系列關(guān)鍵方法，把大模型推理從「提示詞技巧」推進(jìn)為一套可研究、可擴(kuò)展、可工程化的技術(shù)路線。某種意義上，今天 Gemini 在復(fù)雜數(shù)學(xué)、代碼和長程推理任務(wù)上的持續(xù)加碼，離不開這條由 Reasoning Team 早期奠定的研究脈絡(luò)。

參考內(nèi)容：

https://x.com/dawnsongtweets/status/2070191051873345910

https://www.axios.com/2026/06/25/meta-hires-virtue-ai-founders-security