北京
8月11日，林俊旸在X发帖确认，他已在上海创办Pragmatik（p7k）Labs，中文名语用科技，研究方向是"横跨数字世界和物理世界的下一代智能体"。高榕创投与红杉中国共同领投本轮融资，腾讯和上海未来产业基金也参与了支持。
语用科技官网也在当天上线。
林俊旸此前负责阿里通义千问的研发与开源，今年3月离职。五个月后，他正式公布了自己的创业项目。
两条线，一套问题
官网列出了数字智能体和物理智能体两条方向。前者面向知识工作、企业运营和产业级工作流；后者需要适应现实环境、执行动作，并完成长周期任务。公司还提出，要把前沿研究投入现实应用，并继续探索突破现有范式的长期系统。
此前报道多用“世界模型”和“具身大脑”描述林俊旸的创业方向。此次官网没有沿用这两个说法，而是将公司方向分为数字智能体和物理智能体。
官网没有说明两条路线是否共用同一套底层系统，只列出四项共同能力：推理、使用工具、从反馈中学习和协调行动。无论任务发生在数字还是物理环境，系统都要执行任务、接收反馈，再决定下一步。
为什么叫"语用"
林俊旸随后在跟帖中解释，公司名字来自自己的求学经历。他最初学的是语言学，后来转向计算语言学和自然语言处理，再进入大模型。Pragmatik既指向语用学，也有"回到事情实际发生之处"的意思。在他的设想里，AGI最终要能解决实际问题。
在阿里负责Qwen研发和开源的几年里，他主要做的是把模型能力开放给更多开发者。创业后，他开始把模型、工具和环境接起来。
高榕、红杉领投，腾讯参投
林俊旸确认，高榕和红杉中国共同领投本轮融资，腾讯与上海未来产业基金提供支持。7月的工商变更已经显示，腾讯旗下上海启善投资、红杉中国的美元基金主体和厦门雅恒创业投资基金等，进入语用科技股东名单。
《The Information》今年6月援引知情人士称，本轮募得数亿美元，投后估值约20亿美元；高榕与红杉中国各投入1亿美元，腾讯投入2000万美元。估值数字没有出现在这次的公告里。
融资阵容公开了，方向也讲清楚了。语用科技还没有公布首款产品、核心团队、模型方案和上线时间。数字和物理这两条线，是共用一套底层系统，还是先挑一条走通，要等第一款产品出来才知道。（易句）
（本文由AI翻译，网易编辑负责校对）
