The a16z Show - AI 能写代码,为什么软件没有变得更好? 封面

AI 能写代码,为什么软件没有变得更好?

AI Can Write Code. Why Isn’t Software Better?

本集简介

a16z 的本·霍罗威茨(Ben Horowitz)和马丁·卡萨多(Martin Casado)与 TypeSafe AI 创始人迪奥戈·阿尔梅达(Diogo Almeida)对谈,提出一个简单的问题:AI 的能力已显著提升,但自动化究竟在哪里? 迪奥戈认为,编码代理或许能帮助我们更快地编写软件,但它们生成的软件在运作方式上仍与以往无异。TypeSafe 采取了不同的路径——通过 Jev 将智能嵌入软件本身,使开发者能够构建具备推理意图能力和概率决策能力的程序,而非仅仅生成供人类解读的文本。 他们探讨了为何可靠性是让 AI 真正可编程的关键,这如何开启概率性软件的新纪元,以及为何传统 SaaS 公司可能处于特别有利的地位以从中受益。最终,迪奥戈的目标简明扼要:打造能够可靠地“实现我所想”的技术。 资源: 关注迪奥戈·阿尔梅达:https://x.com/CompleteSkeptic 了解更多关于 TypeSafe AI 的信息:https://typesafe.ai/ 关注 TypeSafe AI:https://x.com/typesafeai 在 X 上关注本·霍罗威茨:https://x.com/bhorowitz 在 X 上关注马丁·卡萨多:https://x.com/martin_casado 保持更新: 在 YouTube 上找到 a16z:YouTube 在 X 上找到 a16z 在 LinkedIn 上找到 a16z 在 Spotify 上收听 a16z Show 在 Apple Podcasts 上收听 a16z Show 关注我们的主持人:https://twitter.com/eriktorenberg 请注意,此处内容仅供信息参考;不应被视为法律、商业、税务或投资建议,也不应用于评估任何投资或证券;且并非面向任何 a16z 基金的投资者或潜在投资者。a16z 及其关联公司可能持有文中提及公司的投资。更多详情请参阅 a16z.com/disclosures。 由 Simplecast 制作,AdsWizz 旗下公司。有关我们为广告目的收集和使用个人数据的信息,请访问 pcm.adswizz.com。

双语字幕

仅展示文本字幕,不包含中文音频;想边听边看,请使用 Bayt 播客 App。

Speaker 0

自动化到底都跑哪儿去了?

Where the fuck is all the automation?

Speaker 0

AI聪明得让人难以置信,但在其他事情上却一点用都没有。

AI is so unbelievably smart, and yet it's so useless at all other stuff.

Speaker 1

不管用多少AI编程工具,软件其实并没有变得更好。

It doesn't matter how much AI coding agents you use, the software actually isn't getting better.

Speaker 1

也许你只是写得更快了。

Maybe you're writing it faster.

Speaker 1

甚至可以说,软件在变得更差。

It's arguably getting worse.

Speaker 0

OpenAI从2020年就开始尝试自动化客服了。

OpenAI has been trying to automate customer service since 2020.

Speaker 0

我真正想要的是更智能的软件。

What I want instead is smart software.

Speaker 0

我想扩展软件本身的能力,让那些本应自动化的东西真正实现自动化。

I want to expand what software itself can do, such that things that should be automatable can then be automatable.

Speaker 2

我最喜欢你们说的一句话就是:“我们做产品,不是做神。”

My favorite thing that you guys say is, "We build prod, not God."

Speaker 1

说得太好了。

So good.

Speaker 2

因为如果是其他大实验室的负责人,就算他们心里有喜悦,也会藏着掖着。

Because if we had any other big lab leader, even if they had joy, they would cover that.

Speaker 2

而你的观点却截然不同。

And then your view is so different.

Speaker 2

你会说:“不,我们要创造一个更美好的世界。”

You're like, "No, we're going to create a way better world."

Speaker 0

出于一些复杂的原因,我不认为我们正走在RSI的道路上。

For nuanced reasons, I don't think we are on the path of RSI.

Speaker 0

在SaaSpocalypse的故事里——

In the SaaSpocalypse story-

Speaker 0

AI能写软件,但更大的机会是不是在于把智能嵌入软件本身呢?

AI can write software, but what if the bigger opportunity is putting intelligence inside the software itself?

Speaker 0

在本期节目中,Ben Horowitz和Martin Casado与TypeSafe AI的创始人Diogo Almeida坐下来聊了聊Jev,以及AI改变计算方式的一种不同愿景。

In this episode, Ben Horowitz and Martin Casado sit down with TypeSafe AI founder Diogo Almeida to talk about Jev and a different vision for how AI changes computing.

Speaker 0

Diogo认为,编码智能体只是让我们更快地生产出和现在一样的软件。

Diogo argues that coding agents make it faster to produce the same kind of software we already have.

Speaker 0

而Jev的目标是扩展软件本身的能力,给开发者提供一种新的基础工具,把自然语言的意图转化成程序真正能用的决策。

Jev is aimed at expanding what software itself can do, giving developers a new primitive for turning natural language intent into decisions that programs can actually use.

Speaker 0

他们深入讨论了为什么可靠性比惊艳的演示更重要,概率编程的新时代可能是什么样子,以及AI为什么可能让现有软件变得更有用,而不是简单地取代它。

They get into why reliability matters more than impressive demos, what a new era of probabilistic programming could look like, and why AI might make existing software dramatically more useful rather than simply replacing it.

Speaker 0

而这一切的背后,是当初促使Diogo创办TypeSafe的那个问题。

And beneath all of this is the question that drove Diogo to build TypeSafe in the first place.

Speaker 0

如果AI已经这么聪明了,那自动化都去哪儿了?

If AI is already this smart, where is all the automation?

Speaker 2

今天我们请来了TypeSafe的创始人和领导者Diogo,他是我和Martin都很敬佩的人。

Today, we have the founder and leader of TypeSafe, Diogo, with us, who is a bit of a hero to both Martin and me.

Speaker 1

是的。

Yes.

Speaker 2

他不仅在打造一个非常有趣的产品,还在推动我们认为非常重要的一场运动。

He is not only building a really interesting product, but creating what we think is a very important movement.

Speaker 2

所以今天我们特别兴奋。

So we're super excited about today.

Speaker 2

欢迎你,Diogo。

Welcome, Diogo.

Speaker 1

谢谢你能来。

Thanks for coming.

Speaker 0

谢谢。

Thank you.

Speaker 2

也许你可以简单介绍一下Jev是什么,TypeSafe是什么,为什么它很重要?

Maybe you can give us a brief on what is Jev, what is TypeSafe, why is it important?

Speaker 0

这个对Curse友好吗?

Is this Curse friendly or no?

Speaker 1

哦,是的。

Oh, yeah.

Speaker 0

哦,好的,不错。

Oh, okay, cool.

Speaker 2

你在说什么鬼话?

What fuck are you talking about?

Speaker 0

好的。

Okay.

Speaker 0

不错。

Cool.

Speaker 0

其实有人让我——

So I was actually asked-

Speaker 1

那个是开放的,对。

That is open, yeah

Speaker 0

……做一个电梯演讲,但我容易东拉西扯,讲不好。

... for an elevator pitch, which I tend to ramble on, and I don't do well.

Speaker 0

但我发现我最喜欢的关于Jev的电梯演讲就是:“自动化到底都跑哪儿去了?”

But I realized my favorite elevator pitch for Jev is, "Where the fuck is all the automation?"

Speaker 0

这真的太令人难过了。

This is so unbelievably tragic.

Speaker 2

是的。

Yes.

Speaker 0

那么多聪明才智。

So much intelligence.

Speaker 0

AI真的超级聪明,但同时又那么……我不是说讨厌聊天机器人或者编程助手。

AI is so unbelievably smart and yet so... Not that I hate on chatbots or coding agents.

Speaker 0

我自己也很喜欢它们,但它们在别的事情上太没用了,这真的很可惜。

I love them myself, but it's so useless at all other stuff, and it's tragic.

Speaker 0

可惜我们有那么多璞玉,却没有打磨好用来工作。

It's tragic that we have so much diamond in the rough, but not polished for work.

Speaker 0

但TypeSafe正在为软件开发AI。

But TypeSafe is making AI for software.

Speaker 2

是的。

Yes.

Speaker 0

我们想让AI不仅对人类在环中有用,而是真正能构建实际软件。

We want to make AI powerful not just for humans in the loop, but to actually build real software.

Speaker 0

对我们来说,Jev是我们在这个领域里第一个让自动化变得更好的模型。

And Jev, to us, is our first model in this whole space to make it way better, to make automation.

Speaker 2

所以这很有趣,因为它在软件界火了起来。

And so it's been interesting because it's kind of caught fire in software world.

Speaker 2

所以有一件事让我们想:‘这到底是怎么回事?’

So one of the things that made us go, "What the hell is going on here?"

Speaker 2

就是我们认识的每个开发者都在联系我们,说:‘哦,这太棒了。’

is every developer we know is calling us and going, "Oh, this is freaking awesome."

Speaker 1

太好了。

It's great.

Speaker 2

很快。

It's fast.

Speaker 2

很棒。

It's great.

Speaker 2

一切都更好了。

Everything's better.

Speaker 2

那这怎么做到的呢?因为大家都觉得,我们已经有Claude Code和Codex了,不是已经有了吗?

Then how does that, because everybody thinks of, well, we've got Claude Code, we've got Codex, don't we already have that?

Speaker 2

有什么区别呢?

What's the difference?

Speaker 2

那这怎么实现真正的自动化呢?

And then how does that lead to real automation?

Speaker 0

哦,我真希望我有些幻灯片,因为我有一个特别喜欢的幻灯片来解释这个。

Ooh, I wish I had some slopped visuals because I have a favorite slopped visual for this.

Speaker 0

我很喜欢Claude Code和Codex。

So I like Claude Code and Codex.

Speaker 0

我很喜欢Gary Tan他们那个描述。

I love the description from Gary Tan and them.

Speaker 0

就是即时软件。

It's just-in-time software.

Speaker 0

这个描述太棒了。

Incredible way to describe what they're doing.

Speaker 0

它即时生成软件,你可以用自然语言编程,但它拥有和软件一样的表达能力。

It makes software on the fly, and you can program software in natural language, but it has the same expressive power of software.

Speaker 0

但我想要的是智能软件。

What I want instead is smart software.

Speaker 0

我不是要自动化软件工程,而是想扩展软件本身的能力,让那些本应自动化的东西变得可以自动化。

Instead of automating software engineering, I want to expand what software itself can do, such that things that should be automatable can then be automatable.

Speaker 0

说得更华丽一点,我想表达的是意图之类的东西。

And in a more flowery language, I want to express things like intent.

Speaker 0

我想扩展我们能做的事情的词汇量,我可以谈论各种我想要的科幻奇想。

I want to expand the vocabulary of what we can do, and I can talk about all sorts of weird sci-fi things I want.

Speaker 0

但编程就是精确指定有价值的东西,然后无限复制它们。

But programming is hyper specifying valuable things and then infinitely replicating them.

Speaker 0

这太酷了,而且——

It's so freaking cool, and-

Speaker 0

……

...

Speaker 0

我就是想多做点这个。

I want to just make that more.

Speaker 2

有意思。

Interesting.

Speaker 2

所以一种思考方式是,与其用一个工具来替代软件工程师,虽然更快,但可能还不如原来的工程师,你其实是在说:“不,我们要让现有的软件工程师变得更强大,让他们写出更好、更有趣的东西。”

So one way to think about it is, instead of a tool that somewhat replaces a software engineer with a faster, maybe not even as good software engineer, what you're saying is, "No, we're going to super empower the software engineers we have to write way better, more interesting things."

Speaker 1

顺便说一句,我觉得很多人都没抓住这个点,这个点很微妙,但特别重要,值得好好讲清楚。就是说,如果你用像 Cloud Code 或 Codex 这样的工具,它们很棒,或者 Cursor,也很棒。

So by the way, I just think so many people miss this point, and it's such a subtle point, and it's so important to actually tease it out, which is if you use something like Cloud Code or Codex, which is great, or Cursor, which is great.

Speaker 1

它们会写代码,但那些代码跟人类写出来的是一样的。

They write code, but that code is the same thing a human being would have written.

Speaker 1

可能更好,也可能更差,但基本上还是代码,就像十年前的那种代码。

Maybe it's better, maybe it's worse, but it's basically still code, just like code looked 10 years ago.

Speaker 1

而 Jev 的关键在于,不管你是用 Cloud Code 还是人类,你都有这个新的基础构件,这个新东西,你把它放进代码里,它真的能扩展软件的能力。

And the thing with Jev is whether or not you're Cloud Code or a human, you have this new primitive, this new thing that you stick in your code that actually expands the power of software.

Speaker 1

所以它不是写代码,而是你嵌入到代码里的东西。

So instead of writing code, it is something that you include in your code.

Speaker 1

顺便说一句,这很有意思,因为它是一个非常强大的基础组件,如果你能解释一下那就太好了,但它也跟程序员通常的思维方式有点不一样。

Which, by the way, is interesting because it's this very powerful primitive, which would be great if you explain, but it's also a little bit different than how programmers think.

Speaker 1

比如说,它有概率的概念,或者可能——

For example, it has this notion of probabilities or maybe-

Speaker 2

哦,所以是软件内部的一个智能层。

Oh, so an intelligent layer inside the software.

Speaker 1

对,你可以把它想象成一个库,你用自然语言描述你想要什么,然后给它一个状态机,它会根据一定的置信度来选择怎么做,这种能力我们以前真的没有过。

Yeah, think of it like a library that you can use natural language to describe what you want, and then you give it a state machine, and then it will choose what to do with some confidence levels, which we haven't really had before.

Speaker 0

是的。

Yep.

Speaker 0

哦,这里头有很多门道。

Ooh, there's a lot of tricks there.

Speaker 0

我想先讲一件事,那就是我很喜欢你一开始说的那个方向——那些自动化到底都去哪儿了。

I will jump into one thing first, which is I love the first thing you said in the direction of where the fuck is all the automation.

Speaker 0

我太喜欢写软件了。

I love software so much.

Speaker 1

那是最好的。

It's the best.

Speaker 0

我希望我能整天写代码。

I wish I could be writing it all day.

Speaker 1

是的。

Yes.

Speaker 0

就是

It's

Speaker 3

我不建议大家去当CEO,但无所谓了。

Would not recommend being a CEO to people, but whatever.

Speaker 3

而且,AI这么酷,而软件十年都没变,这太不可思议了。

And also, it's wild that AI is so cool and software has been unchanged in 10 years.

Speaker 1

对,确实如此。

No, exactly.

Speaker 3

对我来说,没人能把这两者统一起来,我们最多只能在旁边加个小聊天机器人,有时候能执行一些操作,但不是所有操作,因为有些操作现在还不够可靠。

That to me, no one can square this together, and the most we can do is add a little chatbot in the side sometimes that can take actions, but not all actions, because some of the actions are not reliable now.

Speaker 1

好的。

Okay.

Speaker 3

所以,我就想简单提一下这个。

So, I just want to give that tiny aside.

Speaker 3

我很喜欢这个观点——我要跳回刚才那个点,这其实是一种不同的思考方式。

I love the point-- I'm going to jump back to the point about this is a little bit of a different way to think about it.

Speaker 3

是的,我觉得机器原生并不完全等同于比特,这实际上正是我们试图追求的艺术形式。

Yes, I think that machine native doesn't exactly match bits perfectly, and that's actually the art form that we are trying to do.

Speaker 3

在我们入职的第一天,我画了一个维恩图,一边是AI擅长的,一边是代码中有价值的,我们就在中间。

In our onboarding on day one, I draw the Venn diagram of what AI is good at, what is valuable in code, we are in the middle.

Speaker 3

比如,我们不会输出外推的浮点数,因为AI在这方面就是不行。

So, we don't output extrapolated floats, for example, because AI is just bad at that.

Speaker 1

当然。

Sure.

Speaker 3

但像概率这类东西并不算新鲜,这跟“Jev是不是就是个分类器”的争论有点像。

But things like probabilities are not exactly novel, and it's similar to the, is Jev just a classifier argument?

Speaker 3

Jev绝对是个分类器。

Jev is absolutely a classifier.

Speaker 3

分类器很厉害。

Classifiers are sick.

Speaker 3

分类器本来就是设计来有用的。

Classifiers were- They're designed to be useful.

Speaker 1

它们确实有用。

They're useful.

Speaker 3

对,它们就是设计来有用的,而且实际上,它的界面跟那些机器学习概念是一样的。

Yeah, they're designed to be useful, and actually, it's the same interface-

Speaker 3

……跟那些机器学习概念一样。

... as some of those ML concepts.

Speaker 1

当然。

Of course.

Speaker 3

因为这些概念来自那些真正想让系统运转起来的实践者。

Because these came from practical people who are trying to make systems work.

Speaker 3

而且我现在看到的情况是,Jev,我猜它可能比2019年的一支机器学习工程团队还要强。

And what I'm seeing is happening now is that Jev, actually, my guess is that Jev probably is better than having an MLE team from 2019-

Speaker 1

哦

Oh

Speaker 3

……帮你做这些东西,你可以随时编程实现。

... making the stuff for you, and you can just program it on the fly.

Speaker 3

谁知道能构建出什么呢?

Who knows what could be built?

Speaker 3

因为2019年的时候,好的机器学习工程团队并不多。

Because there were not that many good MLE teams in 2019-

Speaker 1

对,确实如此。

No, very true

Speaker 3

……去构建一些窄范围的东西,收集数据集,进行测量等等。

... to build narrow things and to be able to collect data sets and measure it and all of that.

Speaker 3

而且这还只是开始。

And it is just the beginning.

Speaker 1

顺便问一下,到目前为止,你觉得这里会不会有一个滑动条,一端是像我们今天这样的语言进语言出,另一端是现有的命令式程序,然后你可以在这两者之间移动?

By the way, to this point, do you think there's a slider bar here where on one end is language in, language out, like we have today, on the other end is an existing imperative program, and then you can kind of move between the two?

Speaker 1

还是说你觉得这是设计空间中的一个点,就是语言进,状态机出——

Or do you think this is the point in the design space, which is language in, kind of state machine out-

Speaker 1

——这将成为程序员通用的东西?

... which is going to solidify as the general purpose thing for programmers?

Speaker 3

哦,这个问题有点棘手。

Ooh, that's a tricky one.

Speaker 3

所以,我会说出我内心的答案。

So, I will say the answer in my heart.

Speaker 3

我内心的答案是,它是一个滑动条。

The answer in my heart is that it is a slider.

Speaker 3

而且实际上,当我根据我们现有的特性来设计时,我可能因为个人偏好而犯了一些错误。

And actually, when I design for the properties we have, I might have made mistakes due to my personal preferences.

Speaker 3

但现在,我的北极星是每美元能带来的智能。

But intelligence per dollar is my North Star right now.

Speaker 1

哦。

Oh.

Speaker 3

不过,我得说清楚,这可能是错的。

And it could be wrong, just to be clear.

Speaker 3

每秒智能可能在短期内更有价值。

Intelligence per second might be more valuable in the short term.

Speaker 3

但即使是我们的界面,把输入称为状态,这也是有意为之的。

But even our interface, calling the input state, this was intentional.

Speaker 3

这是为了说明——

It's to say that this-

Speaker 1

哦,那太好了。

Oh, that's great.

Speaker 1

我没——

I didn't-

Speaker 3

是的

Yes

Speaker 1

……没听清。

... catch that.

Speaker 3

它本意是程序内部的东西。

It's meant to be the insides of programs.

Speaker 1

哦,我喜欢这个。

Oh, I love that.

Speaker 3

所以,在我心里——

So, in my heart-

Speaker 1

这太好了

That's so good

Speaker 3

……因为我们确实在优化。

... because we are really optimizing.

Speaker 3

我做的很多工作,都是为了处理程序状态内部更复杂的结构。

A lot of the work I do is for even more complicated arrangements of the internals of program state.

Speaker 3

你能把智能放进去吗?

Can you put intelligence in there?

Speaker 3

我觉得这会是一场永远存在的战斗。

I think that this is going to be an ever-present battle to have.

Speaker 3

我们对设计非常用心。

We're very intentional about our design.

Speaker 3

而且,从实际角度讲,我觉得有些事情会发生,比如在这么短的时间内做一个人工智能更容易,所以它在一段时间内会更像一个数据库,而不是一个标准库的东西。

And also, pragmatically, I think certain things happen, like it's easier to make an AI at these milliseconds, so it'll be more like a database for a while than a standard library thing.

Speaker 3

但我也希望它能成为标准库的一部分。

But I would love it to be a standard library thing, too.

Speaker 1

我能很快拉回来一下吗?

Can I just pull back very quick?

Speaker 1

是什么炼金术造就了一个迪奥戈?

What is the alchemy that creates a Diogo?

Speaker 1

你说——

You speak-

Speaker 3

当一个男人和一个女人相爱的时候。

When a man and a woman love each other.

Speaker 3

说来话长。

Long answer.

Speaker 3

但听我说。

But listen.

Speaker 1

你说话像AI研究员,像系统工程师,又像程序员。

You speak like an AI researcher, you speak like a systems person, and you speak like a programmer.

Speaker 1

通常这些角色不太重叠,而你正在把AI——我们一直推动它成为某种存在——变成程序员的工具。

And normally, these things have been not super overlapping, and you're taking AI, which we've been pushing towards being a being, and you're making it a programmer's tool.

Speaker 1

所以,能不能稍微讲讲你的个人经历,那个……

So, maybe a little bit about your personal journey that...

Speaker 3

我进入AI领域的经历有点不走寻常路。

My history into AI is somewhat unorthodox.

Speaker 3

我以前是个数学竞赛选手。

I was a mathlete.

Speaker 3

我曾经是个获奖的数学竞赛选手。

I was an award-winning mathlete.

Speaker 3

我这么形容吧,我数学好到能吸引女生,虽然这么说有点尴尬。

The way I describe it is, I was good enough at, this is cringe, I was good enough at math to get girls.

Speaker 3

所以那还挺不错的。

So that's quite good.

Speaker 1

我还不知道有这种事。

I didn't know that was a thing.

Speaker 3

对,确实有。

Yeah, I did.

Speaker 3

你得相当擅长才行。

You have to get quite good.

Speaker 1

那你数学那么好,吸引到的都是什么样的女生?

And what kind of girls do you get when you're that good at math?

Speaker 1

那是个附带的问题——

That's an ancillary-

Speaker 3

哇,这……

Whoa, that's...

Speaker 3

我——

I-

Speaker 1

我们的观众需要知道。

Our audience needs to know.

Speaker 3

哦,不。

Oh, no.

Speaker 1

我们得激励这里的年轻人。

We have to inspire the youth here.

Speaker 3

别这样。

Don't do it.

Speaker 3

年轻人,别学这个。

Youth, don't do it.

Speaker 3

不值得。

It's not worth it.

Speaker 1

不。

No.

Speaker 3

就保持冷静、放松,然后有趣一点。

Just be cool and chill, and interesting.

Speaker 1

对。

Yes.

Speaker 3

别过度补偿。

Don't overcompensate.

Speaker 3

哇,我都不敢相信我说了这话。

Wow, I can't believe I said that.

Speaker 1

好。

Okay.

Speaker 3

所以我以前是个数学竞赛选手。

So I was a mathlete.

Speaker 3

但其实我从来没——哦,天哪,这个也有点尴尬。

But I actually never-- Oh, man, this also is a little cringe.

Speaker 3

我其实从来都不太喜欢数学。

I never really liked math.

Speaker 3

我也从来没真正努力过。

I never really tried.

Speaker 3

我就是那种小池塘里的大鱼。

I was just like big fish in little pond.

Speaker 3

对我来说,数学一直是我被安排好的路,但我讨厌它,因为它总是关于赢得比赛。

And to me, math was always the path I was set on, but I hated it because it was always about winning competitions.

Speaker 3

但计算机科学其实和数学很像。

But then computer science is actually a lot like math.

Speaker 3

它基本上就是数学,但更酷、更有用、更有趣、更吸引人,而且我仍然喜欢做算法面试。

It's basically like math, but cool and useful, and fun, and interesting, and I still love giving algorithms interviews.

Speaker 3

这是最适合我的事情吗?

Is it the best thing for me to do?

Speaker 3

我不知道。

I don't know.

Speaker 3

但我爱它吗?

But do I love it?

Speaker 3

爱。

Yes.

Speaker 3

它能让我很好地看透别人吗?

And does it allow me to suss people out really well?

Speaker 3

能,确实能。

Yes, it does.

Speaker 3

所以,我爱计算机科学。

So, I love computer science.

Speaker 3

尽管我有那样的背景,我更多把自己看作计算机科学家,而不是AI研究员。

I consider myself to be computer scientist much more before AI researcher, despite my history.

Speaker 3

而真正让我入门的,是我赢了一场Kaggle比赛,不是靠高深的数学,而是靠把整个过程彻底自动化。

And what actually got me into it was I also won a Kaggle competition, not from sophisticated math, but from just automating the fuck out of it.

Speaker 1

那挺好的。

That's good.

Speaker 3

就是更多的嵌套循环,更多的——

Just more nested loops, more-

Speaker 3

……它就像解决一个系统问题一样解决了。

... it solved it like a systems problem.

Speaker 1

哇。

Wow.

Speaker 3

所以,那最终让我……

So, that eventually got me...

Speaker 3

我被迫在NeurIPS上发言。

I was forced to speak at NeurIPS.

Speaker 3

通常这是一种荣誉,但我讨厌它,因为我只想专注于思考。

Normally an honor, but I hated it because I just wanted to be in the minds.

Speaker 1

那是来自Kaggle比赛的事吗?

Was that from the Kaggle thing?

Speaker 3

是的。

Yes.

Speaker 1

哦,哇。

Oh, wow.

Speaker 1

这个我还真不知道。

I didn't know that.

Speaker 3

其实,那次Kaggle比赛的主办方是伊莎贝尔·居永,她是SVM的联合发明人。

Actually, the Kaggle host of it was Isabelle Guyon, who was the co-inventor of the SVM.

Speaker 3

实际上,我觉得她是SVM的第一作者。

Actually, I think the first author of SVM.

Speaker 1

哦,有意思。

Oh, interesting.

Speaker 3

第一作者这个我不太确定。

I'm not 100% sure on first author.

Speaker 3

她基本上就是看到我这个人,觉得我确实不太融入研究圈,然后就接纳了我,还带我见识了……

And she just basically saw that I was this person who really didn't fit into the research community and then adopted me, and then showed me...

Speaker 3

这让我有机会认识所有AI领域的人,然后我的职业生涯就被推向了那个方向。

It got me to meet all the AI people and then my career was just pushed into that direction.

Speaker 1

然后从那里去了OpenAI?

And from there, OpenAI?

Speaker 3

不是,是和Jeremy Howard一起创业。

No. It was a startup with Jeremy Howard.

Speaker 1

真的假的。

No kidding.

Speaker 3

是的。

Yes.

Speaker 1

我很喜欢Jeremy。

I love Jeremy.

Speaker 1

太棒了。

Fantastic.

Speaker 3

不错。

Cool.

Speaker 3

然后在Google Brain待了一段时间。

And then Google Brain for a while.

Speaker 1

哇。

Wow.

Speaker 3

然后退休了一段时间。

And then retire for a while.

Speaker 3

后来,我有点厌倦了无所事事,就想:"你知道吗?

And then eventually, I was just kind of tired of not doing anything, and I was like, "You know what?

Speaker 3

其实,AI还挺好玩的。"

Actually, AI is pretty damn fun."

Speaker 3

就是因为这个原因,我加入了OpenAI。

And I joined OpenAI because of that reason.

Speaker 3

结果……非常顺利。

And it worked out ... really well.

Speaker 2

太棒了。

Amazing.

Speaker 3

真的,非常顺利。

Really, really well.

Speaker 2

太不可思议了。

Incredible.

Speaker 2

你刚才说的那句话在当今世界太不寻常了,就是说:AI真的非常非常有趣。

So you said something there that is so unusual in today's world, which is: AI is really, really fun.

Speaker 2

而且这家公司对AI的态度和看法跟其他所有人都很不一样。

And then the company has such a different demeanor and view of AI than everybody else.

Speaker 2

我最喜欢你们说的一句话就是:“我们造产品,不造神。”

And my favorite thing that you guys say is, "We build prod, not God."

Speaker 1

说得太好了。

So good.

Speaker 2

因为如果是其他任何大型实验室的负责人,即使他们内心有喜悦,也会试图掩饰。

Because if we had any other kind of big lab leader, they'd be trying to, even if they had joy, they would cover that.

Speaker 2

而你们的观点却如此不同。

And then your view is so different.

Speaker 2

你们会说:“不,我们要创造一个更美好的世界,而且会非常棒。”

You're like, "No, we're going to create a way better world, and it's going to be awesome.

Speaker 2

而且未来不仅不会减少工作机会,反而会有更多的工作,而且这些工作会更好,每个人都会过得非常开心。

And there's going to be, not only are there not going to be less jobs, there'll be more jobs, and there'll be way better jobs, and everybody's going to have a great time."

Speaker 2

而且跟你在一起,能明显感觉到你确实相信这一点。

And just being around you, you clearly believe that.

Speaker 2

那就跟我们聊聊这个吧,还有这到底是怎么回事……因为对我们来说,TypeSafe Jev 不仅仅是一家公司。

So tell us about that and what this... Because for us, TypeSafe Jev, it's more than a company.

Speaker 2

它是一场迈向积极未来的运动,而 AI 领域的大多数人其实并不喜欢这种未来。

It's a whole movement towards a positive future that most people in the AI world kind of don't like.

Speaker 3

对。

Yes.

Speaker 2

或者说他们跟不上。

Or they're not with it.

Speaker 3

我觉得他们根本没理解。

I think they don't get it.

Speaker 2

是的。

Yes.

Speaker 3

这只是一个分类器层面的问题,属于机器学习层面的担忧——

It's just a classifier complaint, it's like an ML-level concern-

Speaker 2

对

Yes

Speaker 3

……而其他人都在享受杰夫带来的盛宴。

... while everyone else is having a Jev party.

Speaker 3

因为感觉就像“天哪”。

Because it's like, "Holy shit."

Speaker 2

确实。

True.

Speaker 3

我们可以做所有我们——

We can do all the things that we-

Speaker 3

……想做的事情,我觉得如果你不了解开发者,就很难真正理解正在发生的事情。

... wanted to do, and I think if you don't get developers, it'll be hard to understand what's really going on.

Speaker 3

所以百分之百同意你的看法。

So 100%, I agree with that.

Speaker 3

我确实觉得有一种相当负面的描绘,但我显然不同意。

I do think that there's a pretty negative world painted that I obviously disagree with.

Speaker 3

我觉得这真的源于大家都相信的那种单一模型狂热。

I think it really comes from this mono model Kool-Aid that everyone believes.

Speaker 3

我觉得AI——

I think AI-

Speaker 2

我们写一个超级大脑来统治一切。

We write one big brain to rule them all.

Speaker 3

这也是一种方式——

That's one way to-

Speaker 3

听起来更吓人了。

... it sounds much more ominous.

Speaker 2

对。

Yes.

Speaker 2

但那就是——

But that's what-

Speaker 3

这就是人们听到的。

That's what people hear

Speaker 2

看起来是这样,对。

... seems to be, yeah.

Speaker 1

没错,这就是人们听到的。

For sure, that's what people hear.

Speaker 2

这就是人们听到的,对。

That's what people hear, yeah.

Speaker 3

但那个单一的智能真的会统治我们吗?

But is that one brain really on the path to rule us all?

Speaker 3

我们连很多基本的事情都还没有自动化,而且我觉得这些事情也不该让人来做。

We have not automated really basic things that I don't think we want people to be doing.

Speaker 3

有很多非常非常基础的工作。

There's lots of really, really basic stuff.

Speaker 3

而且我觉得,天哪,当世界与现实脱节时,真让人痛心。

And I think that, oh, man, it pains me when the world is discordant with the reality.

Speaker 3

而让人痛苦的一部分是,'自动化到底跑哪儿去了?'

And part of the pain is on the, "Where the fuck is all the automation?"

Speaker 3

AI怎么能聪明到这种地步?

How can we have AI be so freaking smart?

Speaker 3

而且自动化有那么多的经济激励。

And there's so much financial incentive to automate stuff.

Speaker 3

对,你可以——

Yeah, you could make-

Speaker 3

……拿它当个借口来扩散。

... an excuse for diffusion.

Speaker 3

我完全不信。

I don't buy it at all.

Speaker 3

我不该点名,但那显然不是真的。

I shouldn't name names, but that obviously is not true.

Speaker 3

问题的一部分在于现实与期望的落差,而AI潜力这么大,对我来说更可悲的是我们曾经——

Part of the problem is the discordance with the reality, and the fact that AI has so much potential is what made it really tragic for me that we had-

Speaker 3

……没有发布这个。

... not released this.

Speaker 3

所以现在对我来说有点像个派对,但我之前——

So now it's a little bit of a party for me, but I was-

Speaker 2

嗯——

Well-

Speaker 3

……在那之前我挺怕AI的。

... afraid of AI before that

Speaker 2

……所有Jev用户都像,有快乐的AI,那些在Jev上的人——

... and all Jev users are like there's the happy AI, the people on Jev-

Speaker 2

……然后还有忧郁的AI,那些——

... and then there's the morose AI, the people-

Speaker 3

哦

Oh

Speaker 2

……不是那样的人。

... who are not.

Speaker 2

这真是一种挺有意思的对立。

It's quite a kind of fascinating dichotomy.

Speaker 2

确实……好吧,说到自动化,我今天早上和David George有个有趣的对话,他负责我们的增长基金,因为我们聊到了新工具,我就说:“哦,你试过Muse那个东西了吗?”

It is really... Well, I'll give you, and to your automation point, I had a funny conversation this morning with David George, who runs our growth fund, because we were talking about the new tools, and I was like, "Oh, have you tried the Muse thing?"

Speaker 2

他说:“哦,太棒了。”

He's like, "Oh, it's awesome."

Speaker 2

我问:“你拿它做什么了?”

I was like, "What'd you do with it?"

Speaker 2

他说:“我终于取消了《纽约时报》的订阅。”

He said, "I finally canceled my 'New York Times' subscription."

Speaker 2

我说:“那可不容易做到。”

And I was like, "That is hard to do."

Speaker 2

但是——

But-

Speaker 2

……

...

Speaker 2

这还只是冰山一角,还有很多糟糕的事情需要我们自动化。

it's a very tip of the iceberg of the things that are horrible things to do that we need to automate.

Speaker 3

我觉得如果我们真的要坦诚面对,并且真的以自动化的终极目标为导向,就不能重蹈AI的覆辙,也就是过度关注那些极端案例和演示效果。

I think that if we were going to be really intellectually honest, and we are really aiming for the North Star of automation, we cannot fall into the same anti-patterns that AI has fallen into, which is really focusing on outliers and demos.

Speaker 3

很多人问我:“你最喜欢的应用场景是什么?”

A lot of people ask me, "What are your favorite use cases?"

Speaker 3

我的回答是:“我不确定它们是否真的有效。”

And I'm like, "I'm not sure if they work."

Speaker 3

我希望它们能在后台默默运行,这样——

I want them to work in the background such that-

Speaker 3

……人们可以放心地让它们自动运行,不用时刻盯着,而且其他人也能在此基础上继续开发。

... someone would trust that to run and not page them, and people can build on top of that too.

Speaker 3

而且——

And-

Speaker 2

可组合的。

Composable.

Speaker 2

可组合的AI。

Composable AI.

Speaker 3

可组合,但还有其他方面,比如安全性,对吧?

composable, but other things, like safe, right?

Speaker 3

这是一种不同类型的安全性,如果你希望它真正运行,并拥有相关资源和访问权限,你需要为此提供保障,或者至少是统计上的保障。

It's a different type of safety where if you want it to actually run with resources associated with it, with access to things, you need guarantees for that, or at least statistical guarantees.

Speaker 3

而且——

And-

Speaker 2

所以它不会失控、出故障、搞砸事情之类的。

So it doesn't go rogue, break and drag and face, that type of thing.

Speaker 3

嗯,我觉得我们的模型不会那样——

Well, I don't think our models will be doing that-

Speaker 2

对

Yes

Speaker 3

……至少在短期内不会。

... anytime soon.

Speaker 2

对。

Yes.

Speaker 3

除非有人写了那样的软件,那会是——

Unless someone does the software to do that, which would be-

Speaker 2

那是他们的错,对。

Their fault, yeah

Speaker 3

……一个很酷的炫技。

... a very cool flex.

Speaker 3

其实是非常酷的炫技。

Very cool flex, actually.

Speaker 3

我忘了该怎么感谢他们了。

I forgot how to give credits for that.

Speaker 3

但这并不意味着我们没有责任。

But not in a way that we're not responsible.

Speaker 1

我很好奇,这个想法酝酿了多久了?

I'm just curious, how long has this intuition been percolating?

展开剩余字幕(还有 442 条)
Speaker 1

因为我记得我们聊过,大概是2017年吧?

Because I remember talking to you maybe in, was it 2017?

Speaker 1

那已经是很久以前的事了。

It was so long.

Speaker 3

对,我们确实聊过那个。

We did talk about that, yeah.

Speaker 1

是的,而且当时你提到了很多想法,你说数据很重要,你还说想专注于任务本身,所以我就想问,你当时就知道这会发展成一个分类器,还是只是一种直觉,觉得看待整个AI运动有另一种方式?

Yeah, and then a lot of these ideas were in, you were talking about data being important, and you were talking about you want to focus on the task, and so I just, did you know that this was going to end up being a classifier, or was this just an intuition that there was just kind of another way to view this entire kind of AI movement?

Speaker 1

你知道吗?

You know?

Speaker 3

其实,关于2017年那次演讲中的对话,有个有趣的故事。

So actually, a fun story about that chat in the talk from 2017.

Speaker 3

我觉得我那次演讲的主题其实非常相似。

I think my talk was actually on a very similar theme.

Speaker 3

我记得标题好像是“AI:模块化理论与——”

I think it was called something like "AI: Modular in Theory and-

Speaker 3

……在实践中灵活。

... Flexible in Practice."

Speaker 3

这很符合软件系统的视角。

Which is very software systems view.

Speaker 1

对,完全同意。

Yeah, totally.

Speaker 3

所以我在这一点上还算一致。

So I'm a little bit consistent in that.

Speaker 3

我觉得这其实是在ChatGPT出现之前就开始了。

I think that this really started right before ChatGPT.

Speaker 3

就在我们发布这些东西的时候,我并没有这种直觉,说实话,RLHF的泛化能力让我非常惊喜。

Right when we released these things, I did not have intuition about this, and honestly, I was very pleasantly surprised by the generalization capabilities of RLHF.

Speaker 1

这是什么时候的事?

When is this?

Speaker 3

应该是2021年底,大概……

Must be end of 2021, like a-

Speaker 1

好的,没问题。

Yeah, okay

Speaker 3

……2021年第四季度。

... fourth quarter of 2021.

Speaker 3

它真的非常通用。

It was really, really general.

Speaker 3

如果你读那篇论文,它不像其他论文那样试图证明自己的观点。

If you read the paper, it's unlike other papers that are trying to prove their point.

Speaker 3

我们实际上是用科学方法,试图反驳——

It is us actually, scientific method-ish, trying to disprove-

Speaker 3

……这是作弊吗?

... is it cheating?

Speaker 3

而且,我最喜欢的问题是:为什么冥想前吃袜子很重要?

And- My favorite query was why is it important to eat socks before meditating?

Speaker 3

我们事先确保这个问题在网上不存在。

We'd made sure that was not on the internet beforehand.

Speaker 3

而且这些模型居然能给出看起来挺像模像样的答案。

And the models were able to make plausible human-looking answers for this.

Speaker 3

对我们团队来说,那一刻就明白了,这不是作弊——在机器学习里,你总是得担心作弊的问题。

And that to us in the team was the thing that clicked, like this is not cheating, which you should always be afraid of cheating in ML.

Speaker 3

然后真正让我崩溃的是,我们把模型发布了。

And then what really got me burnt was we released it.

Speaker 3

我显然是个特别看重能力的人。

I'm obviously a big capabilities guy.

Speaker 3

为了发布那个模型,我做了很多工作。

I did a lot to release that model.

Speaker 3

我当时真的觉得那个模型很有可能是AGI,结果不是,那一刻我的整个世界都崩塌了。

I really thought that the model had a decent chance of being AGI, and when it didn't, that was when my whole world came crashing down.

Speaker 1

哦,有意思。

Oh, interesting.

Speaker 3

然后我就想,为什么?

And I was like, why?

Speaker 1

哦,所以你之前有一阵子也是这么想的。

Oh, so you were kind of on the other train for a bit.

Speaker 3

你是说那种疯狂的想法吗?还是——

Which, like the crazy train or-

Speaker 1

嗯,不是,我只是说——

Well, no, I'm just like-

Speaker 3

没有冒犯的意思。

No offense

Speaker 1

……强化学习能泛化,也许我们就有通用人工智能了。

... RL generalizes, maybe we have AGI.

Speaker 3

基于人类反馈的强化学习泛化得还不错。

RLHF generalizes pretty well.

Speaker 1

哦,对。

Oh, yeah.

Speaker 3

基于验证奖励的强化学习才是泛化得不太好的那个——

RLVR is the thing that doesn't generalize as well-

Speaker 3

……就我目前看到的来说。

... from what I've seen.

Speaker 3

然后AGI呢,所以——

And AGI in, so-

Speaker 1

其实我刚才想说的是,你之前在做ChatGPT,在做那些早期的GPT模型。

Well, I was just saying more, you were behind ChatGPT, you were behind these early GPTs.

Speaker 1

那是一个非常不同的目标,就是做一个能跟人聊天的聊天机器人,而不是给程序员用的工具之类的。

That was a very different goal, which is creating a chatbot that will talk to the human being, was not a programmer's tool, et cetera.

Speaker 1

所以我就是有点好奇——

So I'm just wondering like-

Speaker 3

哦,其实在2020年初,OpenAI那时候聊AGI,大家经常形容说,AGI就是Ilya加上一堆if语句。

Oh, well, actually, early 2020, OpenAI, when we talked about AGI, people used to describe it as Ilya and every if statement.

Speaker 1

所以有点像——

So it's kind of like a-

Speaker 3

但这是不是……我们刚才在聊OpenAI的文化。

But is it part, we were talking about OpenAI culture.

Speaker 3

部分原因是它故意定义得很模糊,这样就能容纳所有人,大家都能算在里面。

Part of it is that it's intentionally vague, so it's a wide tent so that everyone can be inside of it.

Speaker 3

但出于一些微妙的原因,我不认为我们走在RSI的道路上,我到现在依然不这么认为,当时我也是这么想的。

But I am not, for nuanced reasons, I don't think we are on the path of RSI, and I still don't think we're on the path of RSI, and I did to then.

Speaker 3

我确实认为OpenAI对AGI的定义是非常可行的。

I do think that what OpenAI defined as AGI is extremely doable.

Speaker 3

自动化世界上大部分有经济价值的工作——

Automating most of the world's economically valuable work-

Speaker 3

……听起来确实,天哪,这世上的工作可真多。

... actually sounds like a, oh, man, there's a lot of work out there.

Speaker 3

其中很多都是非常机械和简单的。

A lot of it is very rote and simple.

Speaker 3

而且从数量上看,要外包工作,你需要简单的指令,让普通人都能完成。

And by volume, in order to be able to outsource work, you need simple instructions that basic people can do.

Speaker 3

据我所知,这种智能水平在模型里已经存在相当一段时间了。

And as far as I can tell, the intelligence of that has been available in the models for quite a while now.

Speaker 3

而且,天哪,我心里一直有个疙瘩,就是为什么这个还没实现?

And my, oh, man, chip on my shoulder is why is this not available?

Speaker 3

然后自从RLHF之后,AI行业就分裂成了两个极端,一边是过度承诺,一边是交付不足。

And then since RLHF, the AI industry just kind of bifurcated into gigantic overpromise, underdeliver.

Speaker 3

我觉得GPT-3那时候其实还挺靠谱的。

I think GPT-3 was actually quite calibrated back in that day.

Speaker 3

但因为人类来评估模型的好坏,看起来效果很好,因为他们是裁判,但我们一直在优化那个裁判,而不是优化自动化本身,这就是缺失的部分。

But because humans evaluate how good the models are, it looks really good because they're the judge, but we've been optimizing that judge instead of the automation part, and that has been the missing thing.

Speaker 3

所以我想说,就是那时候我才恍然大悟,为什么这个东西不能更有用呢?

So I would say that it was really then that it hit me, why is this thing not more useful?

Speaker 1

所以你觉得我们应该用能自动化多少实际生产任务来衡量?

And so you think that the measure that we should have is to what extent can you automate actual productive tasks?

Speaker 1

这就是——

Is that the-

Speaker 3

对,没错,我就想要这样。

That's, no, I would like that.

Speaker 3

我也希望如此。

I would like that

Speaker 1

你说过度承诺和交付不足,你特别指的是自动化任务的能力这个方面吧。

When you say overpromise and underdeliver, that's the dimension in particular you're talking to, the ability to automate tasks.

Speaker 3

我心里觉得,这很酷炫科幻。

I think in my heart it's cool sci-fi.

Speaker 3

而且我觉得——

And I think that-

Speaker 1

完全同意。

Totally

Speaker 3

……

...

Speaker 3

我觉得这就是酷炫科幻的预警信号。

I think that that is the canary in the coal mine for cool sci-fi.

Speaker 3

你真的要告诉我数学问题已经解决了,或者甚至两年前,GPQA,谷歌的证明题问答已经解决了,但我们还是搞不定得来速点餐吗?

Are you really telling me that math is solved or even two years ago, GPQA, that Google proof question-answering is solved, but we still can't handle a drive-through?

Speaker 3

这确实是一件很难同时想清楚的事情。

It's a very hard thing to hold in your head at once.

Speaker 3

我觉得很多人对这个问题都没有好的答案。

And I think a lot of people don't have good answers to that.

Speaker 1

我能先测试一件事吗——

Can I just test one thing which-

Speaker 3

当然可以。

Hell yeah

Speaker 1

——可能不太合理,但我想——

... which may not make sense, but I want to-

Speaker 3

来吧。

Hit me.

Speaker 1

不过,难道不是有个说法吗,现实世界的分布和数字世界不一样,对吧?

Isn't there an argument, though, that the distribution of the real world is different than the digital world, right?

Speaker 1

它是重尾分布。

It's heavy tail.

Speaker 1

有很多例外情况。

There's a lot of exceptions.

Speaker 1

我们没有全部的数据。

We don't have all the data.

Speaker 1

有没有可能我们在现实世界里没做有生产力的事情,就是因为缺少那个分布的数据,没有在那个分布上训练,所以基本上就被限制在这些低维流形里,比如数学或代码之类的?

And it couldn't it be the case that the reason we're not doing productive stuff in the real world is just like we don't have the data for that distribution, we're not training on that distribution, and this is why it's just been basically relegated to these lower dimensional manifolds, like whatever math or code or...

Speaker 3

我个人不完全认同数据这个论点。

I don't entirely buy the data argument, in my opinion.

Speaker 3

我确实相信存在长尾,否认这一点就太疯狂了。

I do believe that there's a long tail, for sure, that would be kind of crazy to deny.

Speaker 3

而且在我看来,在我的金丝雀煤矿情景里,我们不需要自动化那个长尾。

And I don't think that in my canary in the coal mine situation, we need to automate that long tail.

Speaker 1

明白了。

I see.

Speaker 1

好的。

Okay.

Speaker 3

我觉得我们在所有事情上都需要非常务实。

I think that we need to be incredibly pragmatic on everything.

Speaker 3

而且构建可靠的软件总是一项投资,对吧?

And building reliable software is always an investment, right?

Speaker 3

程序员三大美德是什么?

What are the three great virtues of a programmer?

Speaker 3

懒惰,为了不再做一遍,傲慢,还有第三个。

Laziness to not to do it again, hubris, and there was a third one.

Speaker 1

不,我记得。

No, I remember.

Speaker 1

这是来自Perl时代的话。

This is from the Pearl days.

Speaker 3

还有第三个。

There was a third one.

Speaker 1

拉里·沃尔,对。

Larry Wall, yeah.

Speaker 3

我真希望我能记得。

I wish I could remember it.

Speaker 3

但关键是,花十个小时去完成一个五分钟的任务,就是为了以后再也不用手动做这件事。

But it's about the laziness to spend 10 hours to do the five-minute task instantly and to never have to do it again.

Speaker 3

对于喜欢自动化的人来说,这应该是一个投资回报率的决策。

It should be an ROI decision for people who like automate stuff.

Speaker 3

我只是希望它能被自动化。

I would just like it to be automatable.

Speaker 3

而且我觉得,人们会创造新的工作类型,这就是杰文斯所说的。

And I think that people will just make new kinds of work, hence the Jev in Jevons.

Speaker 3

一旦那些事情变得可行,就会出现新的工作。

New kinds of work once that stuff is doable.

Speaker 3

但作为一个基准,我觉得看看我们是否真的能自动化那些看起来AI绝对应该能自动化的东西,是很有用的。

But, as a benchmark, I feel like it's useful to see can we actually automate the stuff that it really, really looks like AI should be able to automate.

Speaker 1

明白了。

I see.

Speaker 3

OpenAI从2020年就开始尝试自动化客户服务了。

OpenAI has been trying to automate customer service since 2020.

Speaker 3

但到现在还没成功。

It's not.

Speaker 1

这确实挺让人惊讶的。

Which is pretty amazing.

Speaker 3

确实很不可思议。

It's wild.

Speaker 3

确实很不可思议。

It's wild.

Speaker 1

而且,在公司内部,目前自动化的东西其实很少。

Well, and then inside companies, there's very little that's automated right now.

Speaker 1

那些项目也没成功。

And the projects haven't worked.

Speaker 1

除了编程方面,效果倒是出奇地好。

Other than programming has worked amazing.

Speaker 3

你能不能把那些你觉得更容易自动化的问题类型分一下类?

Can you maybe classify the types of problems you think that are easier to automate

Speaker 1

现在,因为那还挺有意思的。

Now, because it was kind of interesting.

Speaker 1

所以我们其实在生成式AI浪潮之前就看过客服支持这块,那时候就挺有意思的。

So we've actually looked at support before the current generative wave, and it was interesting.

Speaker 1

你遇到一家公司,他们会说:“我们处理了95%的客服电话。”

You'd meet a company, and the company would say, "We answer 95% of all help desk calls."

Speaker 1

那真的是很多了。

And like, that is so many.

Speaker 1

但当你真正去看数据的时候——

But then you actually look at the data-

Speaker 2

其实都是同一类问题。

They're all the same

Speaker 1

……你会发现全是密码重置。

... and you realize it's all password resets.

Speaker 1

但如果按唯一性来算,大概只有50%左右。

But if you did it by uniqueness, it was only something like 50% or something.

Speaker 1

所以感觉当你面对人和自然系统时,总会有那么一个很长的尾巴,里面全是例外情况。

So it just feels like when you're dealing with humans and natural systems, there's just this very-

Speaker 1

……

...

Speaker 1

所以,你在多大程度上预料到了……

long tail of exceptions, and so to what extent did...

Speaker 1

大概每小时都有人给我发消息说:“我在用Jev做这个新用途。”

Probably every hour, I have somebody ping me like, "I'm using Jev for this new use case."

Speaker 1

我就想:“我完全没想到。”

I'm like, "I had no idea."

Speaker 1

那你当初在多大程度上预料到了它会这么广泛地被使用?

And so, to what extent did you even predict the broad range of use case for it?

Speaker 1

你当时有预料到这种情况会发生吗?

Did you assume that was going to happen?

Speaker 1

那你有没有对此感到惊讶,还是?

And have you been surprised by that, or?

Speaker 3

非常惊讶。

Extremely surprised.

Speaker 3

完全没想到会发生这种情况。

Did not assume it would happen.

Speaker 3

这次发布并不是什么……如果有人预料到这一点,那他们可能疯了。

This launch was not something... If anyone expected this, they are probably insane.

Speaker 3

我觉得没人能预料到会出现一个面向开发者的ChatGPT,因为ChatGPT本来是面向普通用户的。

I don't think someone could expect a ChatGPT for developers because ChatGPT was for-

Speaker 1

对,确实。

Yeah, sure

Speaker 3

……

...

Speaker 3

这很奇怪。

the normal users, and it's weird.

Speaker 3

其实我甚至不知道Jev社区里有多少人本身就是开发者。

I actually don't even know what percentage of the people who are part of the Jev party are developers themselves.

Speaker 1

哦,有意思。

Oh, interesting.

Speaker 3

我无法想象非开发者会用它。

I can't imagine non-developers using it.

Speaker 3

我不知道他们会怎么用。

I don't know how they would use it.

Speaker 3

但即使是我那些非开发者的朋友,也都在社区里,玩推特,发梗图,诸如此类。

But even my non-developer friends are just part of the party and Twitter and memeing and everything like that.

Speaker 3

所以第一点,太棒了。

So number one, phenomenal.

Speaker 3

第二点,这很难用短短几句话讲清楚,因为这是多年来的心血和汗水。

Number two, this will be hard to convey in this short message because it's been like blood, sweat, and tears for years now.

Speaker 3

我对可靠性的重视程度,那是相当高。

The amount I care about reliability is, it's a lot.

Speaker 3

可靠性就是这个东西的核心。

Reliability is what this thing is.

Speaker 3

如果你不明白这一点,就很难做出一个达到基准的仿制品。

If you don't understand that, it'll be very hard to make a copycat that's benchmaxed.

Speaker 3

我觉得每一层的可靠性对每个人来说都非常有价值,即使从市值角度来看它不是最有价值的。

I feel like every nine of reliability is going to be so valuable for everyone, even if it's not the most valuable thing market cap-wise.

Speaker 3

因为它会催生新的应用,我们正在追求各种我们甚至还没完全理解的可靠性层级,因为我们才刚刚把这台AI的电动机,也就是智能的电动机——

Because it will just enable new applications, and we are fighting for all sorts of weird nines of reliability that we don't even fully understand because we are just really getting this electric motor of AI, of intelligence-

Speaker 3

——装进人们的工作站,让他们自己去发现能拿它做什么。

... into people's workstations, and they can figure out what to do with it.

Speaker 1

在这个语境下,可靠性是什么意思?

What does reliability mean in this context?

Speaker 1

是指模型的可用性,还是说我调用模型时它返回相同的结果,还是说我该怎么理解可靠性?

Is this availability of the model, or is it like I call the model, and it returns the same thing, or how do I think about reliability?

Speaker 3

对,所以——

Yeah, so-

Speaker 1

对于本质上有点随机性的东西来说。

For something that's inherently kind of stochastic.

Speaker 3

所以,不太是前者。

So, not so much the former thing.

Speaker 1

好的。

Okay.

Speaker 3

第二个更接近一些。

And the second thing is closer.

Speaker 3

我会把第一个描述为类似正常运行时间或服务等级协议。

I would describe the first thing as kind of like uptime or SLAs.

Speaker 1

好的。

Okay.

Speaker 3

第二个我可能会更倾向于称为确定性。

The second thing I would maybe call closer to determinism.

Speaker 3

第三个,我会更倾向于视为稳健性。

Something thirdly, I would consider more like robustness.

Speaker 3

所以稳健性,我大概会描述为每次都有相似的智能表现。

So robustness, I would kind of describe as similar intelligence every time.

Speaker 1

哦,有意思。

Oh, interesting.

Speaker 3

所以,不完全是确定性,因为我觉得确定性对单元测试有用——

So, not exactly determinism, because I think determinism, it's useful for unit tests-

Speaker 1

当然。

Sure

Speaker 3

……但对真实系统没用。

... but not real systems.

Speaker 1

当然。

Sure.

Speaker 3

想想看,如果你加一个UUID来采用,它应该是一样的,因为功能上是一样的。

Think about if you add a UUID to adopt, it should be the same because it's the same functionally.

Speaker 3

但它并不是完全确定性的。

But it's not exactly deterministic.

Speaker 3

我觉得这还有另一层,我还没搞清楚它叫什么。

I think that there's another layer of it that I don't really know what it's called yet.

Speaker 3

也许这就是我所说的某种智能——它不需要每次都表现一样,但每次都要聪明。

Maybe this is what I would call some form of intelligence, which is it doesn't have to be the similar function every time, but it needs to be smart every time.

Speaker 3

如果你处在那种情况,这对人类来说是不是一个可以理解的想法?

If you were in that situation, would this be an understandable thing for a human to think?

Speaker 3

因为开发者可以围绕这个来编程,而且对我来说,可靠性的最高境界就是让人们不用做示例查询就能直接对着Jev编程。

Because a developer can program around that, and actually, to me, the highest honor of reliability will be to get to the point where people can program against Jev without making example queries.

Speaker 3

当你完全信任Jev时,你会一直处于心流状态,疯狂地创造软件,而这就是很多……

When you just trust Jev, you'll be in perma flow state, just creating- ... crazy software, and that's where a lot of-

Speaker 3

……软件现在的状态,对吧?

... software is today, right?

Speaker 3

我觉得这并非完全不现实,但我会为此努力争取。

I don't think it's totally unrealistic, but I'm going to be fighting for it.

Speaker 1

顺便说一句,这个问题有点奇怪,所以如果太怪了,你完全可以跳过。

By the way, this is kind of a weird question, so feel free, if it's too weird, just feel free.

Speaker 1

但我突然想到,如果你有了这样一个基础工具,像编码代理这类东西的价值反而会下降。

But it occurs to me that actually the value of things like coding agents goes down if you have a primitive like this, in a way.

Speaker 1

也就是说,你可以说,随便吧,Codex 帮我写所有代码,但它其实不用 Jev,所以它生成的软件本身是有限的。

Which is, you could be like, whatever, Codex builds all the software for me, but it doesn't actually use Jev, and so the software itself it creates is somewhat limited.

Speaker 1

或者你也可以说,好,我作为一个人,我不用编码代理来写软件,但我有这个非常通用的基础工具,让写软件变得更容易。

Or you can be like, okay, I as a human being, I will write the software without using a coding agent, but I've got this very generalized primitive that makes writing software easier.

Speaker 1

所以,你觉得未来会是编码代理用 Jev,然后你指挥编码代理,这样会有冗余吗?

So, do you feel, see a future where it's the coding agents using Jev, and then you're telling the coding agents, and then do you have redundancy?

Speaker 1

还是你觉得更像是人类直接实现——

Or do you feel it's like humans implement-

Speaker 3

这更像是一个关于编码代理的问题,而不是关于 Jev 的问题。

This is more of a coding agent question than it is a Jev question.

Speaker 1

对,确实。

Oh yeah, for sure.

Speaker 3

所以我的感觉是,我并没有像我希望的那样深入编码领域。

So my vibe is that I'm not in the coding minds as much as I'd like to be.

Speaker 1

当然。

Sure.

Speaker 3

所以你们俩可能比我更常接触那些。

So you two might be in there more than I am.

Speaker 3

这有点遗憾,但我的经验是,它们在语法方面真的很强,而且真的很——

Which is sad, but my experience is that they are really good at syntax and really-

Speaker 1

它们在语义方面很差。

They're bad at semantics

Speaker 3

……

...

Speaker 3

我觉得它们在架构方面差得离谱。

I would say incredibly bad at architecture.

Speaker 3

所以对我来说,架构是软件中最具人类创造力的部分。

And so to me, architecture is the most human creative part of software.

Speaker 3

所以我非常喜欢用编码代理。

So I love using coding agents.

Speaker 3

我觉得Jev几乎肯定不在这个分布范围内。

I think that Jev is almost certainly not in distribution.

Speaker 3

如果他们用我们的用户数据训练,那可就太诡异了。

That would be spooky if they trained on our user data.

Speaker 3

所以很可能不是这样。

So it's probably not.

Speaker 3

但我认为,当它在分布范围内时,让它处理语法部分我觉得完全没问题。

But I think that when it is in distribution, I see no problem with having it do the syntax.

Speaker 3

关于架构,也许模型在架构方面不只是糟糕,而是处于第50百分位。

And the thing with architecture is that maybe the models are actually not just crap at architecture, but maybe they're 50th percentile at architecture.

Speaker 3

如果你对架构一无所知,那也够用了。

And if you don't know anything about architecture, it would be fine.

Speaker 3

所以这些都是灰色地带的权衡,需要你自己去把握,有时候速度就是你的公司或项目需要调整的关键。

So these are all gray area trade-offs in order for you to navigate, and sometimes speed is the knob for your company or project to turn.

Speaker 3

你愿意接受第50百分位的架构而不是第60百分位的,因为你想更快推进,让Codex通宵工作之类的。

You're willing to do a 50th percentile architecture instead of a 60th because you want to move faster and have Codex work overnight or something like that.

Speaker 2

其实,顺着这个话题说,市场上已经出现了一个有趣的现象:当编程代理刚出来的时候,大家都说SaaS要完蛋了,所有SaaS公司的估值都跌到了谷底。

Actually, kind of along those lines, one of the interesting things or phenomenons in the market already is that when the coding agents came out, it was the SaaSpocalypse, and all their values dropped through the floor.

Speaker 2

然后等Jev出来的时候,每家SaaS公司都说:“这是有史以来最棒的东西。”

And then when Jev came out, every SaaS company is like, "This is the greatest thing ever."

Speaker 1

确实,太棒了。

It's amazing, yeah.

Speaker 2

那这怎么解释呢?

So explain that.

Speaker 3

我也不知道该说什么了,对吧?

I don't know what else to say, right?

Speaker 3

我觉得这很自然。

I think it's quite natural.

Speaker 3

在SaaS末日论里,我觉得最站不住脚的说法就是软件很便宜,而且可能很容易复制。前者我信,后者我不信,因为很多复杂的东西都在表面之下。

In the SaaSpocalypse story, the story that I feel like has panned out really poorly is that software is very cheap and perhaps easy to replicate, which I think I could believe the former, I could not believe the latter, because a lot of the stuff happens beneath the hood.

Speaker 2

完全同意。

Totally.

Speaker 3

我可能有点太痴迷软件了。

I'm maybe overly a software fanboy here.

Speaker 2

我们都是。

All of us.

Speaker 3

好吧。

Okay.

Speaker 3

我不知道你会怎么看待编程的影响,但是——

I didn't know where you might be the coding impact, but-

Speaker 2

我们在这方面有很多历史包袱。

We have a lot of legacy around that.

Speaker 1

完全同意,是的。

100%, yeah.

Speaker 3

所以我觉得那个说法其实没怎么应验。

So I don't think that really panned out.

Speaker 3

所以SaaS看起来可能市场不这么认为,但我觉得SaaS提供的价值跟以前一样。

So SaaS seems like maybe the markets don't agree, but I think SaaS is providing the same value it used to.

Speaker 3

也许市场只是害怕了。

Maybe the markets are just scared.

Speaker 3

但我认为SaaS将是整个AI游戏的最大赢家之一,我想和那些最大、最无聊、最了解用户问题的SaaS公司紧密合作,因为我认为他们最有能力知道哪些工作流程需要自动化,人们需要什么。

But I think that SaaS will be one of the largest winners of the whole AI game, and I want to work really well with all the biggest, most boring, most in-the-know of user problem SaaS companies because I think that they are the best positioned to know what workflows to automate, what do people need.

Speaker 3

这是他们的看家本领。

That's what their bread and butter is.

Speaker 3

而且为了投入大...

And to spend the big...

Speaker 3

软件总是资本支出,但你提前投入是为了让这个体验变得更好。

Software is always a CapEx investment, but you spend it ahead of time in order to make this experience even better.

Speaker 3

然后这个体验会传递给所有用户。

That gets distributed to all of that mass of users.

Speaker 3

所以我认为这将是,我不会对金融市场做任何预测——

So I think that it's going to be, I'm not going to forecast anything about the financial markets-

Speaker 3

……但我认为就能力游戏而言,这将是一场反向的SaaS末日,我对此感到非常兴奋。

... but I think as far as capabilities games goes, it's going to be like an inverse SaaSpocalypse, and I am so jazzed about it.

Speaker 3

我得起个名字。

I should make a name.

Speaker 2

你确实该有个名字。

You should have a name.

Speaker 1

SaaSpalooza。

SaaSpalooza.

Speaker 3

哦。

Oh.

Speaker 3

这名字有点太好玩了。

That's a little too fun.

Speaker 2

嗯,SaaS应用会突然变得超级有用。

Well, the SaaS applications are going to all of a sudden get dramatically more useful.

Speaker 2

而且,顺便说一句,SaaS公司的资本投入,很大一部分其实是花在触达所有客户上。

And by the way, the kind of capital investment, so much of a SaaS company's capital investment is actually getting to all the customers.

Speaker 2

所以,如果你已经触达了所有客户,然后你不仅是在SaaS产品上加个聊天机器人,而是真正把软件做得更好,那可就厉害了。

And so if you've gotten to all the customers and then you make, not just put a chatbot on your SaaS product, but actually make the software way, way better, that's a hell of a thing.

Speaker 3

我不知道这是不是一个现实的梦想,但我觉得有可能有一天,那些多选表单会完全消失。

I don't know if this is a realistic dream or not, but I think that there's a world where the multi-choice forms just disappear.

Speaker 3

我觉得它们就是——

I feel like they are-

Speaker 3

……

...

Speaker 3

总是把软件里已有的自然语言映射成类似Jev的输出。

always something mapping natural language that usually the software already has into a Jev-like output.

Speaker 3

而且我觉得——

And I think-

Speaker 2

这真的是80年代的东西。

It's literally from the '80s.

Speaker 2

我们以前叫它们第四代语言。

We used to call them 4GLs.

Speaker 2

马丁,你还记得吗?

Do you remember that, Martin?

Speaker 2

第四代语言。

Fourth generation language.

Speaker 3

其实,我觉得这也是80年代的东西。

Actually, also, I think this is from the '80s.

Speaker 3

这可能有点冒犯。

This might be an insult.

Speaker 3

那时候我还没出生呢。

I wasn't born then.

Speaker 2

是的。

Yes.

Speaker 3

我觉得“按我的意思做”会被提升到一个全新的高度。

I think that do what I mean is going to be taken to the absolute next level.

Speaker 1

当然,对。

For sure, yeah.

Speaker 3

如果我要特别提一个Jev应用,我不确定它是否可靠,所以我不能保证什么——

If I could shout out one Jev application, I don't know if it's reliable, so I can't promise anything-

Speaker 3

……但那个真的太酷了。

... but it was so freaking cool.

Speaker 3

有人用语音控制电脑,它基本上一直在判断,这是命令还是输入文字?

Someone was using a voice to control your computer, and it was basically constantly making decisions on like, is this a command or is it inserting text?

Speaker 2

哦,那很酷。

Oh, that's cool.

Speaker 3

输入文字在哪里?

Where's inserting text?

Speaker 3

听起来简直酷毙了。

That sounds so unbelievably cool.

Speaker 2

哦,那确实很酷。

Oh, that is cool.

Speaker 3

我觉得界面可能会彻底改变,也许我们得让它更便宜、更快。

I feel like interfaces could just completely change, and maybe we're going to have to make it cheaper and faster.

Speaker 2

那你就到了《星际迷航》的水平了。

Then you're at "Star Trek."

Speaker 3

哦。

Oh.

Speaker 3

嗯……

Well...

Speaker 1

这里有一个非常深刻的直觉,就是如果你今天用AI来生成软件,你还是在创建和以前一样的软件。

There's just such a profound intuition here, which is, if you use AI today to generate software, you're still creating the same software that you did before.

Speaker 1

但如果你看看大公司平均的PR,大概只有10行。

But if you actually look at the average PR for a large company, it's like 10 lines.

Speaker 1

真的,不是开玩笑。

Seriously, no.

Speaker 3

我在谷歌待过。

I've been at Google.

Speaker 1

我们真的做过这个研究。

We actually did this study.

Speaker 1

所以大概就是10行。

So it's like 10 lines.

Speaker 1

所以你是在自动化那十行代码,而且顺便说一句,那十行代码可能只是从客户反馈中学到的一部分。

So you're automating 10 lines, and by the way, those 10 lines are part of a learning from a customer or something.

Speaker 1

所以你优化的其实是很小的一部分。

So you've kind of optimized something that's actually pretty minimal.

Speaker 1

但它并没有给软件带来新的功能,对吧?

But what it doesn't do is provide new capabilities to the software, right?

Speaker 3

对。

Yep.

Speaker 1

它只是在自动化这个相对次要的东西,而现在实际上有了新的能力,所以有可能软件真的会变得更好。

It's kind of automating this thing, which in the limit ends up being relatively minor, and now there's actually a new capability, and so it could just be the case that just software just actually gets better.

Speaker 3

对。

Yep.

Speaker 1

而且,甚至在Jev之前,我都没意识到,不管用多少AI编程代理,软件实际上并没有变得更好。

And by the way, even before Jev, it didn't even occur to me that it doesn't matter how much AI coding agents you use, the software actually isn't getting better.

Speaker 1

也许你只是写得更快了。

Maybe you're writing it faster.

Speaker 1

可以说反而更糟了,因为监督更少了。

It's arguably getting worse just because there's less oversight.

Speaker 1

所以我觉得这——

So I think this is-

Speaker 2

而且往往更不安全。

And often more insecure.

Speaker 1

确实。

For sure.

Speaker 1

但现在你确实可以论证,应用会因此获得新功能,因为你提供了这个新的基础组件,它某种程度上能理解自然语言,还能推理。

But you actually now can make an argument like apps will have new functionalities as a result of this because there is this new primitive that you're providing that, in a way, it speaks natural languages and it can reason.

Speaker 3

对。

Yep.

Speaker 1

但它把这一点和状态机结合起来了。

But it marries that to a state machine.

Speaker 3

如果人们能把这个当作核心收获,那将是对我们所做工作的最大赞美。

If people take that as a takeaway, that would be the greatest compliment ever to what we are doing.

Speaker 3

我其实觉得,扩展到我们现有的三个逻辑门之外,这个愿景有点太大了。

I actually feel like it's almost too grand of a vision to expand beyond the three logic gates that we have-

Speaker 3

……进入……

... into...

Speaker 3

我们的类型有点像同一个逻辑门,但里面有个小脑子。

Our types are kind of one of the same logic gate, but one that's a little brain in there.

Speaker 3

那将是对TypeSafe遗产的最大赞美,因为那是一个非常……

That would be the greatest compliment to the TypeSafe legacy, because that's a very-

Speaker 1

巨大的

Huge

Speaker 3

……对世界来说,非常重要、非常重大的事情。

... nontrivial, huge thing for the world.

Speaker 3

我不会过度承诺,然后交付不足,但我会为此奋斗。

I'm not going to overpromise, underdeliver that, but I will fight for that.

Speaker 1

听着,我觉得有一些相当开放的问题,关于这能深入到什么程度,比如真正严肃的事情,像状态一致性、持久性,或者真正的系统级问题,在这些地方你需要提供强有力的保证。

Listen, there's, I think, pretty open questions to how deep can this get as far as really serious stuff like state consistency or durability or real systems level stuff where you actually need to provide strong guarantees.

Speaker 1

所以百分之百,这会改变一些事情,比如分析日志、分析邮件、提供用户界面、与人对话,这些肯定会的。

And so 100%, this will change things like whatever, analyzing logs, analyzing emails, providing a UI, talking to the human, that for sure.

Speaker 1

但你可以说,随着时间推移,这会变成一个智能数据库。

But you could argue that over time this becomes a smart database.

Speaker 3

对。

Yep.

Speaker 1

所以——

And so-

Speaker 3

还有——

And also-

Speaker 2

空中交通管制系统。

Air traffic control system.

Speaker 1

什么都可以,对吧?

Anything, right?

Speaker 2

这正是我们非常需要的。

Which we really need.

Speaker 1

确实。

True.

Speaker 3

有点吓人。

A little scary.

Speaker 3

我一直觉得,先自动化简单的工作,再处理困难的工作,这是我的原则。

I think automate the easy work before the hard work is always my philosophy.

Speaker 3

但我也觉得,这会开启一个概率编程的全新时代。

But I also think there's going to be an entire era of probabilistic programming that's opened up.

Speaker 1

顺便说一句,你知道吗,概率编程有着悠久的历史。

By the way, you know there's a huge history of probabilistic programming.

Speaker 3

哦,我也知道。

Oh, I do as well.

Speaker 1

它基本上在70年代就消亡了。

It basically died in the '70s.

Speaker 3

我对此很熟悉。

I'm familiar with it.

Speaker 3

我其实觉得它会变成——同样地——你也可以把Jev称为神经逻辑AI。

I actually think it's going to be- With the same-- You could also call Jev like neurologic AI.

Speaker 2

所以你的联合创始人Eric就是那个背景出身的,他跟我说的。

So your co-founder, Eric, came from that background, he was telling me.

Speaker 3

哦,不错。

Oh, cool.

Speaker 2

他们有过贝叶斯——

They've had a Bayesian-

Speaker 3

哦,是的。

Oh, yes.

Speaker 1

哦,对。

Oh, yeah.

Speaker 3

他做了很多生物学相关的工作。

He did a lot of biology stuff.

Speaker 3

这个领域起起伏伏的。

It goes up and down.

Speaker 3

但我的意思是更……

But what I mean is a more...

Speaker 3

我不太喜欢。

I'm not a fan.

Speaker 3

我的风格是务实。

My brand is pragmatism.

Speaker 3

非常务实。

Incredible pragmatism.

Speaker 3

我完全不看好那些受生物学启发的东西,从来都不看好。

I'm not a fan of biologically inspired stuff- ... at all, ever.

Speaker 1

那些从来都没成功过。

It's never worked.

Speaker 1

你有没有注意到这一点?

Have you ever noticed that?

Speaker 3

我是说——

I mean-

Speaker 2

几乎没怎么。

Barely

Speaker 3

……

...

Speaker 3

我觉得从来就没成功过。

I think it's never worked.

Speaker 3

它的用处就是激励那些疯狂的人,让他们几十年如一日地钻研,直到……

It's useful to motivate crazy people to work on things for decades until-

Speaker 3

……直到成功,然后他们再把它打磨成工程版本。

... it works, and then they refine it into the engineering version.

Speaker 2

人工智能和神经网络的故事肯定就是这样。

The story of AI, neural nets for sure.

Speaker 3

对。

Yes.

Speaker 3

但很多关于它如何成功的说法其实并不准确,对吧?

But a lot of the stories about how it worked were not accurate, right?

Speaker 2

是的。

Yes.

Speaker 3

所以,应用的分层特征其实并没有真正奏效,不然ResNets也不会成功。

So, the hierarchical features of applications really didn't end up working, because otherwise ResNets wouldn't have worked.

Speaker 3

说来话长。

Longer story.

Speaker 3

我确实觉得,从系统角度来看,这会打开新局面,但我不太兴奋,因为这真的——我为世界感到兴奋,而不是为我自己编程这件事,因为听起来太复杂了。

I do think that it opens up, from a systems perspective, I'm not excited about this part, because it's really-- I'm excited for the world, not about me programming this, because it sounds really complicated.

Speaker 3

但我觉得,当我们拥有大量不同成本和速度权衡的智能时,那些超级系统型的人会做出权衡,就像Jev对他们来说会聪明一千倍。

But I think that as we have lots of intelligence at lots of different cost and speed trade-offs, the super systems-y types will be making trade-offs at like, Jev's going to be 1,000 times too smart for them.

Speaker 3

他们只是想要一个近似的链接,做一个近似的猜测,以便乐观地路由到各处。

They just want an approximate link to have an approximate guess to optimistically route here and there.

Speaker 3

这会变得非常疯狂,这——

It's going to be so crazy, this-

Speaker 3

……在极端系统端可用的那种东西。

... type of stuff that's available in the extreme systems end.

Speaker 1

好消息是我们可以重新构建系统了,这很棒,对吧?

And the good news is we get to rebuild systems again, which is great, right?

Speaker 1

不,说真的,我们有了一个新的基础元素。

No, seriously, we have a new primitive.

Speaker 1

这有点像一种新的思维方式——

It's kind of a new way of thinking-

Speaker 1

……关于如何做软件。

... about doing software.

Speaker 1

听着,我们当年在互联网上就这么干过。

Listen, we did this with the internet.

Speaker 1

我们也是从大型机转到客户机/服务器架构的。

We did this mainframe to client server.

Speaker 1

我是说,我们定期都会这么做。

I mean, we do this periodically.

Speaker 2

而且顺便说一句,由于网络安全问题,我们可能不得不重建几乎所有的系统——

And by the way, just because of the cybersecurity issues, we probably have to rebuild almost all the systems-

Speaker 1

对,当然。

Yeah, for sure

Speaker 2

……只是为了确保它们安全。

... to just make them safe.

Speaker 1

我也这么觉得。

I would think.

Speaker 1

我觉得很明显,现在没有——

I think it's pretty clear that there is not-

Speaker 2

或者至少是关键的——

Or at least the critical-

Speaker 2

……基础设施。

... infrastructure.

Speaker 2

肯定的。

For sure.

Speaker 1

你更多是从应用、SaaS、分析的角度来考虑这个问题,还是从系统、基础架构的角度,或者两者都有?

Do you think about this more in terms of apps, SaaS, analytics, or more in terms of systems, foundations, or all the above?

Speaker 3

就我个人的想法,或者怎么说呢——

For what I would think of, or how-

Speaker 1

对,就是一般性的应用场景。

Yeah, just general application for this.

Speaker 1

当你想到你在做Jev,然后你想象人们会怎么采用它,比如——

When you think about you're working on Jev, and you kind of envision that people are adapting it, like how-

Speaker 3

哎呀,天哪

Oh, man

Speaker 1

……

...

Speaker 1

你心里有想法吗?

do you even have an opinion?

Speaker 3

我有一点想法。

I have a little bit.

Speaker 3

所以我的思考方式有点深入到TCP的内部机制里。

So the way I think of it is a little deep into the TCP guts.

Speaker 3

像UDP/TCP,它不可靠。

Like UDP/TCP, it's unreliable.

Speaker 2

你说的正是我想听的。

You're speaking my language.

Speaker 3

没错。

Exactly.

Speaker 3

而且——所以当我想到AI的时候——

And like- So when I think of AI-

Speaker 1

我觉得很自在。

I feel comfortable

Speaker 3

……不,不,不。当我想到AI,这就是为什么我在乎每美元能买到多少智能,说清楚点。

... No, no, no. When I think of AI, and this is why I care about intelligence per dollar, to be clear.

Speaker 3

我是怎么得出这个结论的,我是从AI驱动的经济革命、AI无处不在、科幻小说里那样,所有软件都充满AI,这样倒推回来的。

When I think, and how I got to this conclusion, so I work backwards from AI-based economic revolution, AI everywhere, sci-fi and everything, all the software has AI all over the place.

Speaker 3

然后我问自己一个问题,对AI的调用有多大比例,想象它就像一个函数——

And I ask myself the question, what percentage of the calls to AI, imagine it's like a function-

Speaker 3

有多少比例是给人看的,需要讲究风格什么的?

... what percentage are for human consumption, where you need the style and everything?

Speaker 2

而不是为了理解。

Versus understanding.

Speaker 3

对,那比例会非常高,接近百分之百。

Yeah, and it's going to be many nines.

Speaker 3

而且,从同一个问题出发,有多少会发生在最表层——

And actually, from that same question, how many will be at the first layer-

Speaker 3

——而不是深入核心内部?

... versus deep in the guts?

Speaker 3

我觉得大部分都会在核心内部,但一开始会从表层开始。

And I think that it's going to be many nines in the guts, but it will start at the first layer.

Speaker 3

但如果你不瞄准核心,等等,这么说有点奇怪。

But if you don't aim for the guts, wait, that sounds weird.

Speaker 3

如果你不瞄准核心,那要花很长时间才能达到那个目标。

If you don't aim for the guts, it's going to take you a while to get there.

Speaker 1

我觉得人们不太理解,AI和软件在某种程度上就像是夜航的船,擦肩而过。

I think people don't understand to what extent AI was kind of ships in the night with software.

Speaker 1

即使你试图把AI嵌入到软件里,它也不太听话,对吧?

Even if you try to embed AI in software, it kind of didn't behave, right?

Speaker 1

因为软件本身不擅长处理自然语言,你得搞各种奇怪的操作。

Because software doesn't really take natural languages, and you do all this weird stuff.

Speaker 1

你塞进去一个提示,比如“这是你想要的JSON输出,这是schema”,但它根本不理会。

You stick in the prompt like, "Here's the JSON output that you want, and here's a schema," and it would never listen to it.

Speaker 1

所以最后你只能把输出拿过来,交给人工处理。

And so what you ended up doing is just taking the output and giving it to a human.

Speaker 1

你心里想:“算了,不管了”,对吧?

You're like, "To hell with it," right?

Speaker 3

对。

Yes.

Speaker 3

或者交给另一个大语言模型。

Or another LLM.

Speaker 3

这就是while循环的本质。

That is what a while loop is.

Speaker 3

就像代理的while循环,对吧?

Like the agent while loop, right?

Speaker 3

所以从基本原理上讲,它需要人在循环中,也就是聊天。

So it's like from first principles, it needs to be human in the loop, which is the chat.

Speaker 3

或者一个代理,也就是while循环,因为自然语言需要反馈到另一个循环中。

Or an agent, which is the while loop, because the natural language needs to be fed back into another.

Speaker 1

对。

Yes.

Speaker 1

而且我要说,我亲眼目睹过这种情况发生。

And I will say, I have watched this happen.

Speaker 1

几乎就像经历了悲伤的五个阶段。

There was almost this kind of five stages of grief.

Speaker 1

人们会拿起AI,然后说:“我要把它用在我的软件里”,对吧?

People would pick up AI and like, "I'm going to use this within my software," right?

Speaker 1

然后——

And then-

Speaker 1

……就会经历各种阶段,先是否认,试着让它工作,然后是愤怒。

... it would go with whatever, denial, try to make it work, and anger.

Speaker 1

然后他们进入接受阶段,就像说:“好吧,算了,我干脆把这个交给另一个大语言模型,或者交给真人。”

Then they go to acceptance, which is like, "Okay, never mind, I'm just going to give this to another LLM, to a human being."

Speaker 1

所以这就像夜航船一样,我觉得这是我第一次看到——

So it's been very ships in the night, and I think this is the first time I have seen-

Speaker 1

……有人会说:“其实你可以把大语言模型、把AI,真正映射到一个状态机上,而且能高效地做到这一点。”

... when someone's like, "Actually, you can take an LLM, you can take AI, and you can actually map it to a state machine, and you can do that productively."

Speaker 3

我也希望如此。

And I hope so.

Speaker 3

我也不想过度承诺,最后却做不到。

I will not want to overpromise under deliver as well.

Speaker 3

我不知道它是否已经准备好应对所有的应用场景——

I don't know if it's ready for all the applications-

Speaker 1

哦,当然。

Oh, sure

Speaker 3

……那些被过度承诺的应用。

... that have been overpromised.

Speaker 3

我真的很希望它能做到,而且我的团队显然会为此努力。

I really, really want it to, and my team will fight for that, obviously.

Speaker 3

我们真的非常在意可靠性。

We really, really care about reliability.

Speaker 3

我们本来可以更早发布的。

We could've released so much sooner.

Speaker 3

我觉得人们没有意识到这一点,而且说实话,我觉得他们也不会意识到。

I don't think people realize that, and I don't think that, honestly, I don't think that they will.

Speaker 3

根据我在推特上看到的讨论——

Based on what I see of the Twitter discussion-

Speaker 3

……

...

Speaker 3

我觉得人们永远不会明白这一点。

I think people will never get it.

Speaker 3

但它就是会有那种让人感觉很好的氛围,就像‘哦,我可以信任这个’。

But it'll just have that good vibe of like, "Oh, I can trust this."

Speaker 3

所以——

So-

Speaker 2

嗯,这就是那个‘防挫败机器’,对吧。

Well, it's the anti-frustration machine, yeah.

Speaker 3

是的。

Yes.

Speaker 3

我希望如此。

I hope so.

Speaker 3

明白我的意思吧?

Do what I mean, right?

Speaker 1

是的。

Yes.

Speaker 3

对我来说,这就是让世界更顺畅,让所有东西都更顺滑地协同运作,像齿轮一样咬合在一起。

To me, that is about smoothness in the world, having everything just move more smoothly together and interlink like gears.

Speaker 3

其实我对AI的乌托邦有很多不同的维度,我真的非常想要,而“懂我意思”是其中非常重要的一部分。

I actually have my whole AI utopia on different axes that I really, really want, and do what I mean is a huge part of this.

Speaker 3

想象一下,如果所有技术都能懂你的意思。

Imagine if all technology just did what you mean.

Speaker 3

这不是科幻。

That's not sci-fi.

Speaker 3

看看现在的AI有多聪明,对吧?

Look how smart AI is, right?

Speaker 2

对,真的很厉害。

No, it's amazing.

Speaker 2

也许这就是我们该收尾的地方。

And maybe that's the thought to close on.

Speaker 3

哦。

Oh.

Speaker 2

按我的意思去做。

Do what I mean.

Speaker 3

是的,我很喜欢。

Yeah, I love it.

Speaker 2

谢谢你,迪奥戈。

Thank you, Diogo.

Speaker 2

这次真是——

This has been-

Speaker 3

谢谢。

Thank you

Speaker 2

——一次很棒的对话。

... a great conversation.

Speaker 3

太棒了。

Hell yeah.

Speaker 2

真的很享受。

Really enjoyed it.

Speaker 3

太好玩了。

So fun.

Speaker 1

感谢收听本期a16z播客。

Thanks for listening to this episode of the "a16z" podcast.

Speaker 1

如果你喜欢这期节目,记得点赞、评论、订阅,给我们评分或留言,并分享给你的朋友和家人。

If you liked this episode, be sure to like, comment, subscribe, leave us a rating or a review, and share it with your friends and family.

Speaker 1

更多节目,请前往YouTube、Apple播客和Spotify。

For more episodes, go to YouTube, Apple Podcasts, and Spotify.

Speaker 1

在X上关注我们@a16z,并订阅我们的Substack,地址是a16z.substack.com。

Follow us on X, @a16z, and subscribe to our Substack at a16z.substack.com.

Speaker 1

再次感谢收听,我们下期见。

Thanks again for listening, and I'll see you in the next episode.

Speaker 1

提醒一下,这里的内容仅供参考。

As a reminder, the content here is for informational purposes only.

Speaker 1

这些内容不应被视为法律、商业、税务或投资建议,也不应用于评估任何投资或证券,并且不针对任何a16z基金的投资者或潜在投资者。

It should not be taken as legal, business, tax, or investment advice, or be used to evaluate any investment or security, and is not directed at any investors or potential investors in any a16z fund.

Speaker 1

请注意,a16z及其关联公司可能也持有本播客中讨论到的公司的投资。

Please note that a16z and its affiliates may also maintain investments in the companies discussed in this podcast.

Speaker 1

更多详情,包括我们投资的链接,请访问a16z.com/disclosures。

For more details, including a link to our investments, please see a16z.com/disclosures.

关于 Bayt 播客

Bayt 提供中文+原文双语音频和字幕,帮助你打破语言障碍,轻松听懂全球优质播客。

继续浏览更多播客