盛颖，江西第一枚女生NOI银牌，创业AI推理引擎估值4亿美元，英伟达、AMD和英特尔CEO都投了她
2026年5月5日，一家叫RadixArk的AI公司宣布，拿到1亿美元种子轮，估值4亿美元。
投钱的名单很长。英伟达、AMD、联发科三家芯片公司都在里面。个人投资者那一栏，有英特尔CEO陈立武、博通CEO陈福阳、马斯克xAI的联合创始人Igor Babuschkin、OpenAI联合创始人John Schulman，还有PyTorch的创造者Soumith Chintala。PyTorch是全世界写AI程序用得最多的工具之一。
几家互相较劲的芯片公司，押了同一家公司。
这家公司的CEO叫盛颖。2011年，她是江西九江一中的高二学生，在全国青少年信息学奥林匹克竞赛（NOI）上拿了银牌。当年江西省的报道写着：她是江西参加这项比赛二十多年来，第一位拿到银牌的女生。
SGLang：让大模型回答问题又快又省的引擎
RadixArk手里最值钱的东西，是一个免费的开源软件，叫SGLang。它2023年诞生在加州大学伯克利分校Ion Stoica教授的实验室，这间实验室还做出过另一个推理引擎vLLM。
大模型训练好以后，每回答一个问题，都要在显卡上算一遍。每一次提问，都在烧显卡、烧电。管这件事的软件叫推理引擎：请求怎么排队、显卡怎么分、哪些东西能少算。同样一批显卡，引擎好，能同时伺候的用户就多。
SGLang省钱的招数叫RadixAttention。很多提问的开头其实一模一样：同一段系统设定，同一场多轮对话的前几轮，同一批例题。以前每个请求都从头算，SGLang把算过的开头存起来，下一个开头相同的请求直接接着往下算。显存装不下了，就先删最久没用过的。
有点像老师批作业。同一道题，前几步大家写得都一样，批过一遍就记住，后面只看每个人不一样的地方。
2024年1月第一次发布时，SGLang的处理速度最高能到同类引擎vLLM的5倍。SGLang的论文后来登上了AI领域的顶级会议NeurIPS。
2025年3月，PyTorch官方博客写道：马斯克xAI的旗舰模型Grok 3，就是用SGLang跑的。xAI联合创始人Babuschkin说得更直接：
SGLang是大语言模型最好的推理框架，没有之一。
RadixArk公布的用户名单里，有谷歌、微软、英伟达、甲骨文、AMD、领英、xAI，还有OpenAI前CTO穆拉蒂创办的Thinking Machines Lab。按公司的说法，SGLang跑在几十万张GPU上，每天生成数万亿个token（模型输出的字词）。
推理这块地，资本抢得很凶。2026年1月，vLLM背后的公司Inferact拿了1.5亿美元种子轮，估值8亿美元。
SGLang和Miles都继续免费开源，RadixArk靠帮客户托管、运维这些系统收钱。2026年6月，公司搬进新办公室，40多个人。
Miles：让大模型自己刷题、越练越强
RadixArk的第二个产品叫Miles，2025年11月发布。
很多大模型学完海量文字以后，还要"刷题"：自己做大量题目，做对加分，做错扣分，越练越会推理。这一步叫强化学习，DeepSeek-R1这类会"思考"的模型，就是这样练出来的。
Miles就是组织这场刷题的框架，专门对付那些超大的模型。它从清华和智谱团队开源的slime分出来，slime训练过智谱的GLM-4.6。Miles让模型做题、生成答案的那一步，用的就是SGLang。2026年8月，Miles发布了正式的v0.1版本。
朱邦华：伯克利博士，和吴恩达一起开课
RadixArk的另一位联合创始人是朱邦华，任CTO。
朱邦华清华电子系本科毕业，去伯克利读博，导师是机器学习泰斗Michael Jordan和焦剑涛。他做过开源模型Starling-7B和Athene-V2，也是Chatbot Arena的核心贡献者。他还和吴恩达在DeepLearning.AI合开过一门课，讲大模型训练完之后怎么再调教。
RadixArk是他第二次创业。2023年，他和焦剑涛等人创办了Nexusflow，做企业用的AI助手。2025年6月，Nexusflow被英伟达收购，朱邦华进了英伟达做首席研究科学家。华盛顿大学也聘了他做助理教授。
他在个人主页上写：
We believe deeply in building in the open.（我们坚信要开放地去做。）
盛颖：被互联网上的陌生人教会了编程
盛颖在访谈里说：
我出生在江西这样一个中部的省，也不是很发达的一个省。
那时候计算机竞赛冷门，市面上找不到像样的教材。她学编程，靠的是网上的帖子、博客、CSDN和在线题库，看完别人写的代码，拿回家自己琢磨，连写代码的人是谁都不知道。
我觉得我是被这样一群人、被互联网上不知道在世界哪里的人给raise（养）起来的，是被他们教会的。
后来她最出名的几个项目，都是免费开源的。
高一，她拿了全国信息学联赛（NOIP）提高组一等奖。高二那年，先是亚太信息学奥赛（APIO）铜牌，再是开头那块NOI银牌，430分。就在NOI比赛现场，上海交通大学ACM试点班把她预录了。这个班是交大计算机最拔尖的班。
成绩好，周围人却总想给她的赢找个理由。她说：
如果我是个男生，大家就会说我是天才，如果我是个女生，大家就会说她很努力、她很听话、很用功，或者说你运气好。
但正常情况下，一个人赢是不需要被解释的。
主持人问她，从小有很多人说你是天才吗？她说不多，"ACM班里面有很多比我更强的"。
上了大学，竞赛也没停。本科期间她给交大的ICPC校队当教练，那支队伍在2015年全球总决赛排第9。ICPC是全球大学生程序设计竞赛，三人一队，很多信奥选手上了大学接着打的就是它。
从哥大到斯坦福：做数学证明的人，转向了大模型
2016年本科毕业，她迟迟没拿到美国学校的录取，先接了香港中文大学的博士录取。按约定，4月15日是最后答复期限。过了期限的第二天，哥伦比亚大学发来一封很普通的硕士录取通知。
去哥大，就得毁约，还要交一笔违约金。她给爸爸打电话。
我犹豫了一下，但我爸非常快地回答，思考不到一分钟就说："好，你去。"
在哥大，她卡在一道证明题上。有一天读完论文，她看电视剧放松，看到一半，论文里的一个点突然冒了出来，她暂停电视，跑去写证明，题解开了。主持人问是什么电视剧，她答："《甄嬛传》，我是真的记得。"
还是在哥大，她自己又上场打ICPC，拿了2017年大纽约赛区冠军，打进2018年全球总决赛。
之后她去斯坦福读计算机博士，导师Clark Barrett，研究形式化验证，也就是用数学证明一段程序不会出错。她参与的论文拿过IJCAR 2020最佳论文。
博士后半段，她转向了大模型。
她是FlexGen的第一作者，这个项目让一张普通显卡就能跑起大模型。她和丈夫郑怜悯一起发起了LMSYS，一个让不同学校的人一起做研究的组织。郑怜悯也是交大ACM班出身，在伯克利读的博士。
LMSYS做出了Chatbot Arena，大模型竞技场：用户匿名对比两个模型的回答、投票，排出一张榜。如今各家AI公司发新模型，都爱拿这张榜说事。盛颖是LMSYS讲竞技场和大模型评测的那篇论文的第三作者，论文被引用了1.2万多次。这个竞技场后来独立成公司LMArena，2026年1月估值约17亿美元。
SGLang也出自LMSYS，第一作者是郑怜悯，盛颖是共同牵头的最后一位作者。她说，这是她想把之前所有东西"集大成为一体的一个作品"。
xAI：两个月也等不了
2024年6月，斯坦福实验室发消息：盛颖接受了加州大学洛杉矶分校（UCLA）的教职。
同年10月，她去了马斯克的xAI。
我加入的时候不到100人吧。
她说："Lianmin是我的丈夫，他那个时候已经在xAI。"xAI正要让Grok扛住真实用户的海量提问，夫妻俩一起带推理团队，从头搭起Grok背后的整套推理系统。她说，那里待一年的成长，"可能是在外面好几年才能拿到的成长"。
另一头，SGLang越来越火，用的公司越来越多，却没人能全职管它。
所以我焦虑到一个我觉得没有办法再拖的状态里，才从xAI出来。
那时她在xAI待了10个月。按规矩，员工要满一年，才能拿到第一笔股权。
其实我只要再待两个月，我就可以拿到我第一年的vesting（股权兑现）。
主持人问：所以两个月都不能待？
对，等不了了。
本文由 NOAI Club（noaiclub.cn）整理，作者：带孩子玩AI的江哥。发布于 2026-10-23。
