盛颖，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推理基础设施的“平权”时代正在到来。