盛穎，xAI前推理團隊負責人，開源推理引擎SGLang的發起者，近日在《矽谷101》的專訪中，分享了她從學術研究到工業界，再到創業的完整歷程。她目前創立的公司RadixArk，已完成1億美元種子輪融資，投資方几乎集齊了矽谷的算力巨頭和技術領袖，目標是讓前沿AI基礎設施成為行業可用的開放底座。

盛穎的學術背景紮實：本科畢業於上海交通大學ACM班，後赴美在哥倫比亞大學和斯坦福大學分別取得電腦科學碩士和博士學位。她的研究橫跨演算法、形式化驗證和大模型系統，曾在IJCAR（自動推理國際聯合會議）獲得最佳論文獎，並作為cvc5的貢獻者獲得TACAS最佳工具論文獎。

在斯坦福期間，盛穎師從Clark Barrett教授，研究方向是形式化驗證，具體涉及SMT求解器的最佳化。她坦言，最初進入這個領域是“被動”的，因為博士輪轉專案匹配到了這個方向，但後來逐漸欣賞到其美感。然而，她也看到形式化驗證在現實應用中的侷限：驗證成本高、能驗證的範圍有限，難以產生廣泛影響。這促使她轉向AI領域，尋求更貼近實際應用的研究。

大模型浪潮興起後，盛穎作為LMSYS開源社群的核心成員，參與推動了一系列有行業影響力的專案。隨後，她加入xAI（現SpaceXAI），共同領導Grok的推理團隊，將開源研究帶入前沿大模型工程實踐。在xAI期間，她負責的推理團隊致力於提升Grok的推理效率和效能，SGLang作為她發起並研究的開源推理引擎，已成為眾多大模型部署和推理的重要底層工具，也是AI infra領域最具影響力的開源推理框架之一。

如今，盛穎從SGLang開源生態中孵化出創業公司RadixArk，希望將少數科技巨頭才擁有的前沿AI基礎設施，變成整個行業都能使用的開放技術底座。RadixArk創立之初便完成1億美元種子輪融資，投資方几乎集齊了矽谷所有的算力巨頭和技術領袖人物。公司目前已有40多人，於6月1日搬入新辦公室，擴張速度超出預期。

在專訪中，盛穎也回顧了個人成長的心路歷程。她提到，從江西到上海讀本科時經歷了文化衝擊，而紐約的包容讓她感到自由。她曾一度嚮往“與世無爭”的學術生活，但西海岸的氛圍讓她重新渴望參與世界的推動。她坦言，自己在研究過程中多次經歷“空窗期”，但最終找到了自己真正想做的事：構建一個與強力AI共存、且人類不會輸的未來。

盛穎的故事，不僅是一個技術專家的成長史，也折射出AI基礎設施領域從封閉走向開放的趨勢。RadixArk的成立，或許意味著AI推理基礎設施的“平權”時代正在到來。