TypeSafe 创始人论"智能内嵌"如何开启可编程的概率时代

自动化究竟去哪了？这是 TypeSafe AI 创始人 Diogo Almeida（迭戈·阿尔梅达）抛出的核心问题，也是他建立整个公司的起点。在 a16z 播客中，他与合伙人 Ben Horowitz 和 Martin Casado 的对话，让这个问题变得格外尖锐：AI 在对话和代码生成上已经令人叹为观止，为什么软件本身却纹丝未动？

这场对话在 2026 年 9 月发布，记录了 Diogo 对当下 AI 开发工具热潮的一次逆向思考。他的产品 Jev 以及背后的理念，不是让人写代码更快，而是要让软件本身变得更聪明——在程序的内部嵌入推理能力，让代码可以理解意图、做出概率性判断。

1. "自动化到底去哪了"——一个被刻意忽视的问题

Diogo 喜欢用一个问题来介绍自己的公司：自动化到底去哪了？他的观察是，AI 在语言理解和代码生成上已经非常强大，但真正被自动化的工作流少得可怜。他的例子直白：OpenAI 从 2020 年就开始尝试用 AI 自动化客服，六年过去了，大多数公司仍然靠人工处理。

问题不在于 AI 不够聪明，而在于这些智能没有被放到对的地方。他把现状描述为"有钻石，但没打磨"——AI 的潜力就在那里，但还没有被转化成真正可以运转的工作系统。

2. Cursor、Claude Code 与 Jev 的本质差异

要理解 TypeSafe 在做什么，必须先厘清它与 Cursor 或 Claude Code 这类编码智能体的区别。Diogo 给出了一个清晰的区分：这些工具做的是"即时软件"——用自然语言快速生成代码，降低了写代码的门槛，速度也更快。

但生成的代码本质上和十年前的代码没有区别。它还是传统的命令式程序——给定输入，输出确定结果，不能理解模糊的意图，不能在不确定性中做判断。 不管是 Claude Code 写的还是人类工程师写的，代码运行的方式是一样的。

Diogo 想要的是另一件事：不是更快地生成代码，而是让软件本身获得以前没有的能力。他把这个方向概括为"智能软件"——软件不只执行规则，而是能够推断意图。

3. Jev 是什么：程序内部的智能层

Jev 是 TypeSafe 推出的第一个模型，它的定位是一个可以嵌入代码的"原语"（primitive）。开发者把它引入代码库，就像引入一个库一样，然后用自然语言描述想要的行为，再给它一个状态机——Jev 会根据状态，带着置信度选择执行哪条分支。

这个设计有几个刻意的取舍值得注意。Diogo 说，他们的北极星指标是"每美元智能量"，而不是单纯的响应速度。设计接口时，把输入字段命名为 `state` 而非泛化的 `input`，也是有意为之——这个信号告诉开发者，Jev 是为程序内部的状态设计的，不是为人类交互的对话界面设计的。

有人会问：Jev 不就是一个分类器吗？Diogo 的回答是：对，而且分类器本来就很有用。传统 ML 里的分类器是为了解决实际问题而设计的，而 Jev 做的是让这个能力变得更普及、更易于即时编程——不再需要一个 2019 年的 MLE 团队去收集数据集、搭建流水线，开发者在写代码的时候就能把这种能力嵌进去。

4. 概率软件：一种新的编程范式

这一切指向的是一个更大的命题——软件的范式正在发生变化。传统软件是确定性的：相同的输入，永远产生相同的输出。这是它的力量，也是它的边界。

Diogo 描述的是一种"概率软件"：程序可以持有置信度，可以在模糊的情境下做出判断，可以理解"你的意思是什么"而不只是"你说了什么"。他把编程定义为"极度精确地描述有价值的事情，然后无限复制"，而他的目标是扩展"极度精确"这个词能覆盖的范围——让意图本身也可以被精确描述和复制。

这不是 AI 替代程序员，而是扩展程序员能表达的东西。 他把 Jev 比作一个标准库，而不是一个开发工具——它住在程序的内部，不是在程序的外面帮你写程序。

5. Diogo 的来路：从数学奥赛到系统思维

Diogo 的技术背景本身也值得一提，因为它解释了为什么他能从这个角度看问题。他是竞赛数学出身，但他坦承自己其实不喜欢数学——那是一条被安排好的路，他享受的是"大池塘里的大鱼"的感觉，而不是数学本身。

真正吸引他的是计算机科学：它和数学一样需要抽象思维，但是"有用的、有趣的、可以解决真实问题的"。他进入 AI 领域的契机是赢得了一场 Kaggle 竞赛，但他用的不是精妙的数学，而是把问题当作系统工程题来解——更多嵌套循环，更多自动化，暴力但有效。这种气质在 Jev 的设计里依然可见：他优先关心的是能不能在毫秒级延迟里跑起来，能不能被工程师当作数据库一样调用，而不是构建一个学术意义上更优雅的系统。

这种"从系统角度看 AI"的视角，也许正是他能看到别人视而不见的空白的原因：AI 研究者忙着让模型更聪明，工具开发者忙着让代码写得更快，而软件本身的智能边界，在很长时间里没有人去推动。

TypeSafe 和 Jev 要做的事，用 Diogo 自己最简单的话说，就是"do what I mean"——让软件能够可靠地理解你的意思，而不只是执行你说的话。如果这个目标能够实现，它改变的不只是开发效率，而是软件能够处理的问题的边界本身。