对话盛颖：xAI，Infra的浪漫，SGLang，开源，平权与“甄嬛传”

摘要

硅谷101 專訪 xAI 前推理系統負責人、開源推理引擎 SGLang 發起人盛穎，從她在上海交大、哥倫比亞、史丹佛的求學經歷，談到形式化驗證研究、轉向 AI infra、創立 SGLang、加入 xAI 共同搭建 Grok 推理團隊，再到 2025 年孵化新創公司 RadixArk（完成 1 億美元種子輪，投資人集齊輝達、超微、英特爾等算力巨頭）的完整歷程。核心論點是基礎設施本身就是產品，RadixArk 的長遠使命是打造能被所有人共用的下一代 AI 基礎設施，讓開源與閉源模型共存但權力不被少數巨頭壟斷。

重点

• 盛穎在史丹佛師從 Clark Barrett 教授研究形式化驗證與 SMT 求解器，曾獲 IJCAR 最佳論文獎，博士期間經歷長達一年的低潮期，導師從未停過她的經費
• SGLang 定位為集大成的通用推理引擎，核心技術 RadixAttention 用基數樹索引請求間的公共前綴以避免重複計算 KV cache，最早是以 agentic 用例為設計出發點
• 2024 年 10 月加入 xAI，與丈夫 Lianmin 共同建立 Grok 的推理技術棧；她形容早期 xAI（不到百人規模）沒有辦公室政治、文化沒有邊界，是她職涯中回憶最美好的一段時光
• 2025 年 7 月因 SGLang 開源社群需求爆量、核心貢獻者靠業餘時間已無法交付，選擇放棄未滿一年可兌現的股權激勵、離開 xAI 創立 RadixArk
• RadixArk 完成 1 億美元種子輪，投資方包含輝達、超微、英特爾等半導體巨頭；公司文化強調基礎設施本身就是產品，追求基礎設施的美感與精益求精
• 目前聚焦在推理與強化學習兩個貼近使用者末端的環節，並開發 RL 框架 Miles；DeepSeek v4 等新架構發布時追求首日兼容以滿足市場對即時可用的期待
• 她將自己對平權的堅持追溯到出身江西、透過陌生網友的開源分享自學程式設計的經歷，並主張 RadixArk 與非營利組織 LMSYS 的長遠目標是讓最好的 AI 均等地被握在不同人手中，而非被少數人壟斷或被閉源集中化

金句