被a16z看中 上线三周的Jev拿下75亿美元估值

作者：晓静，腾讯科技

凭借一款不聊天、不写代码的模型Jev，AI创业公司TypeSafe AI吸引了硅谷顶级投资机构的重注。

美国当地时间10月9日，TypeSafe宣布完成8.7亿美元A轮融资，投后估值达到75亿美元。a16z领投，红杉资本和DCVC跟投。a16z合伙人马丁·卡萨多（Martin Casado）将加入公司董事会。

DCVC此前已领投TypeSafe种子轮融资。此次a16z的投资公告由多位合伙人共同署名，包括创始合伙人马克·安德森（Marc Andreessen）和本·霍洛维茨（Ben Horowitz）。

Jev于9月15日开放早期访问，从产品亮相到完成新一轮融资，不到一个月。

资本为什么押注Jev

a16z的投资公告把Jev的发布称为“今年最大的叙事反杀”。

全行业都在追更大的模型、更长的上下文、更深的推理，TypeSafe反其道而行之，做了一个更简单、更快、更便宜的模型，增长速度反而更快。

这背后是a16z对AI行业现状的一个判断：“AI吃掉软件”这句话说了好几年，但现实有点反讽——AI确实在写更多的传统软件，而且写得更快了，却不一定让软件本身变得更智能。

大模型作为对话助手很强大，但要把它接入现有软件，开发者得做大量格式转换和异常处理的工作。

a16z认为真正的经济释放点在于：所有软件都能天然地、原生地嵌入最新模型的智能，而且性能和成本要符合传统软件的经济学规律。

这就是TypeSafe打动他们的地方。Jev不是另一个聊天机器人，而是一种可以直接写进代码里的决策组件。卡萨多用“Jev形状的洞”来形容这个需求，开发者一直想在软件内部做AI判断，但之前的工具都太笨重了，Jev出来大家才反应过来这才是自己要的。

增长数据是估值最直接的支撑。TypeSafe披露，Jev上线三天便处理了1万亿个Token，第一周出现数千个应用场景，涉及生成式界面、互动游戏和数据分析等领域。a16z说这是他们见过增长最快的模型。

企业端渗透同样迅速。Jev上线数日用户数便超过100万，约三分之一的《财富》世界500强企业已在使用这款模型。

a16z还把TypeSafe和Cursor放在一起比较。Cursor让开发者用AI更快地写更多软件，TypeSafe让开发者用更低的成本写出更智能的软件。一个改变了写软件的方式，一个改变了软件本身的构成方式。两者切入点不同，但都是AI和软件开发流程深度结合的代表。而a16z在这两笔交易里都站在了早期投资人的位置。

另外，a16z认为TypeSafe和开发者文化在精神上高度契合：务实、可组合、尊重建造者。这和大实验室那种“取代软件工程师”“干掉SaaS”的话术形成鲜明对比。

TypeSafe相信AI是让软件更智能的工具，而不是取代软件的东西，权力应该回到开发者手里。a16z说这种理念上的契合可以追溯到很多年前，他们很早就关注创始人迪奥戈·阿尔梅达（Diogo Almeida）了。

这里面还有一个“杰文斯悖论”的逻辑。Jev的名字就来自经济学家威廉·杰文斯（William Stanley Jevons），他提出效率提升反而会增加需求。a16z把这个逻辑套用在AI上：如果智能便宜到可以随处调用，它就会被到处调用。调用量上去了，总量级的收入空间反而更大。

Jev带来的新增需求，也是a16z愿意在这么早期给高估值的另一个原因。

值得注意的是，Jev上线后很快就实现了盈利。阿尔梅达在采访中确认了这一点，不过公司没透露具体数字。二十多人的团队，产品上线不到一个月就盈利，说明商业模式本身是成立的，不是靠补贴烧钱换增长。这一点对75亿美元的估值也构成了支撑——至少不是纯靠故事撑起来的。

钱怎么花？

8.7亿美元的融资用途主要有几个：继续提高Jev能力，发布更多机器原生模型，完善企业级基础设施和客户功能，扩充团队，增加算力。目前公司只有二十多人，要支撑财富500强级别的客户量，研发、部署、客户支持都得补人。

最大的挑战是可靠性。阿尔梅达自己也说，现在很多AI模型的智能是碎片化的——大部分时间水平很高，偶尔又很低级。聊天场景里出问题可以追问，可以人工纠正，但无人值守的软件流程里，一次错误就可能连锁影响后续操作。Jev的结构化输出减少了格式层面的不确定性，但判断本身准不准、置信度靠不靠谱，仍是独立的问题。

还有一个挑战是场景广度。目前Jev最适合的是分类、筛选、评分这类边界明确的任务，但软件里的判断远不止这些。TypeSafe需要证明这套方法能覆盖足够广泛的需求，才能从一个好用的工具变成基础设施级别的产品。

人才招聘平台Jack & Jill提供了一个具体案例：10天内把候选人匹配环节全部从Gemini切换到Jev，成本降了88%，处理时间减半，一年可节省26.5万美元。

可组合AI的野望

阿尔梅达曾在OpenAI参与InstructGPT研发，是ChatGPT背后核心技术的建设者之一。但他后来选择离开，走了一条完全相反的路。

他的核心判断是：计算机不说人类语言。软件由逻辑、数据结构和层层抽象构成，AI如果要融入软件，就应该变成可以直接调用的组件，而不是对话助手。

TypeSafe把这个理念叫做“可组合AI”（Composable AI）——取代软件工程不是目的，他们希望把智能拆成可以独立调用的零件，让开发者自己组合。

公司官网有个“没有马的马车”的比喻：早期汽车沿用马车的设计，只是把马换成发动机后来才找到自己的原生形态。今天的AI也一样，还处在“会说话的助手”这个旧形态里，TypeSafe想做的是从一开始就按机器调用的需求来设计模型。

这是阿尔梅达的赌注，也是a16z砸下8.7亿美元的底层逻辑。Jev只是第一步，System One模型系列还会有更多成员。75亿美元的估值买的是“智能变成软件基础元件”这个可能性能不能成真。

成了，就是下一个数据库级别的基础设施；不成，也就是一个卖得不错的小模型。