来源:市场资讯

(来源:网易智能)

8月11日,林俊旸在X发帖确认,他已在上海创办Pragmatik(p7k)Labs,中文名语用科技,研究方向是"横跨数字世界和物理世界的下一代智能体"。高榕创投与红杉中国共同领投本轮融资,腾讯和上海未来产业基金也参与了支持。

打开网易新闻 查看精彩图片

语用科技官网当天上线。相比此前报道里"世界模型"和"具身大脑"的说法,公司自己给出的定位更综合:一类智能体在数字世界工作,一类进入物理环境。它们需要推理、使用工具、从反馈中学习,并协调行动。

林俊旸此前负责阿里通义千问的研发与开源,今年3月离职。五个月后,他正式公布了自己的创业项目。

两条线,一套问题

官网把公司的产品方向分成两条线:一条留在电脑和软件里,另一条进入真实环境。前者处理知识工作、企业运营和产业流程;后者要适应环境变化、执行动作,并完成耗时更长的任务。围绕这两条线,公司同时列出了前沿研究、产品落地和长期系统。

打开网易新闻 查看精彩图片

在电脑里,智能体调用软件、处理业务;到了物理环境,它还要接收传感器信息、控制设备。此前报道里的世界模型和"具身大脑",现在归到了同一个智能体框架下。

两个场景的客户、数据和产品形态不同,要解决的问题却很接近:模型生成答案之后,还得选择工具、检查执行结果,失败了再改。这套循环,数字和物理场景都绕不开。官网把它写成四个动作:推理、使用工具、从反馈中学习、协调行动。回答问题只是起点,系统还要拿到执行结果,再决定下一步。

为什么叫"语用"

林俊旸随后在跟帖中解释,公司名字来自自己的求学经历。他最初学的是语言学,后来转向计算语言学自然语言处理,再进入大模型。Pragmatik既指向语用学,也有"回到事情实际发生之处"的意思。在他的设想里,AGI最终要能解决实际问题。

在阿里负责Qwen研发和开源的几年里,他主要做的是把模型能力开放给更多开发者。创业后,他开始把模型、工具和环境接起来。

高榕、红杉领投,腾讯参投

林俊旸确认,高榕和红杉中国共同领投本轮融资,腾讯与上海未来产业基金提供支持。7月的工商变更已经显示,腾讯旗下上海启善投资、红杉中国的美元基金主体和厦门雅恒创业投资基金等,进入语用科技股东名单。

打开网易新闻 查看精彩图片

《The Information》今年6月援引知情人士称,本轮募得数亿美元,投后估值约20亿美元;高榕与红杉中国各投入1亿美元,腾讯投入2000万美元。估值数字没有出现在这次的公告里。

钱到位了,方向也讲清楚了。语用科技还没有公布首款产品、核心团队、模型方案和上线时间。数字和物理这两条线,是共用一套底层系统,还是先挑一条走通,要等第一款产品出来才知道。(易句)

(本文由AI翻译,网易编辑负责校对)