0:00.000–0:04.200
9月15日迪奥哥阿尔梅达在X上发了一条帖子
0:04.200–0:05.900
第一句话就很抓人
0:05.900–0:08.760
他说参与创造XGP之后
0:08.760–0:10.280
我一直在问自己
0:10.280–0:13.900
为什么这些已经超过人类水平的聊天模型
0:13.900–0:15.480
没有带来AGI呢
0:15.480–0:19.860
这个问题从他嘴里说出来确实有点特别
0:19.860–0:22.960
阿尔梅达是Intract GPT的作者之一
0:22.960–0:27.600
也参与过GPT4的RLHF和指令遵循的相关工作
0:27.600–0:28.960
简单来说
0:28.960–0:31.900
今天我们已经习以为常的这件事
0:31.900–0:34.020
就是你对AI说一句话
0:34.020–0:35.860
它能够理解你想干什么
0:35.860–0:38.120
然后按照你的要求回答
0:38.120–0:40.180
它就是这个早期参与
0:40.180–0:42.720
把这条路线做出来的人之一
0:42.720–0:45.100
不过参与创造ChatGPT
0:45.100–0:46.300
是它自己的表述
0:46.300–0:48.220
并不是OpenAI给它的
0:48.220–0:50.500
ChatGPT联合发明人头衔
0:50.500–0:53.740
但是ChatGPT出现以后
0:53.740–0:55.780
它反而开始怀疑一件事了
0:55.780–0:58.680
就是模型已经越来越会说话了
0:58.680–1:01.880
那为什么我们期待中的大规模自动化
1:01.880–1:04.040
却没有以同样的速度发生呢
1:04.040–1:05.800
于是过去两年
1:05.800–1:08.520
阿尔梅达一直在隐身做另一件东西
1:08.520–1:09.620
直到这几天
1:09.620–1:11.900
他和自己的公司TypeSafe AI
1:11.900–1:13.340
才把它公开出来
1:13.340–1:15.100
这个模型叫Jeff
1:15.100–1:16.380
你知道吗
1:16.380–1:19.060
TypeSafe给出的数字非常夸张
1:19.060–1:21.700
说它20到200倍更快
1:21.700–1:23.960
40到400倍更便宜
1:23.960–1:25.580
不过我看到这里的时候
1:25.580–1:27.420
真正让我觉得有意思的
1:27.420–1:28.700
还不是这些数字
1:28.700–1:31.860
而是Jav做了一件非常反常识的事情
1:31.860–1:33.700
就是他不会说话
1:33.700–1:34.740
真的不会
1:34.740–1:37.060
Jav他不跟你聊天
1:37.060–1:37.920
不写文章
1:37.920–1:39.600
也不生成自由文本
1:39.600–1:40.960
你把一段对话
1:40.960–1:42.500
一个agent当前的状态
1:42.500–1:44.420
或者一堆数据交给他
1:44.420–1:45.260
然后问他
1:45.260–1:46.720
这个请求安全吗
1:46.720–1:48.960
下一步应该调用哪个工具呢
1:48.960–1:50.820
这几个方案选哪一个呢
1:50.820–1:51.900
这之后
1:51.900–1:53.900
Jav不会先写一段分析
1:53.900–1:56.180
也不需要慢慢吐出一串Jason
1:56.180–1:57.980
他会直接给你决定
1:57.980–2:00.540
以及他对这个决定有多大把握
2:00.540–2:02.380
欢迎回到All Insight
2:02.380–2:04.180
在继续今天的视频之前
2:04.180–2:06.840
我想先感谢一直支持这个频道的朋友
2:06.840–2:09.640
我知道还有不少观看我视频的朋友
2:09.640–2:10.860
还没有订阅我的频道
2:10.860–2:13.740
那如果你觉得我的内容对你有所帮助
2:13.740–2:15.800
欢迎点赞分享和订阅
2:15.800–2:17.500
也可以加入频道会员
2:17.500–2:19.440
每个月一杯咖啡的钱
2:19.440–2:20.980
不仅是对我的支持
2:20.980–2:23.140
也会帮助我继续制作
2:23.140–2:26.620
更多关于AI和未来技术方向的深度内容
2:26.620–2:29.340
好的 接下来我们进入今天的主题
2:29.340–2:33.260
这件事听起来好像只是少生成了一些文字
2:33.260–2:35.320
但放到今天的agent里面
2:35.320–2:38.100
你会发现问题其实没有那么简单
2:38.100–2:40.720
现在一个agent的每走一步
2:40.720–2:42.600
可能都要做很多判断
2:42.600–2:45.180
比如下一步该调用哪个工具
2:45.180–2:47.260
这个结果能不能相信
2:47.260–2:48.580
要不要继续
2:48.580–2:50.680
需不需要升级到更强的模型
2:50.680–2:53.600
很多时候我们真正需要的
2:53.600–2:55.920
其实只是一个是或者不是
2:55.920–2:57.400
ABC选哪个
2:57.400–2:59.500
但今天最常见的做法
2:59.500–3:02.460
是把整个上下文交给一个大语言模型
3:02.460–3:05.700
让它先生成文字或者结构化输出
3:05.700–3:08.500
然后程序再从这些输出里
3:08.500–3:10.160
拿出最后那个决定
3:10.160–3:13.980
所以阿尔梅达这次实际上是在问
3:13.980–3:16.980
如果软件真正需要的只是一个决定
3:16.980–3:19.980
那为什么一定要让AI先说一段话呢
3:19.980–3:21.500
Jav发布以后
3:21.500–3:25.140
X上很快出现了两种不同的声音
3:25.140–3:26.760
第一种反应非常直接
3:26.760–3:29.000
就是等等这不就是分类器吗
3:29.000–3:31.660
独立AI研究者Alexis Gallagher就说
3:31.660–3:33.260
他觉得Jav很酷
3:33.260–3:36.140
但更有意思的是大家对Jav的反应
3:36.140–3:39.320
因为这似乎说明很多人已经忘了
3:39.320–3:42.420
锦编码器分类器已经存在很多年了
3:42.420–3:43.900
而且一直很好用
3:43.900–3:46.020
像Modern Bird这样的模型
3:46.020–3:49.840
本来就可以快速和廉价的完成结构化判断
3:49.840–3:51.540
Jav也许更好
3:51.540–3:54.560
而且不需要针对每一个任务重新训练
3:54.560–3:56.960
但这个类别本身并不新
3:56.960–4:01.400
另一边XBOM的AI研究员Lan Butler马上反驳说
4:01.400–4:04.000
问题恰恰就在不需要重新训练
4:04.000–4:06.820
如果今天突然给你一个非常奇怪
4:06.820–4:09.220
而且类别又特别多的决策任务
4:09.220–4:11.060
你手里甚至还没有数据集
4:11.060–4:13.380
那传统分类器怎么办
4:13.380–4:16.900
而Jav的卖点就是直接用自然语言告诉他
4:16.900–4:18.200
现在要判断什么
4:18.200–4:19.840
更有意思的是
4:19.840–4:21.500
已经有人不吵了
4:21.500–4:24.460
他们直接把Jab塞进agent里面开始跑
4:24.460–4:26.600
有人拿它做模型路由
4:26.600–4:29.480
让Jab决定什么时候该用便宜模型
4:29.480–4:31.620
什么时候升级到更强的模型
4:31.620–4:34.860
还有人拿它做Computer Use的下一步决策
4:34.860–4:36.780
还有一个叫Observed开发者
4:36.780–4:40.060
测试了一整晚跑了500多次API
4:40.060–4:42.240
总共才花了大约3美分
4:42.240–4:44.640
一次同时多问20个问题
4:44.640–4:47.340
延迟也只增加了47毫秒
4:47.340–4:51.780
他还抓住了一次针对他自己agent的假审批注入
4:51.780–4:54.860
然后他发现Jeff有一次打错了
4:54.860–4:58.220
而Jeff给那个错误答案给出的信心是1.00
4:58.220–4:59.920
这就有意思了
4:59.920–5:03.160
一边是这不就是我们用了很多年的分类器吗
5:03.160–5:08.180
而另一边却已经有人开始把他塞进agent的决策循环
5:08.180–5:10.700
官方说他的概率经过较准
5:10.700–5:13.380
但在真实测试里却已经出现了
5:13.380–5:16.060
答错了但信心百分之百的情况
5:16.060–5:20.020
所以这期视频我真正想弄清楚的
5:20.020–5:22.360
不是Jav到底有没有快200倍
5:22.360–5:25.740
而是说一个参与创造ChattGPT的人
5:25.740–5:27.940
在模型越来越会说话之后
5:27.940–5:29.760
为什么会花两年的时间
5:29.760–5:31.960
重新做一个不会说话的AI呢
5:31.960–5:35.220
以及他是不是碰到了今天A成的系统里
5:35.220–5:36.680
一个更有意思的问题
5:36.680–5:40.480
就是我们真的需要让大模型来做每一个决定吗
5:40.480–5:43.400
那么一个不生成自由文本的AI
5:43.400–5:45.240
到底是怎么工作的呢
5:45.240–5:48.300
TypeSafe对Jav的描述其实很简洁
5:48.300–5:49.980
翻译过来的意思就是
5:49.980–5:51.580
输入可以很复杂
5:51.580–5:54.580
但输出不再是一串自由生成的文字
5:54.580–5:58.040
而是提前定义好类型的概率决策
5:58.040–6:01.520
比如一个客服agent的正在处理退款请求
6:01.520–6:03.960
你可以把完整的对话记录
6:03.960–6:05.220
用户账户状态
6:05.220–6:07.960
以及最近的付款记录一起交给Jav
6:07.960–6:09.140
然后同时问他
6:09.140–6:11.680
用户现在是不是在要求退款呢
6:11.680–6:13.320
有没有欺诈风险呢
6:13.320–6:14.760
需不需要转人工呢
6:14.760–6:16.460
如果要继续处理
6:16.460–6:18.620
下一步应该执行哪个动作呢
6:18.620–6:22.660
当然普通大模型也能回答这些问题
6:22.660–6:24.760
但它通常还是要生成
6:24.760–6:27.140
哪怕最后输出的是JESN
6:27.140–6:29.780
本质上也是一个Token接一个Token的
6:29.780–6:31.320
把字符串写出来
6:31.320–6:33.460
但JESN走的是另一条路
6:33.460–6:36.260
他把这些问题直接变成了几个
6:36.260–6:37.820
类型确定的决策
6:37.820–6:40.360
而且可以一次并行回答
6:40.360–6:43.020
TypeSafe目前把这种输出
6:43.020–6:45.020
分成三种基本形式
6:45.020–6:46.340
第一种叫Nual
6:46.340–6:48.420
它处理是不是这一类的判断
6:48.420–6:51.300
比如这个请求有没有越狱风险
6:51.300–6:53.100
那么它返回的就不是一句
6:53.100–6:53.980
我认为没有
6:53.980–6:56.500
而是说这个判断对应的概率
6:56.500–6:58.000
第二种叫Choice
6:58.000–7:01.640
也就是从提前给定的选项里做选择
7:01.640–7:04.060
比如一个Agent手里有八个工具
7:04.060–7:05.800
现在应该调用哪一个呢
7:05.800–7:08.400
Jive直接在这八个选项里做判断
7:08.400–7:10.080
并给出相应的概率
7:10.080–7:11.600
第三种叫Score
7:11.600–7:13.580
用来处理打分和排序
7:13.580–7:15.960
比如一个任务的优先级有多高
7:15.960–7:18.260
或者一个结果有多值得信任
7:18.646–7:19.526
所以
7:19.526–7:22.126
它和普通聊天模型在接口上的
7:22.126–7:23.626
区别其实非常直观
7:23.626–7:25.566
聊天模型的输出空间
7:25.566–7:27.086
几乎是无限的
7:27.086–7:29.006
你可以让它写一句话
7:29.006–7:30.746
一篇文章一段代码
7:30.746–7:33.506
也可以让它生成结构化数据
7:33.506–7:35.566
JF在开始计算之前
7:35.566–7:38.766
输出空间就已经被软件定义好了
7:38.766–7:40.146
它可以判断
7:40.146–7:43.066
但它不能临场发明一个新的答案
7:43.066–7:45.126
这里还有一个很容易被忽略的区别
7:45.126–7:49.126
就是这些判断不一定要一个接一个的做
7:49.126–7:51.526
Type-Safe官方展示的Workflow
7:51.526–7:54.406
本身就会把一个复杂的软件状态
7:54.406–7:56.066
拆成很多独立的问题
7:56.066–7:57.926
然后一次并行询问
7:57.926–8:00.306
比如他们公开的客服工作流
8:00.306–8:03.286
第一步就会同时读取用户意图
8:03.286–8:04.986
情绪 紧急程度
8:04.986–8:07.406
以及欺诈风险等多个信号
8:07.406–8:09.126
再用后面的代码决定
8:09.126–8:11.806
退款 冻结银行卡 转人工
8:11.806–8:13.126
还是继续处理
8:13.126–8:15.226
这时候我们再回头
8:15.226–8:17.546
看TypeSafe给这种模型起的名字
8:17.546–8:19.366
就比较容易理解了
8:19.366–8:21.286
他们叫它System-1 Module
8:21.286–8:23.786
这个名字来自丹尼尔·卡尼曼
8:23.786–8:26.246
对System-1和System-2的区别
8:26.246–8:28.346
他认为System-1负责
8:28.346–8:30.526
快速和直觉式的判断
8:30.526–8:33.946
System 2才负责缓慢和复杂的推理
8:33.946–8:38.806
那Type-C想做的不是让Jeff取代所有大语言模型
8:38.806–8:44.206
而是把软件系统里大量这种快速判断单独抽出来
8:44.206–8:47.386
阿尔梅达后来把这个速度说得更直接
8:47.386–8:50.726
他说他们把今天几条不同的训练路线
8:50.726–8:52.906
看成是在解决不同的问题
8:52.906–8:58.026
像RLVR就更适合可以验证答案的Resonings和Proves
8:58.026–9:02.926
而他们希望RLCD去解决的是自动控制
9:02.926–9:07.786
也就是让模型的决定真正能够被软件直接使用
9:07.786–9:11.626
这也是为什么Type-Safe一直把Jeff的典型用途写成
9:11.626–9:15.326
分类 路由 打分 提取和分支判断
9:15.326–9:19.326
他们甚至用了一个狠形象的说法是聪明的一语句
9:19.326–9:23.506
听到这里Jeff好像已经也没有那么神秘了
9:23.506–9:26.666
他不是一个被砍掉聊天界面的GPT
9:26.666–9:29.326
也不是为了写出更好的答案
9:29.326–9:31.906
而是他想把做决定本身
9:31.906–9:34.146
从语言生成里单独拆出来
9:34.146–9:37.726
变成软件可以直接钓鱼的一种智能原语
9:37.726–9:41.406
但是这也就回到了开场那个质疑
9:41.406–9:43.346
就是这不就是分类器吗
9:43.346–9:45.906
以太坊基军会AI的负责人
9:45.906–9:48.346
David Krapis的说法就更直接了
9:48.346–9:52.006
他认为把Jav和通用ML放在一起比较
9:52.006–9:53.306
很容易产生误导
9:53.306–9:56.306
因为Jav根本不生成自由文本
9:56.306–9:57.666
从功能上看
9:57.666–10:00.046
它更接近一个非常聪明的工具
10:00.046–10:01.306
或者一个分类器
10:01.306–10:05.526
而不是GPT Cloud这种通用模型的直接竞争者
10:05.526–10:07.346
有人继续往下拆
10:07.346–10:10.466
Robert试文透客把Jab的几个卖点
10:10.466–10:11.926
一条一条列了出来
10:11.926–10:14.086
像是类型受限的输出
10:14.086–10:16.546
我们已经可以用受限解码做
10:16.546–10:19.026
概率可以从LogProps里面拿
10:19.026–10:22.466
概率校准也早就有Temperature Scaling
10:22.466–10:23.686
什么时候放行
10:23.686–10:24.626
什么时候升级
10:24.626–10:27.806
本来就可以在应用代表里面写Thrust Hold
10:27.806–10:31.066
所以他最后的评价其实很有意思
10:31.066–10:33.566
他认为这些统计学上的零件
10:33.566–10:36.166
没有哪一个是突然从天上掉下来的
10:36.166–10:41.306
真正可能不同的是Type Safe把校准放进了训练目标
10:41.306–10:44.966
然后让API从一开始返回的就是Decision
10:44.966–10:48.206
而不是一段等待程序再次解析的文字
10:48.206–10:49.146
换句话说
10:49.146–10:52.306
这不是发明了一堆从来没有存在过的零件
10:52.306–10:54.146
而是少兵了几层东西
10:54.146–10:56.746
这时候Jav就不是分类器吗
10:56.746–10:59.146
这个问题就开始变得没那么简单了
10:59.146–11:02.006
因为Type-Safe真正想挑战的
11:02.006–11:04.866
并不是传统分类器做不到的分类
11:04.866–11:06.426
而是它的使用方式
11:06.426–11:09.786
假设你今天做一个金融agent
11:09.786–11:11.366
你只需要判断的是
11:11.366–11:13.626
这笔交易有没有欺诈风险
11:13.626–11:17.166
那你当然可以收集数据标注样本
11:17.166–11:18.726
训练一个专门的分类器
11:18.726–11:20.486
如果业务一直不变
11:20.486–11:23.246
这就可能比调用Jav更便宜更快
11:23.246–11:24.366
甚至更可靠
11:24.366–11:28.206
但现实里的agent很少永远只问同一个问题
11:28.206–11:30.346
今天你要判断的是欺诈
11:30.346–11:33.086
明天可能增加是否需要人工复合
11:33.086–11:34.826
后天可能又增加
11:34.826–11:36.906
应该交给哪个风险团队
11:36.906–11:38.026
换一个产品
11:38.026–11:41.746
问题标签和业务规则可能全部都变了
11:41.746–11:45.486
如果每增加一种判断都要重新积累数据
11:45.486–11:47.066
训练和部署一个模型
11:47.066–11:51.066
那传统分类器的成本就开始从推理阶段
11:51.066–11:53.526
转移到了开发和维护阶段
11:53.526–11:56.126
而Jeff想做的是把大语言模型
11:56.126–11:58.386
最有价值的一部分能力保留下来
11:58.386–12:01.306
就是你可以直接用自然语言告诉模型
12:01.306–12:02.846
现在要判断什么
12:02.846–12:06.526
我们目前还没有看到
12:06.526–12:09.686
Jeff和一个认真微调过的Mardenberg
12:09.686–12:11.846
专门的小型分类器
12:11.846–12:15.106
或者一个使用受限解码的小语言模型
12:15.106–12:19.026
在同样任务同样数据同样准确率要求下
12:19.026–12:21.586
做一次真正公平的正面对比
12:21.586–12:24.026
TypeSafe真正需要证明的是
12:24.026–12:25.746
当任务不断变化
12:25.746–12:28.766
而你又不想每次重新训练一个模型的时候
12:28.766–12:32.466
Jab能不能同时保住分类器的速度和成本
12:32.466–12:34.866
又同时保住大模型那种
12:34.866–12:38.186
拿自然语言就能直接定义新任务的灵活性
12:38.186–12:40.106
而这还只是第一层
12:40.106–12:42.826
因为TypeSafe对Jab最大胆的主张
12:42.826–12:45.006
其实不是快也不是便宜
12:45.006–12:47.166
甚至不是自然语言可编程
12:47.166–12:48.586
而是他认为
12:48.586–12:50.746
Jav不只会给你一个决定
12:50.746–12:54.466
他还知道自己这个决定到底有多可靠
12:54.466–12:56.646
这就进入了整个Jav的故事里
12:56.646–13:00.306
最关键也是目前最神秘的一块RLCD
13:00.306–13:04.146
前面讲到Jav会给每一个决策附上概率
13:04.146–13:05.926
但这里真正重要的
13:05.926–13:09.546
不是他能不能输出一个0.73或者0.91
13:09.546–13:13.126
而是说这些数字到底有没有统计意义
13:13.126–13:15.606
这就是RLLCD想解决的问题
13:15.606–13:19.326
它的全称是校准决策强化学习
13:19.326–13:20.286
所谓校准
13:20.286–13:22.806
我们可以先用一个很简单的例子来理解
13:22.806–13:26.446
就是如果一个模型做了很多次判断
13:26.446–13:30.806
我们把它所有认为有70%把握的判断放在一起
13:30.806–13:33.046
那么一个校准的好的模型
13:33.046–13:36.966
长期来看应该有大约70%是正确的
13:36.966–13:39.786
他说90%就应该接近90%
13:39.786–13:44.506
说50%就真的意味着这件事差不多只有一半的把握
13:44.506–13:47.246
这和准确率其实是两回事
13:47.246–13:50.846
一个模型完全可能总体准确率很高
13:50.846–13:53.406
但他根本不知道自己什么时候会错
13:53.406–13:57.306
而另一个模型也许平均准确率没有高出多少
13:57.306–13:59.306
但他在容易出错的时候
13:59.306–14:01.486
真的会把自己的概率降下来
14:01.486–14:03.406
对于聊天机器人来说
14:03.406–14:05.666
这个区别可能没有那么明显
14:05.666–14:07.206
但对于agent来说
14:07.206–14:08.966
这就直接决定了一件事
14:08.966–14:12.526
就是这个概率能不能拿来控制系统
14:12.526–14:14.286
比如一个agent正在决定
14:14.286–14:16.266
要不要自动批准退款
14:16.266–14:18.106
债务判断可以批准
14:18.106–14:20.086
概率99.8%
14:20.086–14:22.406
如果经过大量测试之后
14:22.406–14:25.666
你真的知道这种99.8%值得性
14:25.666–14:28.346
那么Harness就可以设置一个预值
14:28.346–14:30.506
超过这个概率自动执行
14:30.506–14:32.786
但如果只有70%
14:32.786–14:35.166
就升级给更强更贵的模型
14:35.166–14:36.446
如果再低一点
14:36.446–14:38.506
就交给人工或者Verify
14:38.506–14:40.686
这个时候CoundDefense
14:40.686–14:43.046
就不再是给人看的一个装饰数字
14:43.046–14:46.646
它变成了A站的内部的一种控制信号
14:46.646–14:48.566
就是什么时候继续
14:48.566–14:49.606
什么时候升级
14:49.606–14:50.766
什么时候验证
14:50.766–14:52.086
什么时候停下来
14:52.086–14:55.106
前面那个满分信心却答错的例子
14:55.106–14:56.706
追问的也正是这件事
14:56.706–14:59.706
就是这些概率究竟有多可信呢
14:59.706–15:03.406
而RLCD真正生成改变的是另一件事
15:03.406–15:05.666
就是从训练阶段开始
15:05.666–15:08.966
就让模型学习一个决定应该有多确定
15:08.966–15:12.466
让概率本身也成为训练目标的一部分
15:12.892–15:18.072
但是我目前还没有看到TypeSafe公开完整的论文
15:18.072–15:20.912
具体的训练流程和损失函数
15:20.912–15:24.352
也没有足够完整的第三方校准基准
15:24.352–15:28.532
所以RLCD是否真的比现有校准方法更好
15:28.532–15:30.532
这一部分还要等更多的证据
15:30.532–15:33.752
这里也刚好可以解释TypeSafe另一个
15:33.752–15:35.472
很容易让人误解的说法
15:35.472–15:38.212
就是Jav不能产生幻觉
15:38.212–15:42.852
如果你只允许Jav在批准和拒绝之间选择
15:42.852–15:45.672
他确实不可能突然回答也许
15:45.672–15:48.332
也不会捏造第三个不存在的函数
15:48.332–15:51.012
更不会生成一段格式错误程序
15:51.012–15:52.572
根本解析不了的Jason
15:52.572–15:55.472
它的输出空间在计算之前
15:55.472–15:58.072
就已经被系统类型限制好了
15:58.072–16:01.132
但是它完全可能选择批准
16:01.132–16:03.252
而正确答案其实是拒绝
16:03.252–16:05.012
所以更准确的说
16:05.012–16:07.572
Jav解决的是一种非常具体的幻觉
16:07.572–16:09.892
它不会生成类型之外的答案
16:09.892–16:13.252
但仍然可能在合法答案里面选错
16:13.252–16:14.872
不过呢
16:14.872–16:18.412
真正决定Jav能不能进入高风险自动化流程的
16:18.412–16:19.672
还是后一个问题
16:19.672–16:21.292
就是它选错的时候
16:21.292–16:22.812
自己到底知不知道
16:22.812–16:24.652
这也是为什么我觉得
16:24.652–16:28.792
RLCD反而比Jav那个200倍更快的数字
16:28.792–16:29.632
更值得关注
16:29.632–16:32.572
如果一个模型只是快而且便宜
16:32.572–16:35.232
我们其实已经有很多办法可以做到了
16:35.232–16:39.272
但如果它能在保持这种速度和成本的同时
16:39.272–16:43.612
给软件提供一个真正可信的不确定性信号
16:43.612–16:46.552
那它在A层里面的位置就完全不一样了
16:46.552–16:49.332
当然接下来还有一个跟现实的问题
16:49.332–16:53.932
就是这些概率决策究竟能省下多少时间和成本呢
16:53.932–16:56.272
现在我们终于可以回到
16:56.272–16:58.992
JF发布时最新眼球的那组数字
16:58.992–17:01.152
20到200倍更快
17:01.152–17:03.492
40到400倍更便宜
17:03.492–17:06.532
TypeSafe自己公布的Workflow Benchmark里面
17:06.532–17:10.312
最高端的数字达到了193.6倍更快
17:10.312–17:13.032
444.6倍更便宜
17:13.032–17:15.452
这个数字第一眼看起来很离谱
17:15.452–17:17.832
但离着JF前面的设计之后
17:17.832–17:19.972
你会发现它其实并不神秘
17:19.972–17:23.372
因为Jav和普通LM做计算的方式
17:23.372–17:25.072
从一开始就不一样
17:25.072–17:28.332
假设一个agent现在需要做20个判断
17:28.332–17:30.652
比如用户是不是在退款
17:30.652–17:32.112
有没有欺诈风险
17:32.112–17:33.532
需不需要人工介入
17:33.532–17:35.032
需要调用哪个工具
17:35.032–17:37.252
结果要不要再验证一次
17:37.252–17:40.372
阿尔梅达回应过一个很直接的问题
17:40.372–17:43.072
就是为什么不干脆用受限解码呢
17:43.072–17:44.312
他的回答是
17:44.312–17:47.072
这层约束仍然叠在LM上
17:47.072–17:49.332
字符串生成的开销还在
17:49.332–17:51.592
他还提出了一更尖锐的判断
17:51.592–17:54.172
就是模型本来就拿不准的时候
17:54.172–17:56.552
再去限制他能选哪些输出
17:56.552–17:58.152
反而会让模型变笨
17:58.152–18:01.332
债务直接省掉了字符串生成这一步
18:01.332–18:04.532
他不需要把决定翻译成一段语言
18:04.532–18:07.532
再让软件把语言重新翻译成决定
18:07.532–18:10.552
他的输出空间已经提前确定
18:10.552–18:14.372
而且多个问题可以在同一次询问里并行计算
18:14.372–18:16.872
TypeSafe公布的端到端延迟
18:16.872–18:19.052
大约是70到500毫秒
18:19.052–18:21.952
输入价格是每百万Token4.2美分
18:21.952–18:24.032
输出则没有单独计费
18:24.032–18:26.672
所以从物理账上看
18:26.672–18:29.812
Jav比大元模型快很多便宜很多
18:29.812–18:31.372
是完全说得通的
18:31.372–18:33.952
但我们真正需要问的是另一件事
18:33.952–18:37.292
就是他们比较的是不是同一种工作呢
18:37.292–18:39.672
TypeSafe的Workflow Benchmark
18:39.672–18:42.032
不是让Jav和GPT Cloud
18:42.032–18:43.672
各自写一篇文章
18:43.672–18:46.592
也不是让他们解决一道开放式的数学题
18:46.592–18:51.372
而是专门选择软件自动化里面的System-1任务
18:51.372–18:54.472
对照的是同样接入这套工作流的
18:54.472–18:57.612
按要求返回结果化结果的通用LM
18:57.612–18:59.252
比如处理一张发票
18:59.252–19:01.832
系统真正需要的是这几个决定
19:01.832–19:06.112
付款、赞款、要求补文件、送人工审批
19:06.112–19:07.212
还是怀疑欺诈
19:07.212–19:10.672
又比如一个客服agent完成了一轮任务
19:10.672–19:15.172
系统要判断的是自动关闭、人工复合、优化复合
19:15.172–19:17.612
还是直接通知值班人员
19:17.612–19:22.272
这些任务天然就非常适合被拆成很多窄判断
19:22.272–19:23.992
然后再用代码组合
19:23.992–19:26.312
而这正好是Jav的主场
19:26.312–19:30.132
TypeSave甚至在自己的发布文章里主动承认
19:30.132–19:32.412
他们展示的side-by-side demo
19:32.412–19:35.112
使用了比较短和比较密集的输入
19:35.112–19:37.192
这会让Jav看起来更有优势
19:37.192–19:40.592
193.6倍和444.6倍
19:40.592–19:43.172
来自他们设计的工作流程评估
19:43.172–19:46.472
他们认为这应该处在现实收益的高端
19:46.472–19:51.192
而且这些workflow是公司自己模型能力团队的人做的
19:51.192–19:53.012
所以他们也明确写了一句
19:53.012–19:54.632
可能存在偏见
19:54.632–19:56.432
这一点反而很重要
19:56.432–20:00.552
因为他告诉我们200倍不是一个模型智力倍率
20:00.552–20:01.992
他真正表达的是
20:01.992–20:04.692
帮任务本来就是大量窄决策
20:04.692–20:08.932
而你还让一个通用生成模型不断生成字符串的时候
20:08.932–20:12.592
你可能正在为很多根本不需要的能力付钱
20:12.592–20:14.952
TypeSafe的工作流程评估
20:14.952–20:18.012
其实还暴露了另外一个很有意思的结果
20:18.012–20:21.552
就是同一个模型把任务拆成workflow
20:21.552–20:23.912
让代码负责确定性的规则
20:23.912–20:27.612
让模型只负责那些真正需要判断的部分的话
20:27.612–20:29.172
那么在这些测试里
20:29.172–20:32.552
就比把整套规则塞进一个巨大pront里
20:32.552–20:36.352
一次性解决更准确更快和更便宜
20:36.352–20:39.592
所以这笔账不只是和模型本身有关
20:39.592–20:41.412
也和任务怎么拆
20:41.412–20:43.312
软件怎么调用它有关
20:43.312–20:46.492
那如果把这个思路放进一个完整的agent
20:46.492–20:48.472
分工又会变成什么样呢
20:48.472–20:49.712
讲到这里
20:49.712–20:51.672
我觉得Jab最有意思的地方
20:51.672–20:53.532
已经不是Jab本身了
20:53.532–20:56.152
而是一个真正长期运行的agent
20:56.152–20:59.732
到底应该把多少事情交给同一个大模型呢
20:59.732–21:02.852
一个agent可能连续工作几十分钟
21:02.852–21:04.112
甚至几个小时
21:04.112–21:06.892
中间经历几十几百个决策点
21:06.892–21:09.072
真正需要复杂推理的
21:09.072–21:10.472
也许只有其中几步
21:10.472–21:11.972
剩下大量的工作
21:11.972–21:14.552
其实只是判断走哪条路
21:14.552–21:15.612
调用哪个工具
21:15.612–21:17.252
这个结果能不能接受
21:17.252–21:18.952
需不需要再检查一次
21:18.952–21:21.552
而Jav指向的是另一种架构
21:21.552–21:23.372
真正开放复杂
21:23.372–21:25.492
需要理解模糊目标
21:25.492–21:28.332
长程规划和深度推理的问题
21:28.332–21:29.972
仍然交给前沿模型
21:29.972–21:32.172
如果是确定性的规则
21:32.172–21:33.712
比如金额超过多少
21:33.712–21:35.192
必须人工审批的
21:35.192–21:36.552
就直接交给代码
21:36.552–21:40.472
如果是大量高频窄而不断变化的判断
21:40.472–21:43.132
就可以交给像Jav这种决策模型
21:43.132–21:46.392
结果是不是满足某个明确标准
21:46.392–21:48.032
可以再交给Verify
21:48.032–21:50.992
需要长期保存的信息进入Memory
21:50.992–21:53.632
需要真正改变外部世界的动作
21:53.632–21:54.672
就交给Tools
21:54.672–21:57.132
最后真正重要的
21:57.132–21:59.092
可能不再是其中某一个模型
21:59.092–22:00.412
而是外面的Harness
22:00.412–22:03.992
因为Harness决定谁在什么时候被调用
22:03.992–22:05.992
什么结果可以直接通过
22:05.992–22:07.792
什么结果必须升级
22:07.792–22:10.112
什么任务值得花几十倍的成本
22:10.112–22:11.792
去唤醒最强的模型
22:11.792–22:15.172
当软件真正需要的只是一个决定
22:15.172–22:18.352
我们为什么一定要让AI先开口说话呢
22:18.352–22:19.672
这里是All Insight
22:19.672–22:20.332
感谢收看
22:20.332–22:21.000
我们下期再见
0:00.000–0:04.200
9月15日迪奥哥阿尔梅达在X上发了一条帖子
0:04.200–0:05.900
第一句话就很抓人
0:05.900–0:08.760
他说参与创造XGP之后
0:08.760–0:10.280
我一直在问自己
0:10.280–0:13.900
为什么这些已经超过人类水平的聊天模型
0:13.900–0:15.480
没有带来AGI呢
0:15.480–0:19.860
这个问题从他嘴里说出来确实有点特别
0:19.860–0:22.960
阿尔梅达是Intract GPT的作者之一
0:22.960–0:27.600
也参与过GPT4的RLHF和指令遵循的相关工作
0:27.600–0:28.960
简单来说
0:28.960–0:31.900
今天我们已经习以为常的这件事
0:31.900–0:34.020
就是你对AI说一句话
0:34.020–0:35.860
它能够理解你想干什么
0:35.860–0:38.120
然后按照你的要求回答
0:38.120–0:40.180
它就是这个早期参与
0:40.180–0:42.720
把这条路线做出来的人之一
0:42.720–0:45.100
不过参与创造ChatGPT
0:45.100–0:46.300
是它自己的表述
0:46.300–0:48.220
并不是OpenAI给它的
0:48.220–0:50.500
ChatGPT联合发明人头衔
0:50.500–0:53.740
但是ChatGPT出现以后
0:53.740–0:55.780
它反而开始怀疑一件事了
0:55.780–0:58.680
就是模型已经越来越会说话了
0:58.680–1:01.880
那为什么我们期待中的大规模自动化
1:01.880–1:04.040
却没有以同样的速度发生呢
1:04.040–1:05.800
于是过去两年
1:05.800–1:08.520
阿尔梅达一直在隐身做另一件东西
1:08.520–1:09.620
直到这几天
1:09.620–1:11.900
他和自己的公司TypeSafe AI
1:11.900–1:13.340
才把它公开出来
1:13.340–1:15.100
这个模型叫Jeff
1:15.100–1:16.380
你知道吗
1:16.380–1:19.060
TypeSafe给出的数字非常夸张
1:19.060–1:21.700
说它20到200倍更快
1:21.700–1:23.960
40到400倍更便宜
1:23.960–1:25.580
不过我看到这里的时候
1:25.580–1:27.420
真正让我觉得有意思的
1:27.420–1:28.700
还不是这些数字
1:28.700–1:31.860
而是Jav做了一件非常反常识的事情
1:31.860–1:33.700
就是他不会说话
1:33.700–1:34.740
真的不会
1:34.740–1:37.060
Jav他不跟你聊天
1:37.060–1:37.920
不写文章
1:37.920–1:39.600
也不生成自由文本
1:39.600–1:40.960
你把一段对话
1:40.960–1:42.500
一个agent当前的状态
1:42.500–1:44.420
或者一堆数据交给他
1:44.420–1:45.260
然后问他
1:45.260–1:46.720
这个请求安全吗
1:46.720–1:48.960
下一步应该调用哪个工具呢
1:48.960–1:50.820
这几个方案选哪一个呢
1:50.820–1:51.900
这之后
1:51.900–1:53.900
Jav不会先写一段分析
1:53.900–1:56.180
也不需要慢慢吐出一串Jason
1:56.180–1:57.980
他会直接给你决定
1:57.980–2:00.540
以及他对这个决定有多大把握
2:00.540–2:02.380
欢迎回到All Insight
2:02.380–2:04.180
在继续今天的视频之前
2:04.180–2:06.840
我想先感谢一直支持这个频道的朋友
2:06.840–2:09.640
我知道还有不少观看我视频的朋友
2:09.640–2:10.860
还没有订阅我的频道
2:10.860–2:13.740
那如果你觉得我的内容对你有所帮助
2:13.740–2:15.800
欢迎点赞分享和订阅
2:15.800–2:17.500
也可以加入频道会员
2:17.500–2:19.440
每个月一杯咖啡的钱
2:19.440–2:20.980
不仅是对我的支持
2:20.980–2:23.140
也会帮助我继续制作
2:23.140–2:26.620
更多关于AI和未来技术方向的深度内容
2:26.620–2:29.340
好的 接下来我们进入今天的主题
2:29.340–2:33.260
这件事听起来好像只是少生成了一些文字
2:33.260–2:35.320
但放到今天的agent里面
2:35.320–2:38.100
你会发现问题其实没有那么简单
2:38.100–2:40.720
现在一个agent的每走一步
2:40.720–2:42.600
可能都要做很多判断
2:42.600–2:45.180
比如下一步该调用哪个工具
2:45.180–2:47.260
这个结果能不能相信
2:47.260–2:48.580
要不要继续
2:48.580–2:50.680
需不需要升级到更强的模型
2:50.680–2:53.600
很多时候我们真正需要的
2:53.600–2:55.920
其实只是一个是或者不是
2:55.920–2:57.400
ABC选哪个
2:57.400–2:59.500
但今天最常见的做法
2:59.500–3:02.460
是把整个上下文交给一个大语言模型
3:02.460–3:05.700
让它先生成文字或者结构化输出
3:05.700–3:08.500
然后程序再从这些输出里
3:08.500–3:10.160
拿出最后那个决定
3:10.160–3:13.980
所以阿尔梅达这次实际上是在问
3:13.980–3:16.980
如果软件真正需要的只是一个决定
3:16.980–3:19.980
那为什么一定要让AI先说一段话呢
3:19.980–3:21.500
Jav发布以后
3:21.500–3:25.140
X上很快出现了两种不同的声音
3:25.140–3:26.760
第一种反应非常直接
3:26.760–3:29.000
就是等等这不就是分类器吗
3:29.000–3:31.660
独立AI研究者Alexis Gallagher就说
3:31.660–3:33.260
他觉得Jav很酷
3:33.260–3:36.140
但更有意思的是大家对Jav的反应
3:36.140–3:39.320
因为这似乎说明很多人已经忘了
3:39.320–3:42.420
锦编码器分类器已经存在很多年了
3:42.420–3:43.900
而且一直很好用
3:43.900–3:46.020
像Modern Bird这样的模型
3:46.020–3:49.840
本来就可以快速和廉价的完成结构化判断
3:49.840–3:51.540
Jav也许更好
3:51.540–3:54.560
而且不需要针对每一个任务重新训练
3:54.560–3:56.960
但这个类别本身并不新
3:56.960–4:01.400
另一边XBOM的AI研究员Lan Butler马上反驳说
4:01.400–4:04.000
问题恰恰就在不需要重新训练
4:04.000–4:06.820
如果今天突然给你一个非常奇怪
4:06.820–4:09.220
而且类别又特别多的决策任务
4:09.220–4:11.060
你手里甚至还没有数据集
4:11.060–4:13.380
那传统分类器怎么办
4:13.380–4:16.900
而Jav的卖点就是直接用自然语言告诉他
4:16.900–4:18.200
现在要判断什么
4:18.200–4:19.840
更有意思的是
4:19.840–4:21.500
已经有人不吵了
4:21.500–4:24.460
他们直接把Jab塞进agent里面开始跑
4:24.460–4:26.600
有人拿它做模型路由
4:26.600–4:29.480
让Jab决定什么时候该用便宜模型
4:29.480–4:31.620
什么时候升级到更强的模型
4:31.620–4:34.860
还有人拿它做Computer Use的下一步决策
4:34.860–4:36.780
还有一个叫Observed开发者
4:36.780–4:40.060
测试了一整晚跑了500多次API
4:40.060–4:42.240
总共才花了大约3美分
4:42.240–4:44.640
一次同时多问20个问题
4:44.640–4:47.340
延迟也只增加了47毫秒
4:47.340–4:51.780
他还抓住了一次针对他自己agent的假审批注入
4:51.780–4:54.860
然后他发现Jeff有一次打错了
4:54.860–4:58.220
而Jeff给那个错误答案给出的信心是1.00
4:58.220–4:59.920
这就有意思了
4:59.920–5:03.160
一边是这不就是我们用了很多年的分类器吗
5:03.160–5:08.180
而另一边却已经有人开始把他塞进agent的决策循环
5:08.180–5:10.700
官方说他的概率经过较准
5:10.700–5:13.380
但在真实测试里却已经出现了
5:13.380–5:16.060
答错了但信心百分之百的情况
5:16.060–5:20.020
所以这期视频我真正想弄清楚的
5:20.020–5:22.360
不是Jav到底有没有快200倍
5:22.360–5:25.740
而是说一个参与创造ChattGPT的人
5:25.740–5:27.940
在模型越来越会说话之后
5:27.940–5:29.760
为什么会花两年的时间
5:29.760–5:31.960
重新做一个不会说话的AI呢
5:31.960–5:35.220
以及他是不是碰到了今天A成的系统里
5:35.220–5:36.680
一个更有意思的问题
5:36.680–5:40.480
就是我们真的需要让大模型来做每一个决定吗
5:40.480–5:43.400
那么一个不生成自由文本的AI
5:43.400–5:45.240
到底是怎么工作的呢
5:45.240–5:48.300
TypeSafe对Jav的描述其实很简洁
5:48.300–5:49.980
翻译过来的意思就是
5:49.980–5:51.580
输入可以很复杂
5:51.580–5:54.580
但输出不再是一串自由生成的文字
5:54.580–5:58.040
而是提前定义好类型的概率决策
5:58.040–6:01.520
比如一个客服agent的正在处理退款请求
6:01.520–6:03.960
你可以把完整的对话记录
6:03.960–6:05.220
用户账户状态
6:05.220–6:07.960
以及最近的付款记录一起交给Jav
6:07.960–6:09.140
然后同时问他
6:09.140–6:11.680
用户现在是不是在要求退款呢
6:11.680–6:13.320
有没有欺诈风险呢
6:13.320–6:14.760
需不需要转人工呢
6:14.760–6:16.460
如果要继续处理
6:16.460–6:18.620
下一步应该执行哪个动作呢
6:18.620–6:22.660
当然普通大模型也能回答这些问题
6:22.660–6:24.760
但它通常还是要生成
6:24.760–6:27.140
哪怕最后输出的是JESN
6:27.140–6:29.780
本质上也是一个Token接一个Token的
6:29.780–6:31.320
把字符串写出来
6:31.320–6:33.460
但JESN走的是另一条路
6:33.460–6:36.260
他把这些问题直接变成了几个
6:36.260–6:37.820
类型确定的决策
6:37.820–6:40.360
而且可以一次并行回答
6:40.360–6:43.020
TypeSafe目前把这种输出
6:43.020–6:45.020
分成三种基本形式
6:45.020–6:46.340
第一种叫Nual
6:46.340–6:48.420
它处理是不是这一类的判断
6:48.420–6:51.300
比如这个请求有没有越狱风险
6:51.300–6:53.100
那么它返回的就不是一句
6:53.100–6:53.980
我认为没有
6:53.980–6:56.500
而是说这个判断对应的概率
6:56.500–6:58.000
第二种叫Choice
6:58.000–7:01.640
也就是从提前给定的选项里做选择
7:01.640–7:04.060
比如一个Agent手里有八个工具
7:04.060–7:05.800
现在应该调用哪一个呢
7:05.800–7:08.400
Jive直接在这八个选项里做判断
7:08.400–7:10.080
并给出相应的概率
7:10.080–7:11.600
第三种叫Score
7:11.600–7:13.580
用来处理打分和排序
7:13.580–7:15.960
比如一个任务的优先级有多高
7:15.960–7:18.260
或者一个结果有多值得信任
7:18.646–7:19.526
所以
7:19.526–7:22.126
它和普通聊天模型在接口上的
7:22.126–7:23.626
区别其实非常直观
7:23.626–7:25.566
聊天模型的输出空间
7:25.566–7:27.086
几乎是无限的
7:27.086–7:29.006
你可以让它写一句话
7:29.006–7:30.746
一篇文章一段代码
7:30.746–7:33.506
也可以让它生成结构化数据
7:33.506–7:35.566
JF在开始计算之前
7:35.566–7:38.766
输出空间就已经被软件定义好了
7:38.766–7:40.146
它可以判断
7:40.146–7:43.066
但它不能临场发明一个新的答案
7:43.066–7:45.126
这里还有一个很容易被忽略的区别
7:45.126–7:49.126
就是这些判断不一定要一个接一个的做
7:49.126–7:51.526
Type-Safe官方展示的Workflow
7:51.526–7:54.406
本身就会把一个复杂的软件状态
7:54.406–7:56.066
拆成很多独立的问题
7:56.066–7:57.926
然后一次并行询问
7:57.926–8:00.306
比如他们公开的客服工作流
8:00.306–8:03.286
第一步就会同时读取用户意图
8:03.286–8:04.986
情绪 紧急程度
8:04.986–8:07.406
以及欺诈风险等多个信号
8:07.406–8:09.126
再用后面的代码决定
8:09.126–8:11.806
退款 冻结银行卡 转人工
8:11.806–8:13.126
还是继续处理
8:13.126–8:15.226
这时候我们再回头
8:15.226–8:17.546
看TypeSafe给这种模型起的名字
8:17.546–8:19.366
就比较容易理解了
8:19.366–8:21.286
他们叫它System-1 Module
8:21.286–8:23.786
这个名字来自丹尼尔·卡尼曼
8:23.786–8:26.246
对System-1和System-2的区别
8:26.246–8:28.346
他认为System-1负责
8:28.346–8:30.526
快速和直觉式的判断
8:30.526–8:33.946
System 2才负责缓慢和复杂的推理
8:33.946–8:38.806
那Type-C想做的不是让Jeff取代所有大语言模型
8:38.806–8:44.206
而是把软件系统里大量这种快速判断单独抽出来
8:44.206–8:47.386
阿尔梅达后来把这个速度说得更直接
8:47.386–8:50.726
他说他们把今天几条不同的训练路线
8:50.726–8:52.906
看成是在解决不同的问题
8:52.906–8:58.026
像RLVR就更适合可以验证答案的Resonings和Proves
8:58.026–9:02.926
而他们希望RLCD去解决的是自动控制
9:02.926–9:07.786
也就是让模型的决定真正能够被软件直接使用
9:07.786–9:11.626
这也是为什么Type-Safe一直把Jeff的典型用途写成
9:11.626–9:15.326
分类 路由 打分 提取和分支判断
9:15.326–9:19.326
他们甚至用了一个狠形象的说法是聪明的一语句
9:19.326–9:23.506
听到这里Jeff好像已经也没有那么神秘了
9:23.506–9:26.666
他不是一个被砍掉聊天界面的GPT
9:26.666–9:29.326
也不是为了写出更好的答案
9:29.326–9:31.906
而是他想把做决定本身
9:31.906–9:34.146
从语言生成里单独拆出来
9:34.146–9:37.726
变成软件可以直接钓鱼的一种智能原语
9:37.726–9:41.406
但是这也就回到了开场那个质疑
9:41.406–9:43.346
就是这不就是分类器吗
9:43.346–9:45.906
以太坊基军会AI的负责人
9:45.906–9:48.346
David Krapis的说法就更直接了
9:48.346–9:52.006
他认为把Jav和通用ML放在一起比较
9:52.006–9:53.306
很容易产生误导
9:53.306–9:56.306
因为Jav根本不生成自由文本
9:56.306–9:57.666
从功能上看
9:57.666–10:00.046
它更接近一个非常聪明的工具
10:00.046–10:01.306
或者一个分类器
10:01.306–10:05.526
而不是GPT Cloud这种通用模型的直接竞争者
10:05.526–10:07.346
有人继续往下拆
10:07.346–10:10.466
Robert试文透客把Jab的几个卖点
10:10.466–10:11.926
一条一条列了出来
10:11.926–10:14.086
像是类型受限的输出
10:14.086–10:16.546
我们已经可以用受限解码做
10:16.546–10:19.026
概率可以从LogProps里面拿
10:19.026–10:22.466
概率校准也早就有Temperature Scaling
10:22.466–10:23.686
什么时候放行
10:23.686–10:24.626
什么时候升级
10:24.626–10:27.806
本来就可以在应用代表里面写Thrust Hold
10:27.806–10:31.066
所以他最后的评价其实很有意思
10:31.066–10:33.566
他认为这些统计学上的零件
10:33.566–10:36.166
没有哪一个是突然从天上掉下来的
10:36.166–10:41.306
真正可能不同的是Type Safe把校准放进了训练目标
10:41.306–10:44.966
然后让API从一开始返回的就是Decision
10:44.966–10:48.206
而不是一段等待程序再次解析的文字
10:48.206–10:49.146
换句话说
10:49.146–10:52.306
这不是发明了一堆从来没有存在过的零件
10:52.306–10:54.146
而是少兵了几层东西
10:54.146–10:56.746
这时候Jav就不是分类器吗
10:56.746–10:59.146
这个问题就开始变得没那么简单了
10:59.146–11:02.006
因为Type-Safe真正想挑战的
11:02.006–11:04.866
并不是传统分类器做不到的分类
11:04.866–11:06.426
而是它的使用方式
11:06.426–11:09.786
假设你今天做一个金融agent
11:09.786–11:11.366
你只需要判断的是
11:11.366–11:13.626
这笔交易有没有欺诈风险
11:13.626–11:17.166
那你当然可以收集数据标注样本
11:17.166–11:18.726
训练一个专门的分类器
11:18.726–11:20.486
如果业务一直不变
11:20.486–11:23.246
这就可能比调用Jav更便宜更快
11:23.246–11:24.366
甚至更可靠
11:24.366–11:28.206
但现实里的agent很少永远只问同一个问题
11:28.206–11:30.346
今天你要判断的是欺诈
11:30.346–11:33.086
明天可能增加是否需要人工复合
11:33.086–11:34.826
后天可能又增加
11:34.826–11:36.906
应该交给哪个风险团队
11:36.906–11:38.026
换一个产品
11:38.026–11:41.746
问题标签和业务规则可能全部都变了
11:41.746–11:45.486
如果每增加一种判断都要重新积累数据
11:45.486–11:47.066
训练和部署一个模型
11:47.066–11:51.066
那传统分类器的成本就开始从推理阶段
11:51.066–11:53.526
转移到了开发和维护阶段
11:53.526–11:56.126
而Jeff想做的是把大语言模型
11:56.126–11:58.386
最有价值的一部分能力保留下来
11:58.386–12:01.306
就是你可以直接用自然语言告诉模型
12:01.306–12:02.846
现在要判断什么
12:02.846–12:06.526
我们目前还没有看到
12:06.526–12:09.686
Jeff和一个认真微调过的Mardenberg
12:09.686–12:11.846
专门的小型分类器
12:11.846–12:15.106
或者一个使用受限解码的小语言模型
12:15.106–12:19.026
在同样任务同样数据同样准确率要求下
12:19.026–12:21.586
做一次真正公平的正面对比
12:21.586–12:24.026
TypeSafe真正需要证明的是
12:24.026–12:25.746
当任务不断变化
12:25.746–12:28.766
而你又不想每次重新训练一个模型的时候
12:28.766–12:32.466
Jab能不能同时保住分类器的速度和成本
12:32.466–12:34.866
又同时保住大模型那种
12:34.866–12:38.186
拿自然语言就能直接定义新任务的灵活性
12:38.186–12:40.106
而这还只是第一层
12:40.106–12:42.826
因为TypeSafe对Jab最大胆的主张
12:42.826–12:45.006
其实不是快也不是便宜
12:45.006–12:47.166
甚至不是自然语言可编程
12:47.166–12:48.586
而是他认为
12:48.586–12:50.746
Jav不只会给你一个决定
12:50.746–12:54.466
他还知道自己这个决定到底有多可靠
12:54.466–12:56.646
这就进入了整个Jav的故事里
12:56.646–13:00.306
最关键也是目前最神秘的一块RLCD
13:00.306–13:04.146
前面讲到Jav会给每一个决策附上概率
13:04.146–13:05.926
但这里真正重要的
13:05.926–13:09.546
不是他能不能输出一个0.73或者0.91
13:09.546–13:13.126
而是说这些数字到底有没有统计意义
13:13.126–13:15.606
这就是RLLCD想解决的问题
13:15.606–13:19.326
它的全称是校准决策强化学习
13:19.326–13:20.286
所谓校准
13:20.286–13:22.806
我们可以先用一个很简单的例子来理解
13:22.806–13:26.446
就是如果一个模型做了很多次判断
13:26.446–13:30.806
我们把它所有认为有70%把握的判断放在一起
13:30.806–13:33.046
那么一个校准的好的模型
13:33.046–13:36.966
长期来看应该有大约70%是正确的
13:36.966–13:39.786
他说90%就应该接近90%
13:39.786–13:44.506
说50%就真的意味着这件事差不多只有一半的把握
13:44.506–13:47.246
这和准确率其实是两回事
13:47.246–13:50.846
一个模型完全可能总体准确率很高
13:50.846–13:53.406
但他根本不知道自己什么时候会错
13:53.406–13:57.306
而另一个模型也许平均准确率没有高出多少
13:57.306–13:59.306
但他在容易出错的时候
13:59.306–14:01.486
真的会把自己的概率降下来
14:01.486–14:03.406
对于聊天机器人来说
14:03.406–14:05.666
这个区别可能没有那么明显
14:05.666–14:07.206
但对于agent来说
14:07.206–14:08.966
这就直接决定了一件事
14:08.966–14:12.526
就是这个概率能不能拿来控制系统
14:12.526–14:14.286
比如一个agent正在决定
14:14.286–14:16.266
要不要自动批准退款
14:16.266–14:18.106
债务判断可以批准
14:18.106–14:20.086
概率99.8%
14:20.086–14:22.406
如果经过大量测试之后
14:22.406–14:25.666
你真的知道这种99.8%值得性
14:25.666–14:28.346
那么Harness就可以设置一个预值
14:28.346–14:30.506
超过这个概率自动执行
14:30.506–14:32.786
但如果只有70%
14:32.786–14:35.166
就升级给更强更贵的模型
14:35.166–14:36.446
如果再低一点
14:36.446–14:38.506
就交给人工或者Verify
14:38.506–14:40.686
这个时候CoundDefense
14:40.686–14:43.046
就不再是给人看的一个装饰数字
14:43.046–14:46.646
它变成了A站的内部的一种控制信号
14:46.646–14:48.566
就是什么时候继续
14:48.566–14:49.606
什么时候升级
14:49.606–14:50.766
什么时候验证
14:50.766–14:52.086
什么时候停下来
14:52.086–14:55.106
前面那个满分信心却答错的例子
14:55.106–14:56.706
追问的也正是这件事
14:56.706–14:59.706
就是这些概率究竟有多可信呢
14:59.706–15:03.406
而RLCD真正生成改变的是另一件事
15:03.406–15:05.666
就是从训练阶段开始
15:05.666–15:08.966
就让模型学习一个决定应该有多确定
15:08.966–15:12.466
让概率本身也成为训练目标的一部分
15:12.892–15:18.072
但是我目前还没有看到TypeSafe公开完整的论文
15:18.072–15:20.912
具体的训练流程和损失函数
15:20.912–15:24.352
也没有足够完整的第三方校准基准
15:24.352–15:28.532
所以RLCD是否真的比现有校准方法更好
15:28.532–15:30.532
这一部分还要等更多的证据
15:30.532–15:33.752
这里也刚好可以解释TypeSafe另一个
15:33.752–15:35.472
很容易让人误解的说法
15:35.472–15:38.212
就是Jav不能产生幻觉
15:38.212–15:42.852
如果你只允许Jav在批准和拒绝之间选择
15:42.852–15:45.672
他确实不可能突然回答也许
15:45.672–15:48.332
也不会捏造第三个不存在的函数
15:48.332–15:51.012
更不会生成一段格式错误程序
15:51.012–15:52.572
根本解析不了的Jason
15:52.572–15:55.472
它的输出空间在计算之前
15:55.472–15:58.072
就已经被系统类型限制好了
15:58.072–16:01.132
但是它完全可能选择批准
16:01.132–16:03.252
而正确答案其实是拒绝
16:03.252–16:05.012
所以更准确的说
16:05.012–16:07.572
Jav解决的是一种非常具体的幻觉
16:07.572–16:09.892
它不会生成类型之外的答案
16:09.892–16:13.252
但仍然可能在合法答案里面选错
16:13.252–16:14.872
不过呢
16:14.872–16:18.412
真正决定Jav能不能进入高风险自动化流程的
16:18.412–16:19.672
还是后一个问题
16:19.672–16:21.292
就是它选错的时候
16:21.292–16:22.812
自己到底知不知道
16:22.812–16:24.652
这也是为什么我觉得
16:24.652–16:28.792
RLCD反而比Jav那个200倍更快的数字
16:28.792–16:29.632
更值得关注
16:29.632–16:32.572
如果一个模型只是快而且便宜
16:32.572–16:35.232
我们其实已经有很多办法可以做到了
16:35.232–16:39.272
但如果它能在保持这种速度和成本的同时
16:39.272–16:43.612
给软件提供一个真正可信的不确定性信号
16:43.612–16:46.552
那它在A层里面的位置就完全不一样了
16:46.552–16:49.332
当然接下来还有一个跟现实的问题
16:49.332–16:53.932
就是这些概率决策究竟能省下多少时间和成本呢
16:53.932–16:56.272
现在我们终于可以回到
16:56.272–16:58.992
JF发布时最新眼球的那组数字
16:58.992–17:01.152
20到200倍更快
17:01.152–17:03.492
40到400倍更便宜
17:03.492–17:06.532
TypeSafe自己公布的Workflow Benchmark里面
17:06.532–17:10.312
最高端的数字达到了193.6倍更快
17:10.312–17:13.032
444.6倍更便宜
17:13.032–17:15.452
这个数字第一眼看起来很离谱
17:15.452–17:17.832
但离着JF前面的设计之后
17:17.832–17:19.972
你会发现它其实并不神秘
17:19.972–17:23.372
因为Jav和普通LM做计算的方式
17:23.372–17:25.072
从一开始就不一样
17:25.072–17:28.332
假设一个agent现在需要做20个判断
17:28.332–17:30.652
比如用户是不是在退款
17:30.652–17:32.112
有没有欺诈风险
17:32.112–17:33.532
需不需要人工介入
17:33.532–17:35.032
需要调用哪个工具
17:35.032–17:37.252
结果要不要再验证一次
17:37.252–17:40.372
阿尔梅达回应过一个很直接的问题
17:40.372–17:43.072
就是为什么不干脆用受限解码呢
17:43.072–17:44.312
他的回答是
17:44.312–17:47.072
这层约束仍然叠在LM上
17:47.072–17:49.332
字符串生成的开销还在
17:49.332–17:51.592
他还提出了一更尖锐的判断
17:51.592–17:54.172
就是模型本来就拿不准的时候
17:54.172–17:56.552
再去限制他能选哪些输出
17:56.552–17:58.152
反而会让模型变笨
17:58.152–18:01.332
债务直接省掉了字符串生成这一步
18:01.332–18:04.532
他不需要把决定翻译成一段语言
18:04.532–18:07.532
再让软件把语言重新翻译成决定
18:07.532–18:10.552
他的输出空间已经提前确定
18:10.552–18:14.372
而且多个问题可以在同一次询问里并行计算
18:14.372–18:16.872
TypeSafe公布的端到端延迟
18:16.872–18:19.052
大约是70到500毫秒
18:19.052–18:21.952
输入价格是每百万Token4.2美分
18:21.952–18:24.032
输出则没有单独计费
18:24.032–18:26.672
所以从物理账上看
18:26.672–18:29.812
Jav比大元模型快很多便宜很多
18:29.812–18:31.372
是完全说得通的
18:31.372–18:33.952
但我们真正需要问的是另一件事
18:33.952–18:37.292
就是他们比较的是不是同一种工作呢
18:37.292–18:39.672
TypeSafe的Workflow Benchmark
18:39.672–18:42.032
不是让Jav和GPT Cloud
18:42.032–18:43.672
各自写一篇文章
18:43.672–18:46.592
也不是让他们解决一道开放式的数学题
18:46.592–18:51.372
而是专门选择软件自动化里面的System-1任务
18:51.372–18:54.472
对照的是同样接入这套工作流的
18:54.472–18:57.612
按要求返回结果化结果的通用LM
18:57.612–18:59.252
比如处理一张发票
18:59.252–19:01.832
系统真正需要的是这几个决定
19:01.832–19:06.112
付款、赞款、要求补文件、送人工审批
19:06.112–19:07.212
还是怀疑欺诈
19:07.212–19:10.672
又比如一个客服agent完成了一轮任务
19:10.672–19:15.172
系统要判断的是自动关闭、人工复合、优化复合
19:15.172–19:17.612
还是直接通知值班人员
19:17.612–19:22.272
这些任务天然就非常适合被拆成很多窄判断
19:22.272–19:23.992
然后再用代码组合
19:23.992–19:26.312
而这正好是Jav的主场
19:26.312–19:30.132
TypeSave甚至在自己的发布文章里主动承认
19:30.132–19:32.412
他们展示的side-by-side demo
19:32.412–19:35.112
使用了比较短和比较密集的输入
19:35.112–19:37.192
这会让Jav看起来更有优势
19:37.192–19:40.592
193.6倍和444.6倍
19:40.592–19:43.172
来自他们设计的工作流程评估
19:43.172–19:46.472
他们认为这应该处在现实收益的高端
19:46.472–19:51.192
而且这些workflow是公司自己模型能力团队的人做的
19:51.192–19:53.012
所以他们也明确写了一句
19:53.012–19:54.632
可能存在偏见
19:54.632–19:56.432
这一点反而很重要
19:56.432–20:00.552
因为他告诉我们200倍不是一个模型智力倍率
20:00.552–20:01.992
他真正表达的是
20:01.992–20:04.692
帮任务本来就是大量窄决策
20:04.692–20:08.932
而你还让一个通用生成模型不断生成字符串的时候
20:08.932–20:12.592
你可能正在为很多根本不需要的能力付钱
20:12.592–20:14.952
TypeSafe的工作流程评估
20:14.952–20:18.012
其实还暴露了另外一个很有意思的结果
20:18.012–20:21.552
就是同一个模型把任务拆成workflow
20:21.552–20:23.912
让代码负责确定性的规则
20:23.912–20:27.612
让模型只负责那些真正需要判断的部分的话
20:27.612–20:29.172
那么在这些测试里
20:29.172–20:32.552
就比把整套规则塞进一个巨大pront里
20:32.552–20:36.352
一次性解决更准确更快和更便宜
20:36.352–20:39.592
所以这笔账不只是和模型本身有关
20:39.592–20:41.412
也和任务怎么拆
20:41.412–20:43.312
软件怎么调用它有关
20:43.312–20:46.492
那如果把这个思路放进一个完整的agent
20:46.492–20:48.472
分工又会变成什么样呢
20:48.472–20:49.712
讲到这里
20:49.712–20:51.672
我觉得Jab最有意思的地方
20:51.672–20:53.532
已经不是Jab本身了
20:53.532–20:56.152
而是一个真正长期运行的agent
20:56.152–20:59.732
到底应该把多少事情交给同一个大模型呢
20:59.732–21:02.852
一个agent可能连续工作几十分钟
21:02.852–21:04.112
甚至几个小时
21:04.112–21:06.892
中间经历几十几百个决策点
21:06.892–21:09.072
真正需要复杂推理的
21:09.072–21:10.472
也许只有其中几步
21:10.472–21:11.972
剩下大量的工作
21:11.972–21:14.552
其实只是判断走哪条路
21:14.552–21:15.612
调用哪个工具
21:15.612–21:17.252
这个结果能不能接受
21:17.252–21:18.952
需不需要再检查一次
21:18.952–21:21.552
而Jav指向的是另一种架构
21:21.552–21:23.372
真正开放复杂
21:23.372–21:25.492
需要理解模糊目标
21:25.492–21:28.332
长程规划和深度推理的问题
21:28.332–21:29.972
仍然交给前沿模型
21:29.972–21:32.172
如果是确定性的规则
21:32.172–21:33.712
比如金额超过多少
21:33.712–21:35.192
必须人工审批的
21:35.192–21:36.552
就直接交给代码
21:36.552–21:40.472
如果是大量高频窄而不断变化的判断
21:40.472–21:43.132
就可以交给像Jav这种决策模型
21:43.132–21:46.392
结果是不是满足某个明确标准
21:46.392–21:48.032
可以再交给Verify
21:48.032–21:50.992
需要长期保存的信息进入Memory
21:50.992–21:53.632
需要真正改变外部世界的动作
21:53.632–21:54.672
就交给Tools
21:54.672–21:57.132
最后真正重要的
21:57.132–21:59.092
可能不再是其中某一个模型
21:59.092–22:00.412
而是外面的Harness
22:00.412–22:03.992
因为Harness决定谁在什么时候被调用
22:03.992–22:05.992
什么结果可以直接通过
22:05.992–22:07.792
什么结果必须升级
22:07.792–22:10.112
什么任务值得花几十倍的成本
22:10.112–22:11.792
去唤醒最强的模型
22:11.792–22:15.172
当软件真正需要的只是一个决定
22:15.172–22:18.352
我们为什么一定要让AI先开口说话呢
22:18.352–22:19.672
这里是All Insight
22:19.672–22:20.332
感谢收看
22:20.332–22:21.000
我们下期再见
0:00.000–0:04.200
9月15日迪奥哥阿尔梅达在X上发了一条帖子
9月15日迪奥哥阿尔梅达在X上发了一条帖子
0:04.200–0:05.900
第一句话就很抓人
第一句话就很抓人
0:05.900–0:08.760
他说参与创造XGP之后
他说参与创造XGP之后
0:08.760–0:10.280
我一直在问自己
我一直在问自己
0:10.280–0:13.900
为什么这些已经超过人类水平的聊天模型
为什么这些已经超过人类水平的聊天模型
0:13.900–0:15.480
没有带来AGI呢
没有带来AGI呢
0:15.480–0:19.860
这个问题从他嘴里说出来确实有点特别
这个问题从他嘴里说出来确实有点特别
0:19.860–0:22.960
阿尔梅达是Intract GPT的作者之一
阿尔梅达是Intract GPT的作者之一
0:22.960–0:27.600
也参与过GPT4的RLHF和指令遵循的相关工作
也参与过GPT4的RLHF和指令遵循的相关工作
0:27.600–0:28.960
简单来说
简单来说
0:28.960–0:31.900
今天我们已经习以为常的这件事
今天我们已经习以为常的这件事
0:31.900–0:34.020
就是你对AI说一句话
就是你对AI说一句话
0:34.020–0:35.860
它能够理解你想干什么
它能够理解你想干什么
0:35.860–0:38.120
然后按照你的要求回答
然后按照你的要求回答
0:38.120–0:40.180
它就是这个早期参与
它就是这个早期参与
0:40.180–0:42.720
把这条路线做出来的人之一
把这条路线做出来的人之一
0:42.720–0:45.100
不过参与创造ChatGPT
不过参与创造ChatGPT
0:45.100–0:46.300
是它自己的表述
是它自己的表述
0:46.300–0:48.220
并不是OpenAI给它的
并不是OpenAI给它的
0:48.220–0:50.500
ChatGPT联合发明人头衔
ChatGPT联合发明人头衔
0:50.500–0:53.740
但是ChatGPT出现以后
但是ChatGPT出现以后
0:53.740–0:55.780
它反而开始怀疑一件事了
它反而开始怀疑一件事了
0:55.780–0:58.680
就是模型已经越来越会说话了
就是模型已经越来越会说话了
0:58.680–1:01.880
那为什么我们期待中的大规模自动化
那为什么我们期待中的大规模自动化
1:01.880–1:04.040
却没有以同样的速度发生呢
却没有以同样的速度发生呢
1:04.040–1:05.800
于是过去两年
于是过去两年
1:05.800–1:08.520
阿尔梅达一直在隐身做另一件东西
阿尔梅达一直在隐身做另一件东西
1:08.520–1:09.620
直到这几天
直到这几天
1:09.620–1:11.900
他和自己的公司TypeSafe AI
他和自己的公司TypeSafe AI
1:11.900–1:13.340
才把它公开出来
才把它公开出来
1:13.340–1:15.100
这个模型叫Jeff
这个模型叫Jeff
1:15.100–1:16.380
你知道吗
你知道吗
1:16.380–1:19.060
TypeSafe给出的数字非常夸张
TypeSafe给出的数字非常夸张
1:19.060–1:21.700
说它20到200倍更快
说它20到200倍更快
1:21.700–1:23.960
40到400倍更便宜
40到400倍更便宜
1:23.960–1:25.580
不过我看到这里的时候
不过我看到这里的时候
1:25.580–1:27.420
真正让我觉得有意思的
真正让我觉得有意思的
1:27.420–1:28.700
还不是这些数字
还不是这些数字
1:28.700–1:31.860
而是Jav做了一件非常反常识的事情
而是Jav做了一件非常反常识的事情
1:31.860–1:33.700
就是他不会说话
就是他不会说话
1:33.700–1:34.740
真的不会
真的不会
1:34.740–1:37.060
Jav他不跟你聊天
Jav他不跟你聊天
1:37.060–1:37.920
不写文章
不写文章
1:37.920–1:39.600
也不生成自由文本
也不生成自由文本
1:39.600–1:40.960
你把一段对话
你把一段对话
1:40.960–1:42.500
一个agent当前的状态
一个agent当前的状态
1:42.500–1:44.420
或者一堆数据交给他
或者一堆数据交给他
1:44.420–1:45.260
然后问他
然后问他
1:45.260–1:46.720
这个请求安全吗
这个请求安全吗
1:46.720–1:48.960
下一步应该调用哪个工具呢
下一步应该调用哪个工具呢
1:48.960–1:50.820
这几个方案选哪一个呢
这几个方案选哪一个呢
1:50.820–1:51.900
这之后
这之后
1:51.900–1:53.900
Jav不会先写一段分析
Jav不会先写一段分析
1:53.900–1:56.180
也不需要慢慢吐出一串Jason
也不需要慢慢吐出一串Jason
1:56.180–1:57.980
他会直接给你决定
他会直接给你决定
1:57.980–2:00.540
以及他对这个决定有多大把握
以及他对这个决定有多大把握
2:00.540–2:02.380
欢迎回到All Insight
欢迎回到All Insight
2:02.380–2:04.180
在继续今天的视频之前
在继续今天的视频之前
2:04.180–2:06.840
我想先感谢一直支持这个频道的朋友
我想先感谢一直支持这个频道的朋友
2:06.840–2:09.640
我知道还有不少观看我视频的朋友
我知道还有不少观看我视频的朋友
2:09.640–2:10.860
还没有订阅我的频道
还没有订阅我的频道
2:10.860–2:13.740
那如果你觉得我的内容对你有所帮助
那如果你觉得我的内容对你有所帮助
2:13.740–2:15.800
欢迎点赞分享和订阅
欢迎点赞分享和订阅
2:15.800–2:17.500
也可以加入频道会员
也可以加入频道会员
2:17.500–2:19.440
每个月一杯咖啡的钱
每个月一杯咖啡的钱
2:19.440–2:20.980
不仅是对我的支持
不仅是对我的支持
2:20.980–2:23.140
也会帮助我继续制作
也会帮助我继续制作
2:23.140–2:26.620
更多关于AI和未来技术方向的深度内容
更多关于AI和未来技术方向的深度内容
2:26.620–2:29.340
好的 接下来我们进入今天的主题
好的 接下来我们进入今天的主题
2:29.340–2:33.260
这件事听起来好像只是少生成了一些文字
这件事听起来好像只是少生成了一些文字
2:33.260–2:35.320
但放到今天的agent里面
但放到今天的agent里面
2:35.320–2:38.100
你会发现问题其实没有那么简单
你会发现问题其实没有那么简单
2:38.100–2:40.720
现在一个agent的每走一步
现在一个agent的每走一步
2:40.720–2:42.600
可能都要做很多判断
可能都要做很多判断
2:42.600–2:45.180
比如下一步该调用哪个工具
比如下一步该调用哪个工具
2:45.180–2:47.260
这个结果能不能相信
这个结果能不能相信
2:47.260–2:48.580
要不要继续
要不要继续
2:48.580–2:50.680
需不需要升级到更强的模型
需不需要升级到更强的模型
2:50.680–2:53.600
很多时候我们真正需要的
很多时候我们真正需要的
2:53.600–2:55.920
其实只是一个是或者不是
其实只是一个是或者不是
2:55.920–2:57.400
ABC选哪个
ABC选哪个
2:57.400–2:59.500
但今天最常见的做法
但今天最常见的做法
2:59.500–3:02.460
是把整个上下文交给一个大语言模型
是把整个上下文交给一个大语言模型
3:02.460–3:05.700
让它先生成文字或者结构化输出
让它先生成文字或者结构化输出
3:05.700–3:08.500
然后程序再从这些输出里
然后程序再从这些输出里
3:08.500–3:10.160
拿出最后那个决定
拿出最后那个决定
3:10.160–3:13.980
所以阿尔梅达这次实际上是在问
所以阿尔梅达这次实际上是在问
3:13.980–3:16.980
如果软件真正需要的只是一个决定
如果软件真正需要的只是一个决定
3:16.980–3:19.980
那为什么一定要让AI先说一段话呢
那为什么一定要让AI先说一段话呢
3:19.980–3:21.500
Jav发布以后
Jav发布以后
3:21.500–3:25.140
X上很快出现了两种不同的声音
X上很快出现了两种不同的声音
3:25.140–3:26.760
第一种反应非常直接
第一种反应非常直接
3:26.760–3:29.000
就是等等这不就是分类器吗
就是等等这不就是分类器吗
3:29.000–3:31.660
独立AI研究者Alexis Gallagher就说
独立AI研究者Alexis Gallagher就说
3:31.660–3:33.260
他觉得Jav很酷
他觉得Jav很酷
3:33.260–3:36.140
但更有意思的是大家对Jav的反应
但更有意思的是大家对Jav的反应
3:36.140–3:39.320
因为这似乎说明很多人已经忘了
因为这似乎说明很多人已经忘了
3:39.320–3:42.420
锦编码器分类器已经存在很多年了
锦编码器分类器已经存在很多年了
3:42.420–3:43.900
而且一直很好用
而且一直很好用
3:43.900–3:46.020
像Modern Bird这样的模型
像Modern Bird这样的模型
3:46.020–3:49.840
本来就可以快速和廉价的完成结构化判断
本来就可以快速和廉价的完成结构化判断
3:49.840–3:51.540
Jav也许更好
Jav也许更好
3:51.540–3:54.560
而且不需要针对每一个任务重新训练
而且不需要针对每一个任务重新训练
3:54.560–3:56.960
但这个类别本身并不新
但这个类别本身并不新
3:56.960–4:01.400
另一边XBOM的AI研究员Lan Butler马上反驳说
另一边XBOM的AI研究员Lan Butler马上反驳说
4:01.400–4:04.000
问题恰恰就在不需要重新训练
问题恰恰就在不需要重新训练
4:04.000–4:06.820
如果今天突然给你一个非常奇怪
如果今天突然给你一个非常奇怪
4:06.820–4:09.220
而且类别又特别多的决策任务
而且类别又特别多的决策任务
4:09.220–4:11.060
你手里甚至还没有数据集
你手里甚至还没有数据集
4:11.060–4:13.380
那传统分类器怎么办
那传统分类器怎么办
4:13.380–4:16.900
而Jav的卖点就是直接用自然语言告诉他
而Jav的卖点就是直接用自然语言告诉他
4:16.900–4:18.200
现在要判断什么
现在要判断什么
4:18.200–4:19.840
更有意思的是
更有意思的是
4:19.840–4:21.500
已经有人不吵了
已经有人不吵了
4:21.500–4:24.460
他们直接把Jab塞进agent里面开始跑
他们直接把Jab塞进agent里面开始跑
4:24.460–4:26.600
有人拿它做模型路由
有人拿它做模型路由
4:26.600–4:29.480
让Jab决定什么时候该用便宜模型
让Jab决定什么时候该用便宜模型
4:29.480–4:31.620
什么时候升级到更强的模型
什么时候升级到更强的模型
4:31.620–4:34.860
还有人拿它做Computer Use的下一步决策
还有人拿它做Computer Use的下一步决策
4:34.860–4:36.780
还有一个叫Observed开发者
还有一个叫Observed开发者
4:36.780–4:40.060
测试了一整晚跑了500多次API
测试了一整晚跑了500多次API
4:40.060–4:42.240
总共才花了大约3美分
总共才花了大约3美分
4:42.240–4:44.640
一次同时多问20个问题
一次同时多问20个问题
4:44.640–4:47.340
延迟也只增加了47毫秒
延迟也只增加了47毫秒
4:47.340–4:51.780
他还抓住了一次针对他自己agent的假审批注入
他还抓住了一次针对他自己agent的假审批注入
4:51.780–4:54.860
然后他发现Jeff有一次打错了
然后他发现Jeff有一次打错了
4:54.860–4:58.220
而Jeff给那个错误答案给出的信心是1.00
而Jeff给那个错误答案给出的信心是1.00
4:58.220–4:59.920
这就有意思了
这就有意思了
4:59.920–5:03.160
一边是这不就是我们用了很多年的分类器吗
一边是这不就是我们用了很多年的分类器吗
5:03.160–5:08.180
而另一边却已经有人开始把他塞进agent的决策循环
而另一边却已经有人开始把他塞进agent的决策循环
5:08.180–5:10.700
官方说他的概率经过较准
官方说他的概率经过较准
5:10.700–5:13.380
但在真实测试里却已经出现了
但在真实测试里却已经出现了
5:13.380–5:16.060
答错了但信心百分之百的情况
答错了但信心百分之百的情况
5:16.060–5:20.020
所以这期视频我真正想弄清楚的
所以这期视频我真正想弄清楚的
5:20.020–5:22.360
不是Jav到底有没有快200倍
不是Jav到底有没有快200倍
5:22.360–5:25.740
而是说一个参与创造ChattGPT的人
而是说一个参与创造ChattGPT的人
5:25.740–5:27.940
在模型越来越会说话之后
在模型越来越会说话之后
5:27.940–5:29.760
为什么会花两年的时间
为什么会花两年的时间
5:29.760–5:31.960
重新做一个不会说话的AI呢
重新做一个不会说话的AI呢
5:31.960–5:35.220
以及他是不是碰到了今天A成的系统里
以及他是不是碰到了今天A成的系统里
5:35.220–5:36.680
一个更有意思的问题
一个更有意思的问题
5:36.680–5:40.480
就是我们真的需要让大模型来做每一个决定吗
就是我们真的需要让大模型来做每一个决定吗
5:40.480–5:43.400
那么一个不生成自由文本的AI
那么一个不生成自由文本的AI
5:43.400–5:45.240
到底是怎么工作的呢
到底是怎么工作的呢
5:45.240–5:48.300
TypeSafe对Jav的描述其实很简洁
TypeSafe对Jav的描述其实很简洁
5:48.300–5:49.980
翻译过来的意思就是
翻译过来的意思就是
5:49.980–5:51.580
输入可以很复杂
输入可以很复杂
5:51.580–5:54.580
但输出不再是一串自由生成的文字
但输出不再是一串自由生成的文字
5:54.580–5:58.040
而是提前定义好类型的概率决策
而是提前定义好类型的概率决策
5:58.040–6:01.520
比如一个客服agent的正在处理退款请求
比如一个客服agent的正在处理退款请求
6:01.520–6:03.960
你可以把完整的对话记录
你可以把完整的对话记录
6:03.960–6:05.220
用户账户状态
用户账户状态
6:05.220–6:07.960
以及最近的付款记录一起交给Jav
以及最近的付款记录一起交给Jav
6:07.960–6:09.140
然后同时问他
然后同时问他
6:09.140–6:11.680
用户现在是不是在要求退款呢
用户现在是不是在要求退款呢
6:11.680–6:13.320
有没有欺诈风险呢
有没有欺诈风险呢
6:13.320–6:14.760
需不需要转人工呢
需不需要转人工呢
6:14.760–6:16.460
如果要继续处理
如果要继续处理
6:16.460–6:18.620
下一步应该执行哪个动作呢
下一步应该执行哪个动作呢
6:18.620–6:22.660
当然普通大模型也能回答这些问题
当然普通大模型也能回答这些问题
6:22.660–6:24.760
但它通常还是要生成
但它通常还是要生成
6:24.760–6:27.140
哪怕最后输出的是JESN
哪怕最后输出的是JESN
6:27.140–6:29.780
本质上也是一个Token接一个Token的
本质上也是一个Token接一个Token的
6:29.780–6:31.320
把字符串写出来
把字符串写出来
6:31.320–6:33.460
但JESN走的是另一条路
但JESN走的是另一条路
6:33.460–6:36.260
他把这些问题直接变成了几个
他把这些问题直接变成了几个
6:36.260–6:37.820
类型确定的决策
类型确定的决策
6:37.820–6:40.360
而且可以一次并行回答
而且可以一次并行回答
6:40.360–6:43.020
TypeSafe目前把这种输出
TypeSafe目前把这种输出
6:43.020–6:45.020
分成三种基本形式
分成三种基本形式
6:45.020–6:46.340
第一种叫Nual
第一种叫Nual
6:46.340–6:48.420
它处理是不是这一类的判断
它处理是不是这一类的判断
6:48.420–6:51.300
比如这个请求有没有越狱风险
比如这个请求有没有越狱风险
6:51.300–6:53.100
那么它返回的就不是一句
那么它返回的就不是一句
6:53.100–6:53.980
我认为没有
我认为没有
6:53.980–6:56.500
而是说这个判断对应的概率
而是说这个判断对应的概率
6:56.500–6:58.000
第二种叫Choice
第二种叫Choice
6:58.000–7:01.640
也就是从提前给定的选项里做选择
也就是从提前给定的选项里做选择
7:01.640–7:04.060
比如一个Agent手里有八个工具
比如一个Agent手里有八个工具
7:04.060–7:05.800
现在应该调用哪一个呢
现在应该调用哪一个呢
7:05.800–7:08.400
Jive直接在这八个选项里做判断
Jive直接在这八个选项里做判断
7:08.400–7:10.080
并给出相应的概率
并给出相应的概率
7:10.080–7:11.600
第三种叫Score
第三种叫Score
7:11.600–7:13.580
用来处理打分和排序
用来处理打分和排序
7:13.580–7:15.960
比如一个任务的优先级有多高
比如一个任务的优先级有多高
7:15.960–7:18.260
或者一个结果有多值得信任
或者一个结果有多值得信任
7:18.646–7:19.526
所以
所以
7:19.526–7:22.126
它和普通聊天模型在接口上的
它和普通聊天模型在接口上的
7:22.126–7:23.626
区别其实非常直观
区别其实非常直观
7:23.626–7:25.566
聊天模型的输出空间
聊天模型的输出空间
7:25.566–7:27.086
几乎是无限的
几乎是无限的
7:27.086–7:29.006
你可以让它写一句话
你可以让它写一句话
7:29.006–7:30.746
一篇文章一段代码
一篇文章一段代码
7:30.746–7:33.506
也可以让它生成结构化数据
也可以让它生成结构化数据
7:33.506–7:35.566
JF在开始计算之前
JF在开始计算之前
7:35.566–7:38.766
输出空间就已经被软件定义好了
输出空间就已经被软件定义好了
7:38.766–7:40.146
它可以判断
它可以判断
7:40.146–7:43.066
但它不能临场发明一个新的答案
但它不能临场发明一个新的答案
7:43.066–7:45.126
这里还有一个很容易被忽略的区别
这里还有一个很容易被忽略的区别
7:45.126–7:49.126
就是这些判断不一定要一个接一个的做
就是这些判断不一定要一个接一个的做
7:49.126–7:51.526
Type-Safe官方展示的Workflow
Type-Safe官方展示的Workflow
7:51.526–7:54.406
本身就会把一个复杂的软件状态
本身就会把一个复杂的软件状态
7:54.406–7:56.066
拆成很多独立的问题
拆成很多独立的问题
7:56.066–7:57.926
然后一次并行询问
然后一次并行询问
7:57.926–8:00.306
比如他们公开的客服工作流
比如他们公开的客服工作流
8:00.306–8:03.286
第一步就会同时读取用户意图
第一步就会同时读取用户意图
8:03.286–8:04.986
情绪 紧急程度
情绪 紧急程度
8:04.986–8:07.406
以及欺诈风险等多个信号
以及欺诈风险等多个信号
8:07.406–8:09.126
再用后面的代码决定
再用后面的代码决定
8:09.126–8:11.806
退款 冻结银行卡 转人工
退款 冻结银行卡 转人工
8:11.806–8:13.126
还是继续处理
还是继续处理
8:13.126–8:15.226
这时候我们再回头
这时候我们再回头
8:15.226–8:17.546
看TypeSafe给这种模型起的名字
看TypeSafe给这种模型起的名字
8:17.546–8:19.366
就比较容易理解了
就比较容易理解了
8:19.366–8:21.286
他们叫它System-1 Module
他们叫它System-1 Module
8:21.286–8:23.786
这个名字来自丹尼尔·卡尼曼
这个名字来自丹尼尔·卡尼曼
8:23.786–8:26.246
对System-1和System-2的区别
对System-1和System-2的区别
8:26.246–8:28.346
他认为System-1负责
他认为System-1负责
8:28.346–8:30.526
快速和直觉式的判断
快速和直觉式的判断
8:30.526–8:33.946
System 2才负责缓慢和复杂的推理
System 2才负责缓慢和复杂的推理
8:33.946–8:38.806
那Type-C想做的不是让Jeff取代所有大语言模型
那Type-C想做的不是让Jeff取代所有大语言模型
8:38.806–8:44.206
而是把软件系统里大量这种快速判断单独抽出来
而是把软件系统里大量这种快速判断单独抽出来
8:44.206–8:47.386
阿尔梅达后来把这个速度说得更直接
阿尔梅达后来把这个速度说得更直接
8:47.386–8:50.726
他说他们把今天几条不同的训练路线
他说他们把今天几条不同的训练路线
8:50.726–8:52.906
看成是在解决不同的问题
看成是在解决不同的问题
8:52.906–8:58.026
像RLVR就更适合可以验证答案的Resonings和Proves
像RLVR就更适合可以验证答案的Resonings和Proves
8:58.026–9:02.926
而他们希望RLCD去解决的是自动控制
而他们希望RLCD去解决的是自动控制
9:02.926–9:07.786
也就是让模型的决定真正能够被软件直接使用
也就是让模型的决定真正能够被软件直接使用
9:07.786–9:11.626
这也是为什么Type-Safe一直把Jeff的典型用途写成
这也是为什么Type-Safe一直把Jeff的典型用途写成
9:11.626–9:15.326
分类 路由 打分 提取和分支判断
分类 路由 打分 提取和分支判断
9:15.326–9:19.326
他们甚至用了一个狠形象的说法是聪明的一语句
他们甚至用了一个狠形象的说法是聪明的一语句
9:19.326–9:23.506
听到这里Jeff好像已经也没有那么神秘了
听到这里Jeff好像已经也没有那么神秘了
9:23.506–9:26.666
他不是一个被砍掉聊天界面的GPT
他不是一个被砍掉聊天界面的GPT
9:26.666–9:29.326
也不是为了写出更好的答案
也不是为了写出更好的答案
9:29.326–9:31.906
而是他想把做决定本身
而是他想把做决定本身
9:31.906–9:34.146
从语言生成里单独拆出来
从语言生成里单独拆出来
9:34.146–9:37.726
变成软件可以直接钓鱼的一种智能原语
变成软件可以直接钓鱼的一种智能原语
9:37.726–9:41.406
但是这也就回到了开场那个质疑
但是这也就回到了开场那个质疑
9:41.406–9:43.346
就是这不就是分类器吗
就是这不就是分类器吗
9:43.346–9:45.906
以太坊基军会AI的负责人
以太坊基军会AI的负责人
9:45.906–9:48.346
David Krapis的说法就更直接了
David Krapis的说法就更直接了
9:48.346–9:52.006
他认为把Jav和通用ML放在一起比较
他认为把Jav和通用ML放在一起比较
9:52.006–9:53.306
很容易产生误导
很容易产生误导
9:53.306–9:56.306
因为Jav根本不生成自由文本
因为Jav根本不生成自由文本
9:56.306–9:57.666
从功能上看
从功能上看
9:57.666–10:00.046
它更接近一个非常聪明的工具
它更接近一个非常聪明的工具
10:00.046–10:01.306
或者一个分类器
或者一个分类器
10:01.306–10:05.526
而不是GPT Cloud这种通用模型的直接竞争者
而不是GPT Cloud这种通用模型的直接竞争者
10:05.526–10:07.346
有人继续往下拆
有人继续往下拆
10:07.346–10:10.466
Robert试文透客把Jab的几个卖点
Robert试文透客把Jab的几个卖点
10:10.466–10:11.926
一条一条列了出来
一条一条列了出来
10:11.926–10:14.086
像是类型受限的输出
像是类型受限的输出
10:14.086–10:16.546
我们已经可以用受限解码做
我们已经可以用受限解码做
10:16.546–10:19.026
概率可以从LogProps里面拿
概率可以从LogProps里面拿
10:19.026–10:22.466
概率校准也早就有Temperature Scaling
概率校准也早就有Temperature Scaling
10:22.466–10:23.686
什么时候放行
什么时候放行
10:23.686–10:24.626
什么时候升级
什么时候升级
10:24.626–10:27.806
本来就可以在应用代表里面写Thrust Hold
本来就可以在应用代表里面写Thrust Hold
10:27.806–10:31.066
所以他最后的评价其实很有意思
所以他最后的评价其实很有意思
10:31.066–10:33.566
他认为这些统计学上的零件
他认为这些统计学上的零件
10:33.566–10:36.166
没有哪一个是突然从天上掉下来的
没有哪一个是突然从天上掉下来的
10:36.166–10:41.306
真正可能不同的是Type Safe把校准放进了训练目标
真正可能不同的是Type Safe把校准放进了训练目标
10:41.306–10:44.966
然后让API从一开始返回的就是Decision
然后让API从一开始返回的就是Decision
10:44.966–10:48.206
而不是一段等待程序再次解析的文字
而不是一段等待程序再次解析的文字
10:48.206–10:49.146
换句话说
换句话说
10:49.146–10:52.306
这不是发明了一堆从来没有存在过的零件
这不是发明了一堆从来没有存在过的零件
10:52.306–10:54.146
而是少兵了几层东西
而是少兵了几层东西
10:54.146–10:56.746
这时候Jav就不是分类器吗
这时候Jav就不是分类器吗
10:56.746–10:59.146
这个问题就开始变得没那么简单了
这个问题就开始变得没那么简单了
10:59.146–11:02.006
因为Type-Safe真正想挑战的
因为Type-Safe真正想挑战的
11:02.006–11:04.866
并不是传统分类器做不到的分类
并不是传统分类器做不到的分类
11:04.866–11:06.426
而是它的使用方式
而是它的使用方式
11:06.426–11:09.786
假设你今天做一个金融agent
假设你今天做一个金融agent
11:09.786–11:11.366
你只需要判断的是
你只需要判断的是
11:11.366–11:13.626
这笔交易有没有欺诈风险
这笔交易有没有欺诈风险
11:13.626–11:17.166
那你当然可以收集数据标注样本
那你当然可以收集数据标注样本
11:17.166–11:18.726
训练一个专门的分类器
训练一个专门的分类器
11:18.726–11:20.486
如果业务一直不变
如果业务一直不变
11:20.486–11:23.246
这就可能比调用Jav更便宜更快
这就可能比调用Jav更便宜更快
11:23.246–11:24.366
甚至更可靠
甚至更可靠
11:24.366–11:28.206
但现实里的agent很少永远只问同一个问题
但现实里的agent很少永远只问同一个问题
11:28.206–11:30.346
今天你要判断的是欺诈
今天你要判断的是欺诈
11:30.346–11:33.086
明天可能增加是否需要人工复合
明天可能增加是否需要人工复合
11:33.086–11:34.826
后天可能又增加
后天可能又增加
11:34.826–11:36.906
应该交给哪个风险团队
应该交给哪个风险团队
11:36.906–11:38.026
换一个产品
换一个产品
11:38.026–11:41.746
问题标签和业务规则可能全部都变了
问题标签和业务规则可能全部都变了
11:41.746–11:45.486
如果每增加一种判断都要重新积累数据
如果每增加一种判断都要重新积累数据
11:45.486–11:47.066
训练和部署一个模型
训练和部署一个模型
11:47.066–11:51.066
那传统分类器的成本就开始从推理阶段
那传统分类器的成本就开始从推理阶段
11:51.066–11:53.526
转移到了开发和维护阶段
转移到了开发和维护阶段
11:53.526–11:56.126
而Jeff想做的是把大语言模型
而Jeff想做的是把大语言模型
11:56.126–11:58.386
最有价值的一部分能力保留下来
最有价值的一部分能力保留下来
11:58.386–12:01.306
就是你可以直接用自然语言告诉模型
就是你可以直接用自然语言告诉模型
12:01.306–12:02.846
现在要判断什么
现在要判断什么
12:02.846–12:06.526
我们目前还没有看到
我们目前还没有看到
12:06.526–12:09.686
Jeff和一个认真微调过的Mardenberg
Jeff和一个认真微调过的Mardenberg
12:09.686–12:11.846
专门的小型分类器
专门的小型分类器
12:11.846–12:15.106
或者一个使用受限解码的小语言模型
或者一个使用受限解码的小语言模型
12:15.106–12:19.026
在同样任务同样数据同样准确率要求下
在同样任务同样数据同样准确率要求下
12:19.026–12:21.586
做一次真正公平的正面对比
做一次真正公平的正面对比
12:21.586–12:24.026
TypeSafe真正需要证明的是
TypeSafe真正需要证明的是
12:24.026–12:25.746
当任务不断变化
当任务不断变化
12:25.746–12:28.766
而你又不想每次重新训练一个模型的时候
而你又不想每次重新训练一个模型的时候
12:28.766–12:32.466
Jab能不能同时保住分类器的速度和成本
Jab能不能同时保住分类器的速度和成本
12:32.466–12:34.866
又同时保住大模型那种
又同时保住大模型那种
12:34.866–12:38.186
拿自然语言就能直接定义新任务的灵活性
拿自然语言就能直接定义新任务的灵活性
12:38.186–12:40.106
而这还只是第一层
而这还只是第一层
12:40.106–12:42.826
因为TypeSafe对Jab最大胆的主张
因为TypeSafe对Jab最大胆的主张
12:42.826–12:45.006
其实不是快也不是便宜
其实不是快也不是便宜
12:45.006–12:47.166
甚至不是自然语言可编程
甚至不是自然语言可编程
12:47.166–12:48.586
而是他认为
而是他认为
12:48.586–12:50.746
Jav不只会给你一个决定
Jav不只会给你一个决定
12:50.746–12:54.466
他还知道自己这个决定到底有多可靠
他还知道自己这个决定到底有多可靠
12:54.466–12:56.646
这就进入了整个Jav的故事里
这就进入了整个Jav的故事里
12:56.646–13:00.306
最关键也是目前最神秘的一块RLCD
最关键也是目前最神秘的一块RLCD
13:00.306–13:04.146
前面讲到Jav会给每一个决策附上概率
前面讲到Jav会给每一个决策附上概率
13:04.146–13:05.926
但这里真正重要的
但这里真正重要的
13:05.926–13:09.546
不是他能不能输出一个0.73或者0.91
不是他能不能输出一个0.73或者0.91
13:09.546–13:13.126
而是说这些数字到底有没有统计意义
而是说这些数字到底有没有统计意义
13:13.126–13:15.606
这就是RLLCD想解决的问题
这就是RLLCD想解决的问题
13:15.606–13:19.326
它的全称是校准决策强化学习
它的全称是校准决策强化学习
13:19.326–13:20.286
所谓校准
所谓校准
13:20.286–13:22.806
我们可以先用一个很简单的例子来理解
我们可以先用一个很简单的例子来理解
13:22.806–13:26.446
就是如果一个模型做了很多次判断
就是如果一个模型做了很多次判断
13:26.446–13:30.806
我们把它所有认为有70%把握的判断放在一起
我们把它所有认为有70%把握的判断放在一起
13:30.806–13:33.046
那么一个校准的好的模型
那么一个校准的好的模型
13:33.046–13:36.966
长期来看应该有大约70%是正确的
长期来看应该有大约70%是正确的
13:36.966–13:39.786
他说90%就应该接近90%
他说90%就应该接近90%
13:39.786–13:44.506
说50%就真的意味着这件事差不多只有一半的把握
说50%就真的意味着这件事差不多只有一半的把握
13:44.506–13:47.246
这和准确率其实是两回事
这和准确率其实是两回事
13:47.246–13:50.846
一个模型完全可能总体准确率很高
一个模型完全可能总体准确率很高
13:50.846–13:53.406
但他根本不知道自己什么时候会错
但他根本不知道自己什么时候会错
13:53.406–13:57.306
而另一个模型也许平均准确率没有高出多少
而另一个模型也许平均准确率没有高出多少
13:57.306–13:59.306
但他在容易出错的时候
但他在容易出错的时候
13:59.306–14:01.486
真的会把自己的概率降下来
真的会把自己的概率降下来
14:01.486–14:03.406
对于聊天机器人来说
对于聊天机器人来说
14:03.406–14:05.666
这个区别可能没有那么明显
这个区别可能没有那么明显
14:05.666–14:07.206
但对于agent来说
但对于agent来说
14:07.206–14:08.966
这就直接决定了一件事
这就直接决定了一件事
14:08.966–14:12.526
就是这个概率能不能拿来控制系统
就是这个概率能不能拿来控制系统
14:12.526–14:14.286
比如一个agent正在决定
比如一个agent正在决定
14:14.286–14:16.266
要不要自动批准退款
要不要自动批准退款
14:16.266–14:18.106
债务判断可以批准
债务判断可以批准
14:18.106–14:20.086
概率99.8%
概率99.8%
14:20.086–14:22.406
如果经过大量测试之后
如果经过大量测试之后
14:22.406–14:25.666
你真的知道这种99.8%值得性
你真的知道这种99.8%值得性
14:25.666–14:28.346
那么Harness就可以设置一个预值
那么Harness就可以设置一个预值
14:28.346–14:30.506
超过这个概率自动执行
超过这个概率自动执行
14:30.506–14:32.786
但如果只有70%
但如果只有70%
14:32.786–14:35.166
就升级给更强更贵的模型
就升级给更强更贵的模型
14:35.166–14:36.446
如果再低一点
如果再低一点
14:36.446–14:38.506
就交给人工或者Verify
就交给人工或者Verify
14:38.506–14:40.686
这个时候CoundDefense
这个时候CoundDefense
14:40.686–14:43.046
就不再是给人看的一个装饰数字
就不再是给人看的一个装饰数字
14:43.046–14:46.646
它变成了A站的内部的一种控制信号
它变成了A站的内部的一种控制信号
14:46.646–14:48.566
就是什么时候继续
就是什么时候继续
14:48.566–14:49.606
什么时候升级
什么时候升级
14:49.606–14:50.766
什么时候验证
什么时候验证
14:50.766–14:52.086
什么时候停下来
什么时候停下来
14:52.086–14:55.106
前面那个满分信心却答错的例子
前面那个满分信心却答错的例子
14:55.106–14:56.706
追问的也正是这件事
追问的也正是这件事
14:56.706–14:59.706
就是这些概率究竟有多可信呢
就是这些概率究竟有多可信呢
14:59.706–15:03.406
而RLCD真正生成改变的是另一件事
而RLCD真正生成改变的是另一件事
15:03.406–15:05.666
就是从训练阶段开始
就是从训练阶段开始
15:05.666–15:08.966
就让模型学习一个决定应该有多确定
就让模型学习一个决定应该有多确定
15:08.966–15:12.466
让概率本身也成为训练目标的一部分
让概率本身也成为训练目标的一部分
15:12.892–15:18.072
但是我目前还没有看到TypeSafe公开完整的论文
但是我目前还没有看到TypeSafe公开完整的论文
15:18.072–15:20.912
具体的训练流程和损失函数
具体的训练流程和损失函数
15:20.912–15:24.352
也没有足够完整的第三方校准基准
也没有足够完整的第三方校准基准
15:24.352–15:28.532
所以RLCD是否真的比现有校准方法更好
所以RLCD是否真的比现有校准方法更好
15:28.532–15:30.532
这一部分还要等更多的证据
这一部分还要等更多的证据
15:30.532–15:33.752
这里也刚好可以解释TypeSafe另一个
这里也刚好可以解释TypeSafe另一个
15:33.752–15:35.472
很容易让人误解的说法
很容易让人误解的说法
15:35.472–15:38.212
就是Jav不能产生幻觉
就是Jav不能产生幻觉
15:38.212–15:42.852
如果你只允许Jav在批准和拒绝之间选择
如果你只允许Jav在批准和拒绝之间选择
15:42.852–15:45.672
他确实不可能突然回答也许
他确实不可能突然回答也许
15:45.672–15:48.332
也不会捏造第三个不存在的函数
也不会捏造第三个不存在的函数
15:48.332–15:51.012
更不会生成一段格式错误程序
更不会生成一段格式错误程序
15:51.012–15:52.572
根本解析不了的Jason
根本解析不了的Jason
15:52.572–15:55.472
它的输出空间在计算之前
它的输出空间在计算之前
15:55.472–15:58.072
就已经被系统类型限制好了
就已经被系统类型限制好了
15:58.072–16:01.132
但是它完全可能选择批准
但是它完全可能选择批准
16:01.132–16:03.252
而正确答案其实是拒绝
而正确答案其实是拒绝
16:03.252–16:05.012
所以更准确的说
所以更准确的说
16:05.012–16:07.572
Jav解决的是一种非常具体的幻觉
Jav解决的是一种非常具体的幻觉
16:07.572–16:09.892
它不会生成类型之外的答案
它不会生成类型之外的答案
16:09.892–16:13.252
但仍然可能在合法答案里面选错
但仍然可能在合法答案里面选错
16:13.252–16:14.872
不过呢
不过呢
16:14.872–16:18.412
真正决定Jav能不能进入高风险自动化流程的
真正决定Jav能不能进入高风险自动化流程的
16:18.412–16:19.672
还是后一个问题
还是后一个问题
16:19.672–16:21.292
就是它选错的时候
就是它选错的时候
16:21.292–16:22.812
自己到底知不知道
自己到底知不知道
16:22.812–16:24.652
这也是为什么我觉得
这也是为什么我觉得
16:24.652–16:28.792
RLCD反而比Jav那个200倍更快的数字
RLCD反而比Jav那个200倍更快的数字
16:28.792–16:29.632
更值得关注
更值得关注
16:29.632–16:32.572
如果一个模型只是快而且便宜
如果一个模型只是快而且便宜
16:32.572–16:35.232
我们其实已经有很多办法可以做到了
我们其实已经有很多办法可以做到了
16:35.232–16:39.272
但如果它能在保持这种速度和成本的同时
但如果它能在保持这种速度和成本的同时
16:39.272–16:43.612
给软件提供一个真正可信的不确定性信号
给软件提供一个真正可信的不确定性信号
16:43.612–16:46.552
那它在A层里面的位置就完全不一样了
那它在A层里面的位置就完全不一样了
16:46.552–16:49.332
当然接下来还有一个跟现实的问题
当然接下来还有一个跟现实的问题
16:49.332–16:53.932
就是这些概率决策究竟能省下多少时间和成本呢
就是这些概率决策究竟能省下多少时间和成本呢
16:53.932–16:56.272
现在我们终于可以回到
现在我们终于可以回到
16:56.272–16:58.992
JF发布时最新眼球的那组数字
JF发布时最新眼球的那组数字
16:58.992–17:01.152
20到200倍更快
20到200倍更快
17:01.152–17:03.492
40到400倍更便宜
40到400倍更便宜
17:03.492–17:06.532
TypeSafe自己公布的Workflow Benchmark里面
TypeSafe自己公布的Workflow Benchmark里面
17:06.532–17:10.312
最高端的数字达到了193.6倍更快
最高端的数字达到了193.6倍更快
17:10.312–17:13.032
444.6倍更便宜
444.6倍更便宜
17:13.032–17:15.452
这个数字第一眼看起来很离谱
这个数字第一眼看起来很离谱
17:15.452–17:17.832
但离着JF前面的设计之后
但离着JF前面的设计之后
17:17.832–17:19.972
你会发现它其实并不神秘
你会发现它其实并不神秘
17:19.972–17:23.372
因为Jav和普通LM做计算的方式
因为Jav和普通LM做计算的方式
17:23.372–17:25.072
从一开始就不一样
从一开始就不一样
17:25.072–17:28.332
假设一个agent现在需要做20个判断
假设一个agent现在需要做20个判断
17:28.332–17:30.652
比如用户是不是在退款
比如用户是不是在退款
17:30.652–17:32.112
有没有欺诈风险
有没有欺诈风险
17:32.112–17:33.532
需不需要人工介入
需不需要人工介入
17:33.532–17:35.032
需要调用哪个工具
需要调用哪个工具
17:35.032–17:37.252
结果要不要再验证一次
结果要不要再验证一次
17:37.252–17:40.372
阿尔梅达回应过一个很直接的问题
阿尔梅达回应过一个很直接的问题
17:40.372–17:43.072
就是为什么不干脆用受限解码呢
就是为什么不干脆用受限解码呢
17:43.072–17:44.312
他的回答是
他的回答是
17:44.312–17:47.072
这层约束仍然叠在LM上
这层约束仍然叠在LM上
17:47.072–17:49.332
字符串生成的开销还在
字符串生成的开销还在
17:49.332–17:51.592
他还提出了一更尖锐的判断
他还提出了一更尖锐的判断
17:51.592–17:54.172
就是模型本来就拿不准的时候
就是模型本来就拿不准的时候
17:54.172–17:56.552
再去限制他能选哪些输出
再去限制他能选哪些输出
17:56.552–17:58.152
反而会让模型变笨
反而会让模型变笨
17:58.152–18:01.332
债务直接省掉了字符串生成这一步
债务直接省掉了字符串生成这一步
18:01.332–18:04.532
他不需要把决定翻译成一段语言
他不需要把决定翻译成一段语言
18:04.532–18:07.532
再让软件把语言重新翻译成决定
再让软件把语言重新翻译成决定
18:07.532–18:10.552
他的输出空间已经提前确定
他的输出空间已经提前确定
18:10.552–18:14.372
而且多个问题可以在同一次询问里并行计算
而且多个问题可以在同一次询问里并行计算
18:14.372–18:16.872
TypeSafe公布的端到端延迟
TypeSafe公布的端到端延迟
18:16.872–18:19.052
大约是70到500毫秒
大约是70到500毫秒
18:19.052–18:21.952
输入价格是每百万Token4.2美分
输入价格是每百万Token4.2美分
18:21.952–18:24.032
输出则没有单独计费
输出则没有单独计费
18:24.032–18:26.672
所以从物理账上看
所以从物理账上看
18:26.672–18:29.812
Jav比大元模型快很多便宜很多
Jav比大元模型快很多便宜很多
18:29.812–18:31.372
是完全说得通的
是完全说得通的
18:31.372–18:33.952
但我们真正需要问的是另一件事
但我们真正需要问的是另一件事
18:33.952–18:37.292
就是他们比较的是不是同一种工作呢
就是他们比较的是不是同一种工作呢
18:37.292–18:39.672
TypeSafe的Workflow Benchmark
TypeSafe的Workflow Benchmark
18:39.672–18:42.032
不是让Jav和GPT Cloud
不是让Jav和GPT Cloud
18:42.032–18:43.672
各自写一篇文章
各自写一篇文章
18:43.672–18:46.592
也不是让他们解决一道开放式的数学题
也不是让他们解决一道开放式的数学题
18:46.592–18:51.372
而是专门选择软件自动化里面的System-1任务
而是专门选择软件自动化里面的System-1任务
18:51.372–18:54.472
对照的是同样接入这套工作流的
对照的是同样接入这套工作流的
18:54.472–18:57.612
按要求返回结果化结果的通用LM
按要求返回结果化结果的通用LM
18:57.612–18:59.252
比如处理一张发票
比如处理一张发票
18:59.252–19:01.832
系统真正需要的是这几个决定
系统真正需要的是这几个决定
19:01.832–19:06.112
付款、赞款、要求补文件、送人工审批
付款、赞款、要求补文件、送人工审批
19:06.112–19:07.212
还是怀疑欺诈
还是怀疑欺诈
19:07.212–19:10.672
又比如一个客服agent完成了一轮任务
又比如一个客服agent完成了一轮任务
19:10.672–19:15.172
系统要判断的是自动关闭、人工复合、优化复合
系统要判断的是自动关闭、人工复合、优化复合
19:15.172–19:17.612
还是直接通知值班人员
还是直接通知值班人员
19:17.612–19:22.272
这些任务天然就非常适合被拆成很多窄判断
这些任务天然就非常适合被拆成很多窄判断
19:22.272–19:23.992
然后再用代码组合
然后再用代码组合
19:23.992–19:26.312
而这正好是Jav的主场
而这正好是Jav的主场
19:26.312–19:30.132
TypeSave甚至在自己的发布文章里主动承认
TypeSave甚至在自己的发布文章里主动承认
19:30.132–19:32.412
他们展示的side-by-side demo
他们展示的side-by-side demo
19:32.412–19:35.112
使用了比较短和比较密集的输入
使用了比较短和比较密集的输入
19:35.112–19:37.192
这会让Jav看起来更有优势
这会让Jav看起来更有优势
19:37.192–19:40.592
193.6倍和444.6倍
193.6倍和444.6倍
19:40.592–19:43.172
来自他们设计的工作流程评估
来自他们设计的工作流程评估
19:43.172–19:46.472
他们认为这应该处在现实收益的高端
他们认为这应该处在现实收益的高端
19:46.472–19:51.192
而且这些workflow是公司自己模型能力团队的人做的
而且这些workflow是公司自己模型能力团队的人做的
19:51.192–19:53.012
所以他们也明确写了一句
所以他们也明确写了一句
19:53.012–19:54.632
可能存在偏见
可能存在偏见
19:54.632–19:56.432
这一点反而很重要
这一点反而很重要
19:56.432–20:00.552
因为他告诉我们200倍不是一个模型智力倍率
因为他告诉我们200倍不是一个模型智力倍率
20:00.552–20:01.992
他真正表达的是
他真正表达的是
20:01.992–20:04.692
帮任务本来就是大量窄决策
帮任务本来就是大量窄决策
20:04.692–20:08.932
而你还让一个通用生成模型不断生成字符串的时候
而你还让一个通用生成模型不断生成字符串的时候
20:08.932–20:12.592
你可能正在为很多根本不需要的能力付钱
你可能正在为很多根本不需要的能力付钱
20:12.592–20:14.952
TypeSafe的工作流程评估
TypeSafe的工作流程评估
20:14.952–20:18.012
其实还暴露了另外一个很有意思的结果
其实还暴露了另外一个很有意思的结果
20:18.012–20:21.552
就是同一个模型把任务拆成workflow
就是同一个模型把任务拆成workflow
20:21.552–20:23.912
让代码负责确定性的规则
让代码负责确定性的规则
20:23.912–20:27.612
让模型只负责那些真正需要判断的部分的话
让模型只负责那些真正需要判断的部分的话
20:27.612–20:29.172
那么在这些测试里
那么在这些测试里
20:29.172–20:32.552
就比把整套规则塞进一个巨大pront里
就比把整套规则塞进一个巨大pront里
20:32.552–20:36.352
一次性解决更准确更快和更便宜
一次性解决更准确更快和更便宜
20:36.352–20:39.592
所以这笔账不只是和模型本身有关
所以这笔账不只是和模型本身有关
20:39.592–20:41.412
也和任务怎么拆
也和任务怎么拆
20:41.412–20:43.312
软件怎么调用它有关
软件怎么调用它有关
20:43.312–20:46.492
那如果把这个思路放进一个完整的agent
那如果把这个思路放进一个完整的agent
20:46.492–20:48.472
分工又会变成什么样呢
分工又会变成什么样呢
20:48.472–20:49.712
讲到这里
讲到这里
20:49.712–20:51.672
我觉得Jab最有意思的地方
我觉得Jab最有意思的地方
20:51.672–20:53.532
已经不是Jab本身了
已经不是Jab本身了
20:53.532–20:56.152
而是一个真正长期运行的agent
而是一个真正长期运行的agent
20:56.152–20:59.732
到底应该把多少事情交给同一个大模型呢
到底应该把多少事情交给同一个大模型呢
20:59.732–21:02.852
一个agent可能连续工作几十分钟
一个agent可能连续工作几十分钟
21:02.852–21:04.112
甚至几个小时
甚至几个小时
21:04.112–21:06.892
中间经历几十几百个决策点
中间经历几十几百个决策点
21:06.892–21:09.072
真正需要复杂推理的
真正需要复杂推理的
21:09.072–21:10.472
也许只有其中几步
也许只有其中几步
21:10.472–21:11.972
剩下大量的工作
剩下大量的工作
21:11.972–21:14.552
其实只是判断走哪条路
其实只是判断走哪条路
21:14.552–21:15.612
调用哪个工具
调用哪个工具
21:15.612–21:17.252
这个结果能不能接受
这个结果能不能接受
21:17.252–21:18.952
需不需要再检查一次
需不需要再检查一次
21:18.952–21:21.552
而Jav指向的是另一种架构
而Jav指向的是另一种架构
21:21.552–21:23.372
真正开放复杂
真正开放复杂
21:23.372–21:25.492
需要理解模糊目标
需要理解模糊目标
21:25.492–21:28.332
长程规划和深度推理的问题
长程规划和深度推理的问题
21:28.332–21:29.972
仍然交给前沿模型
仍然交给前沿模型
21:29.972–21:32.172
如果是确定性的规则
如果是确定性的规则
21:32.172–21:33.712
比如金额超过多少
比如金额超过多少
21:33.712–21:35.192
必须人工审批的
必须人工审批的
21:35.192–21:36.552
就直接交给代码
就直接交给代码
21:36.552–21:40.472
如果是大量高频窄而不断变化的判断
如果是大量高频窄而不断变化的判断
21:40.472–21:43.132
就可以交给像Jav这种决策模型
就可以交给像Jav这种决策模型
21:43.132–21:46.392
结果是不是满足某个明确标准
结果是不是满足某个明确标准
21:46.392–21:48.032
可以再交给Verify
可以再交给Verify
21:48.032–21:50.992
需要长期保存的信息进入Memory
需要长期保存的信息进入Memory
21:50.992–21:53.632
需要真正改变外部世界的动作
需要真正改变外部世界的动作
21:53.632–21:54.672
就交给Tools
就交给Tools
21:54.672–21:57.132
最后真正重要的
最后真正重要的
21:57.132–21:59.092
可能不再是其中某一个模型
可能不再是其中某一个模型
21:59.092–22:00.412
而是外面的Harness
而是外面的Harness
22:00.412–22:03.992
因为Harness决定谁在什么时候被调用
因为Harness决定谁在什么时候被调用
22:03.992–22:05.992
什么结果可以直接通过
什么结果可以直接通过
22:05.992–22:07.792
什么结果必须升级
什么结果必须升级
22:07.792–22:10.112
什么任务值得花几十倍的成本
什么任务值得花几十倍的成本
22:10.112–22:11.792
去唤醒最强的模型
去唤醒最强的模型
22:11.792–22:15.172
当软件真正需要的只是一个决定
当软件真正需要的只是一个决定
22:15.172–22:18.352
我们为什么一定要让AI先开口说话呢
我们为什么一定要让AI先开口说话呢
22:18.352–22:19.672
这里是All Insight
这里是All Insight
22:19.672–22:20.332
感谢收看
感谢收看
22:20.332–22:21.000
我们下期再见
我们下期再见
尚未產生學習筆記
請在 Telegram 指令最後加上「學習」,例如:videonote 網址 英文 雙語 學習