五个多月前，林俊旸在 X 上留下一句极简告别，如今答案揭晓，他没有再造一个大模型，去造一个横跨数字与物理世界的 Agent 体系。8 月 12 日，这位 93 年出生的前千问负责人，在上海官宣新公司 Pragmatik Labs（语用科技，简称 p7k）。红杉中国、高榕创投联合领投，腾讯与上海未来产业基金跟投，传闻估值一度摸到 20 亿美元。投资人买的大概就三样，林俊旸本人，千问系团队，以及对下一代技术范式的判断。Pragmatik，既指语用学，也指实用主义。他当年从语用学入门语言学，一路走到大模型，如今又绕回这个名字。某种意义上，这是一个宣言，语言模型不该再在文本框里预测下一个词，而该进入真实语境，理解目标、调用工具、产生真实的改变。官网很克制，没有参数、没有 Demo、没有时间表，只有两条业务线，数字 Agent 和物理 Agent。以及四个动词，推理、使用工具、从反馈中学习、协调行动。这延续了他离职后的判断，推理模型在封闭上下文里找最优解，Agent 却必须为行动而思考，在动态环境里不断修正计划。所以他反复强调 Harness Engineering，核心智能不在模型权重里，而在工具、记忆、环境、权限、验证组成的完整系统里。数据也撑得起这个判断，OSWorld 2.0 的 108 个真实长程工作流，最好的模型也只能完成约两成。更值得玩味的是，他没有在数字和物理之间做单选题。外人眼里两条鸿沟巨大的路线，在他框架里不过是 Agent 面对的两种「环境」，数字世界有海量轨迹数据、极低试错成本，是物理智能最好的试炼场。等通性能力磨出来，再下沉到机器人和工业场景。这套定义比「世界模型」更宏大。世界模型解决如何预测环境，Agent 系统解决如何基于预测重塑环境。从千问到 Pragmatik，林俊旸回答的是两个不同的问题。如何训练一个足够强大的模型，与如何让智能走出对话框，从训练会回答问题的模型，转向设计能进入世界、改变世界的系统。当然，愿景归愿景。Agent 的可靠性尚未攻克，物理世界的通用时刻更加漫长，同时驾驭两条战线更考验组织效率。至于能不能再走通一条更大的路，时间会给出答案。大模型 科技 人工智能 大厂