摘要:前阿里通义千问技术负责人林俊旸离职5个月后官宣创业,成立AI公司Pragmatik Labs,聚焦数字与物理世界下一代智能体。天使轮融资2.2亿美元,投后估值20亿美元,高榕、红杉领投,腾讯跟投。

8月12日凌晨,林俊旸在X上发了一条推文。

就一句话:我在上海创办了一家叫Pragmatik Labs的新公司,中文名“语用科技”,简称p7k。方向是数字世界和物理世界的下一代智能体。

配了一张图,公司logo。没有煽情,没有长文。

这条推文结束了一场持续近半年的猜测。今年3月4日,林俊旸在X上发了“bye_my_beloved_qwen”,正式告别他一手带大的通义千问团队。之后社交媒体几乎沉默。5月,The Information曝出他正在筹备一家新AI实验室,种子轮目标估值20亿美元,红杉和高榕已经坐在谈判桌上。6月,又有消息说融资已经close了。

到今天,一切落定。

为什么叫Pragmatik

这名字不是随便起的。

林俊旸本科读的是国际关系学院英语系,硕士在北大读外国语言学及应用语言学。他最初接触语言学,是因为一个朋友向他推荐了“pragmatics”——语用学。后来他才转向计算语言学和NLP。

“Pragmatik”这个拼写,一边指向语用学,一边指向pragmatism——实用主义。林俊旸自己说,AGI应该追求的方向就是实用主义。

一个学语言出身的90后,2019年硕士毕业进了阿里达摩院,从高级算法工程师干起。六年内连升四级,2025年成为阿里史上最年轻的P10。他主导的Qwen系列开源模型,一度冲进全球大模型第一梯队。

然后他走了。

离职不是临时起意

今年3月3日,一场围绕Qwen团队拆分重组的内部沟通会,成了林俊旸离职的导火索。公司计划把Qwen团队从垂直整合模式拆成预训练、后训练、文本、多模态等独立模块。林俊旸主张各训练环节应该更紧密协作,反对过度拆分。

更深层的原因是战略分歧。阿里AI战略向C端应用倾斜,与基础模型团队的目标产生了冲突。考核指标从模型能力变成了日活跃用户数。

林俊旸不接受。3月4日凌晨发了告别推文,第二天阿里CEO吴泳铭发内部邮件批准辞职。

Pragmatik Labs到底做什么

官网信息不多,但技术版图是清晰的。

两大方向:数字Agent和物理Agent。

数字Agent面向知识工作、业务运营和产业级工作流。说白了就是让AI替人干活——写报告、做分析、跑流程。

物理Agent是另一个故事。让AI走出屏幕,进入真实环境,适应环境、执行动作、完成长周期任务。具身智能的方向。

去年10月,林俊旸还在千问内部时就组建了一支机器人与具身智能团队。他在社交媒体上说,要“让模型走出虚拟屏幕,去真正看懂空间并学会动手操作”。这个动作当时就被外界视为转向物理AI的早期信号。

今年3月离职后,他发了一篇长文《From 'Reasoning' Thinking to 'Agentic' Thinking》。核心观点是:AI下一阶段的重点将从“训练模型”转向“训练智能体”——训练对象是“模型+环境”组成的完整系统。

Pragmatik Labs要做的事情,就是把这套想法变成产品。

融资的数字和逻辑

天使轮2.2亿美元,投后估值20亿美元。

高榕创投和红杉中国各投约1亿美元,共同领投。腾讯投了约2000万美元。上海未来产业基金也参与了。

股权结构上,语用科技5月13日注册成立,注册资本125万元。林俊旸通过本人及关联主体合计持股88%。外部投资人合计持股12%——高榕4.25%,红杉5%,腾讯1%,上海未来产业基金1%。

一家刚成立的公司,连产品都没发布,天使轮估值135亿人民币。

这个数字靠什么支撑?林俊旸本人。一个把千问从零带到全球前三的技术负责人,在顶级会议发过论文,主导开发了Qwen3.0等模型。资本市场在赌的是:他能把Qwen的成功复制到Agent赛道。

Agent是下一站

林俊旸不是唯一一个从大模型转向Agent的技术领袖。就在同一天,Manus宣布恢复独立运营。AI圈两个明星项目同时回归,指向同一个方向:AI竞争正在从模型能力本身,延伸到模型如何调用工具、适应环境、完成实际任务。

Pragmatik Labs现在官网已经上线,正在招人。没有公布模型参数,没有发布具体产品。

一家20亿美元的公司,目前只有一页官网和一纸蓝图。接下来要看林俊旸能不能把蓝图变成代码,再把代码变成产品。