Jev创始人：Jev将逆转“软件灭绝论”
“自动化到底去哪了？AI已经聪明到令人难以置信，但在其他所有事情上却毫无用处，这简直是个悲剧。”
近日，TypeSafe创始人Diogo Almeida在a16z播客中直言，AI编程工具只是让代码写得更快，软件本身并未变好。OpenAI自2020年起尝试自动化客服至今未果，根本原因在于AI与软件“各走各路”。
在与a16z联合创始人Ben Horowitz与合伙人Martin Casado的对谈中，Diogo阐述了他对当前AI困局的判断，以及公司爆火的AI决策模型——Jev试图解决什么。
他表示，Jev——一种将智能嵌入软件内部的新编程原语，能让程序能理解意图、做出概率决策。Diogo认为极致可靠性是一切的前提，并将“极致可靠性”视为Jev的核心，主张“造产品、不造神”。
Diogo判断SaaS公司将是AI浪潮最大受益者之一，“软件灭绝论”将被逆转。而Jev的终极目标是：让所有技术都能“做到你的意思（do what I mean）”。
Diogo Almeida
“自动化在哪里”：AI的能力与落地之间的鸿沟
Diogo认为，现有的AI编程工具——无论是Claude Code、Codex还是Cursor——写出的代码，本质上和10年前没有区别。
不管你用多少AI编程工具，软件本身其实并没有变好。也许你写得更快了，但可以说反而变得更糟了——因为监督更少了。
更具体的例子：OpenAI自2020年起就在尝试自动化客服，至今仍未实现。“这很疯狂，我们有这么强的财务激励去自动化这些事情，但就是没做到。”
在他看来，问题的根源不是数据，也不是模型能力不足，而是AI与软件之间始终“各走各路”——AI输出自然语言，软件处理结构化指令，两者从未真正对接。
Jev是什么：嵌入软件内部的智能原语
Diogo将Jev定位为一种全新的软件原语（primitive）——嵌入代码内部的智能层，而不是替代软件工程师的工具。
我想要的不是自动化软件工程，而是扩展软件本身能做的事，让那些本该可以自动化的东西，真的能被自动化。
Jev的做法是提供一个新的编程原语（primitive）——开发者可以用自然语言描述意图，给它一个状态机，它会以一定的置信度决定做什么。
这就像一个你可以用自然语言描述需求的库，你给它一个状态机，它会带着置信度去选择该做什么——这种能力以前从未如此普及过。
他用一个类比解释与编程智能体的区别：编程智能体擅长语法，但在语义上很差，在架构上更是糟糕。Jev解决的是另一个层面的问题——让软件内部能够理解意图，而不只是生成文本让人去解读。
Diogo也坦承Jev的本质：“Jev绝对是一个分类器。分类器本来就是为了有用而设计的。”他认为，Jev的能力可能已经超过2019年一支专业MLE团队为特定任务构建的窄模型。
极致可靠性，是一切的前提
Diogo反复强调，Jev的核心竞争力不是性能，而是可靠性。
可靠性就是这个东西的全部。如果你不理解这一点，就很难做出一个真正能抄走的竞品——它不是靠跑分就能复制的。
他对可靠性的定义分三层：
▪︎可用性（uptime/SLA）：这是基础，类似SLA，系统能不能跑起来
▪︎鲁棒性：每次调用都能表现出相似的智能水平——不是严格的确定性，而是“每次都足够聪明”。
▪︎可信赖性：“做到你的意思（do what I mean）”，开发者能依赖它，不需要反复给样例查询，直接信任它。
可靠性的最高荣誉，是让开发者在使用Jev时不需要提供示例查询——当你直接信任它的时候，你就会进入一种心流状态。
他也直言：“我们本可以更早发布。我不认为人们意识到这一点。但它会带来那种'我可以信任这个东西'的感觉——这是一台反挫败感的机器。”
“造产品、不造神”：与主流AI叙事的分歧
Ben Horowitz点出了TypeSafe与其他AI公司最显著的不同：“我最喜欢你们说的一句话——'我们造产品，不造神'（we build prod, not god）。”
Diogo对此直接表态：“我不认为我们走在通往递归自我改进（RSI）的路上，我现在不这么认为，以前也不这么认为。”
他将当前AI行业的悲观叙事归因于“单一模型的迷信”——相信一个超级大脑能统治一切。“这是人们听到的，但这不是现实。”
他的判断是：OpenAI定义的AGI——“自动化大多数经济上有价值的工作”——在技术上是可实现的，但行业走错了方向。
自从RLHF之后，AI行业就分裂成了巨大的过度承诺和交付不足。因为人类在评估模型好坏，模型看起来很好，但我们一直在优化这个评判者，而不是自动化本身。
他的目标更朴素：
我想要的是'做我的意思'（do what I mean）。想象一下，如果所有技术都能做你的意思——这不是科幻，看看AI有多聪明就知道了。
SaaS“逆末日”：软件灭绝论将被反转
编程智能体出现时，市场一度担忧SaaS公司将被颠覆，估值大幅下跌。Jev出现后，SaaS公司的反应却截然相反——普遍欢迎。
Diogo的解释是：SaaS灭绝论的前提——“软件便宜且容易复制”——从未真正成立。
大量的东西发生在底层，软件提供的价值并没有消失。
他认为SaaS公司将是AI能力落地的最大赢家，原因有三：
▪︎他们最了解用户工作流，知道什么值得自动化。
▪︎他们已经触达了大量用户，分发成本已经支付。
▪︎他们有能力将Jev嵌入现有产品，真正提升软件能力，而不只是加一个聊天框。
我认为这将是一场逆末日。我对此非常兴奋。
他举了一个具体的愿景：多选表单将会消失，取而代之的是软件直接理解用户意图。“'做我的意思'将被推向全新的高度。”
访谈全文如下：
Jev如何将AI转化为真正能做事的软件
a16z播客节目
a16z的Ben Horowitz和Martin Casado与TypeSafe AI创始人Diogo Almeida坐下来探讨一个简单的问题：AI已经变得极其强大，那么自动化究竟在哪里？
Diogo认为，编程智能体或许能帮助我们更快地编写软件，但它们产出的软件在本质上仍与以往无异。TypeSafe正在用Jev走一条不同的路：将智能嵌入软件本身，使开发者能够构建出可以理解意图、做出概率性决策的程序，而非仅仅生成文字供人解读。
他们探讨了：为何可靠性是让AI真正可编程的关键、这将如何开启概率性软件的新时代，以及为何成熟的SaaS公司可能在其中占据特别有利的位置。归根结底，Diogo的目标很简单：打造能够可靠地"按我的意思去做"的技术。
第一章：开场
Ben： 自动化到底在哪里？AI聪明得令人难以置信，但在其他事情上却如此无用。
不管你用多少AI编程智能体，软件本身其实并没有变好。也许你写得更快了，但可以说反而变差了。
Diogo： OpenAI从2020年就开始尝试自动化客服。我真正想要的是智能软件——我想拓展软件本身的能力边界，让那些本应可以自动化的事情真正实现自动化。
Ben： 我最喜欢你们说的一句话是："我们构建产品，而非造神。"太好了。因为换作其他任何一位大型实验室的领导者，即便内心充满热情，也会将一切都包裹起来。但你的视角截然不同。
Diogo： 没错，我们要创造一个更美好的世界，原因是多方面的、细致入微的。我不认为我们正走在通往递归自我改进（RSI）的道路上，那种"SaaS末日"的故事我也不认同。
第二章：认识Diogo与TypeSafe
Ben： 今天，TypeSafe的创始人兼领导者Diogo来到我们节目。他对Martine和我来说都是英雄式的人物。他不仅在打造一款真正有趣的产品，更在推动一场我们认为极具重要意义的运动。所以今天我们非常兴奋。欢迎你，感谢来到节目。
Diogo： 谢谢。
Ben： 也许你可以给我们简要介绍一下——Jev是什么？TypeSafe是什么？为什么它很重要？
Diogo： 好，我来说说。其实有人让我做过电梯演讲，但我通常会东拉西扯、表现很差。不过我意识到，我对Jev最喜欢的一句电梯演讲就是：自动化到底在哪里？
这真的令人深感痛惜。这么多的智慧，AI如此聪明绝顶，却在其他事情上如此无用，令人扼腕。我并不是要抨击聊天机器人或编程智能体，我自己也很喜欢它们，但在其他方面它们就是帮不上忙，这很悲哀。
我们有这么多璞玉浑金，却没有被打磨成能用于工作的利器——这正是TypeSafe要做的：为软件打造AI。我们希望让AI不仅仅对参与循环中的人类强大，更能真正构建实际可用的软件。Jev是我们在这个领域的第一个模型，目标是让自动化变得更好、更好、更好。
Ben： 是的。这件事之所以有趣，是因为它在软件界引发了轰动。我们认识的每一位开发者都打电话来说："这太厉害了，太棒了，又快又好，方方面面都提升了。"但大家也会问：我们不是已经有Claude Code、Codex这些工具了吗？有什么区别？这又怎么能带来真正的自动化呢？
Diogo： 我真希望手边有张好看的示意图，因为我有一张特别喜欢的图来解释这个。我很欣赏Claude Code和Codex，也喜欢Gary Tan对它们的描述——"即时软件"，这是形容它们所做之事的绝妙方式。它们能即时生成软件，让你可以用自然语言来编程，并且拥有与传统软件相当的表达能力。