0:00.000–0:04.430
zhChatGPT主創人員之一表示他讓他感到心碎。
0:04.430–0:08.667
zhDiogo Ameta曾是OpenAI研究員,
0:08.667–0:12.711
zh參與構建了聊天機器人並共同發明了RLHF,
0:12.711–0:15.215
zh即基於人類反饋的強化學習。
0:15.215–0:19.067
zh這很可能是造就當前AI時代最關鍵的技術。
0:19.067–0:21.763
zh但他卻感到失望用他的話來說,
0:21.763–0:23.496
zh我們空有驚人潛力,
0:23.496–0:26.000
zh卻無法將其轉化為實際用途。
0:26.000–0:27.006
zh他的观点是,
0:27.006–0:30.022
zh整个行业一直在针对人类语言进行优化,
0:30.022–0:32.536
zh模型在这方面已出色了四年之久,
0:32.536–0:34.380
zh但这并不能带来自动化。
0:34.800–0:37.313
zh毕竟计算机的语言与人类不同,
0:37.313–0:38.569
zh他在发布文中,
0:38.569–0:39.108
zh反问,
0:39.108–0:41.800
zh模型在对话方面已超越人类多年。
0:42.600–0:44.021
zh那自动化究竟在哪?
0:44.021–0:46.705
zh他曾以为对话模型能通向API调用,
0:46.705–0:48.283
zh但尽管外界喧嚣不断,
0:48.283–0:50.020
zh显然还缺了关键的一环。
0:50.020–0:52.500
zh于是两年前他离开了OpenAI
0:52.500–0:54.300
zh创办了TypeSafe AI
0:54.300–0:57.740
zh并出任联合创始人兼CEO
0:57.740–0:59.520
zh他们融资4000万美元
0:59.520–1:00.940
zh潜心研发两年
1:00.940–1:04.020
zh并于9月15日周二发布了JEFF
1:04.020–1:06.400
zh这是他们首个系统一模型一类
1:06.400–1:07.780
zh全新的前沿模型
1:07.780–1:10.780
zh能直接为软件提供快速的结构化决策
1:10.780–1:14.960
zh最奇特的一点是他基于Transformer架构
1:14.960–1:16.840
zh但他并非大语言模型
1:16.840–1:18.980
zh他不输出文本而是返回概率
1:18.980–1:21.200
zh即他们所说的校准决策
1:21.200–1:24.460
zhAlmeta将其称为机器原生人工智能
1:24.460–1:29.500
zh因为如果人工智能要改变工作流程
1:29.500–1:31.900
zh人类不能是智能的唯一受众
1:31.900–1:35.260
zhTypeSafe将其称为前沿智能函数
1:35.260–1:38.440
zh输入非结构化状态输出类型化的概率决策
1:38.440–1:41.360
zh输出结果可以是Jason
1:41.360–1:43.400
zh也可以只是一个简单的字符串
1:43.400–1:45.540
zh比如我的卡被重复扣费了
1:45.540–1:48.780
zh随后你可以使用名为Choice Score的原语来提问
1:48.780–1:52.000
zh以及NEO他们会返回类型化的选择评分
1:52.000–1:55.480
zh或是带有概率的不耳直答案全部并行评估
1:55.480–1:56.780
zh以工单分类为例
1:56.780–2:00.500
zh假设你需要决定有哪个部门处理客户咨询
2:00.500–2:03.040
zh你会得到账务0.08
2:03.040–2:04.360
zh技术0.85
2:04.360–2:07.720
zh销售0.07
2:07.720–2:08.840
zh智信度0.82
2:08.840–2:10.800
zh这对人类而言毫无意义
2:10.800–2:12.900
zh但对代码来说却非常完美
2:12.900–2:15.180
zh因为可以直接据此进行逻辑分支
2:15.180–2:16.560
zh这就是名字的由来
2:16.560–2:19.380
zh类型安全是指程序捕获异常数据的方式
2:19.380–2:22.020
zh即防止程序遇到预期之外的情况
2:22.020–2:23.340
zh比如试图用整数
2:23.340–2:25.480
zh去除以字符串而使用Jeff
2:25.480–2:27.520
zh你可以预先定义输出格式
2:27.520–2:29.900
zh它绝不会输出结构以外的内容
2:29.900–2:31.920
zh省去了解析与验证的麻烦
2:31.920–2:34.300
zh而大语言模型输出的只是一个字符串
2:34.300–2:35.480
zh可能是对话回复
2:35.480–2:36.160
zh可能是代码
2:36.160–2:37.220
zh可能是幻觉
2:37.220–2:38.320
zh也可能是拒绝回答
2:38.320–2:40.560
zh又或是带有风险的结构化数据
2:40.560–2:42.080
zh稍不留神就会失控
2:42.080–2:44.360
zh你当然能用代码封装大语言模型
2:44.360–2:46.220
zh但这正是Jeff的优势所在
2:46.220–2:46.860
enType Safe
2:46.860–2:48.640
zh声称它不会产生幻觉
2:48.640–2:50.880
zh在处理系统一任务时
2:50.880–2:53.080
zh其表现足以媲美大语言模型
2:53.080–2:54.880
zh且速度快了两个数量级
2:54.880–2:57.240
zh效率也更高在其底层架构下
2:57.240–3:00.140
zh采用了一种全新的并行采样器架构
3:00.140–3:03.320
zh以及一种名为强化学习的训练方法
3:03.320–3:04.920
zh即基于校准决策
3:04.920–3:06.280
zh简称RLCD
3:06.280–3:10.080
zhThe Register将RLCD归类为一种架构
3:10.080–3:12.200
zh但它本质上是一种训练方法
3:12.200–3:14.220
zh也是他们对RLHF的回应
3:14.220–3:16.600
zh像GPD 5.6 Terra这类模型
3:16.600–3:18.200
zh每次只能生成一个Token
3:18.200–3:21.220
zh每个Token都依赖前一个Jeff
3:21.220–3:23.040
zh就能一次性生成所有结果
3:23.040–3:25.400
zh通过单次硬件感知查询实现
3:25.400–3:27.360
zh它基于结构化程序状态
3:27.360–3:28.660
zh而非序列消息构建
3:28.660–3:30.700
zh他们认为放弃字符串
3:30.700–3:32.180
zh赋予了模型超能力
3:32.180–3:33.640
zh而且速度快得惊人
3:33.640–3:34.540
zh这就是TypeSafe
3:34.540–3:36.420
zh前沿大模型处理耗时
3:36.420–3:38.660
zh3到329秒端到端
3:38.660–3:40.340
zh人类用者还行
3:40.340–3:42.260
zh但在代码自动化场景下
3:42.260–3:43.580
zh就是瓶颈Jeff只需
3:43.580–3:45.100
zh70到500毫秒
3:45.100–3:47.200
zh速度快了40到200倍
3:47.200–3:50.400
zh在TechCrunch报道的对比演示中
3:50.400–3:55.320
zh截图显示Jeff响应仅需0.114秒
3:55.320–3:58.540
zh而Tara则用了8.566秒
3:58.540–3:59.840
zh更惊人的是价格
3:59.840–4:02.160
zh大模型每百万输入Token收费
4:02.160–4:03.680
zh20美分到10美元
4:03.680–4:05.800
zh输出费用是输入的5倍
4:05.800–4:10.600
zh而Jeff每百万Token仅需0.042美元
4:10.600–4:13.300
zh也就是每10亿Token仅需42美元
4:13.300–4:14.760
zh没错他们按10亿单位计费
4:14.760–4:16.000
zh输出成本极低
4:16.000–4:16.980
zh几乎可以忽略不计
4:16.980–4:19.080
zhTara模型输入为每百万两美元
4:19.080–4:21.680
zh输出则为每百万十二美元
4:21.680–4:23.320
zh数据显示Jeff模型
4:23.320–4:25.880
zh比Fable 5.1便宜了238倍
4:25.880–4:27.420
zh再来说说自信度
4:27.420–4:30.900
zh这恐怕是最被低估的一点大模型
4:30.900–4:31.940
zh往往过度自信
4:31.940–4:34.440
zh且对自身确信度的评估前后不一
4:34.440–4:37.700
zh如果一个模型能在95%的情况下完成任务
4:37.700–4:38.900
zh但却无法告诉你
4:38.900–4:39.980
zh它何时会出错
4:39.980–4:41.200
zh你就无法实现自动化
4:41.200–4:42.500
zhJeff的自信度
4:42.500–4:43.420
zh经过了较准
4:43.420–4:45.400
zh自信度越高
4:45.400–4:46.560
zh准确率也就越高
4:46.560–4:48.800
zh相似的输入会得到相似的答案
4:48.800–4:50.880
zhIron DL的首席技术官
4:50.880–4:52.160
zhArmond Risser表示
4:52.160–4:54.300
zh这让开源模型得以发挥其效用
4:54.300–4:56.720
zh他告诉TechCrunch
4:56.720–4:58.060
zh这实际上是将
4:58.060–5:00.580
zh幻觉问题交由用户自行把控
5:00.580–5:03.120
zh自信度5x10如抛硬币直接忽略
5:03.120–5:05.020
zh9x50则果断执行
5:05.020–5:07.020
zh面对高调的声称TypeSafe
5:07.020–5:07.800
zh心知肚明
5:07.800–5:09.500
zh正如文中那句
5:09.500–5:11.540
zh非凡的结论需要非凡的证据
5:11.540–5:14.540
zh下方还附上了有图有真相的证据配文
5:14.540–5:16.020
zh还带了个图指甲油的表情
5:16.020–5:17.680
zh他们自称欢迎质疑
5:17.680–5:19.200
zh因为他们自己就是怀疑论者
5:19.200–5:20.460
zh值得称赞的是
5:20.460–5:23.020
zh他们在速度优化上确实下足了功夫
5:23.020–5:24.200
zh你可以亲自验证
5:24.200–5:27.200
zh这些模型多运行在西海岸的笔记本上
5:27.200–5:30.020
zh也就是该服务的所在地定价方面很透明
5:30.020–5:32.900
zh但他们坦言无法证明其未获补贴
5:32.900–5:35.440
zh并预计价格未来会进一步下降
5:35.440–5:37.220
zh且不存在类型错误
5:37.220–5:39.060
zh虽然一个反例就能将其推翻
5:39.060–5:41.100
zh但这在数学上是不可能的
5:41.100–5:42.940
zh他们说在Terra演示中
5:42.940–5:45.460
zh他们坦言查询过程经过了高度简化
5:45.460–5:47.580
zh使用了可读的问题件外加一段
5:47.580–5:49.580
zh有利于Jeff的密集状态描述
5:49.580–5:50.900
zh从而美化了其表现
5:50.900–5:52.920
zh他们选用了默认推理的Terra
5:52.920–5:55.260
zh认为其智力水平最接近Jeff
5:55.260–5:58.360
zh唯一的意见分歧在于流失可能性的判断
5:58.360–6:01.280
zh他们称之为真正的魔能两可有趣的是
6:01.280–6:04.460
zh正是类似的演示说服了他们全力投入
6:04.460–6:08.340
zh更有利的证据是他们的工作流评估
6:08.340–6:10.420
zh旨在衡量AI在代码环境下的表现
6:10.420–6:11.800
zh没有标准答案标签
6:11.800–6:13.460
zh也不对评估框架进行微调
6:13.460–6:15.900
zh迎演导致过你和每个模型
6:15.900–6:17.300
zh都运行相同的工作流
6:17.300–6:20.740
zh并根据GT6 Extra的平均表现评分
6:20.740–6:22.580
zh以及Fable 5.1他们说
6:22.580–6:24.340
zhJeff 稳居 帕雷托 前沿
6:24.340–6:27.540
zh在近两个数量级的范围内
6:27.540–6:30.100
zh且由大语言模型处理所有逻辑
6:30.100–6:32.920
zh比起遵循工作流思维链的表现
6:32.920–6:33.880
zh明显差得多
6:33.880–6:36.340
zh这些调用远比演示案例复杂
6:36.340–6:37.840
zh更接近实际生产环境
6:37.840–6:40.880
zh他们将结果发布在评估网站上
6:40.880–6:42.680
zh他们认为可靠的工作流
6:42.680–6:44.820
zh是有许多小型的独立
6:44.820–6:46.300
zh由概率驱动的问题
6:46.300–6:48.240
zh组成最终导向一个分支
6:48.240–6:48.740
zh这就是
6:48.740–6:50.720
zh他们主页上那些数据的来源
6:50.720–6:51.360
zh也就是100
6:51.360–6:53.300
zh93.6倍的提速
6:53.300–6:56.240
zh以及444.6倍的成本缩减
6:56.240–6:58.800
zhVirtue将其四舍侮入为100
6:58.800–7:00.260
zh94和400
7:00.260–7:01.460
zh即45倍
7:01.460–7:03.280
zh这大概是实际应用中的上限
7:03.280–7:04.980
zh他们声称这些工作流
7:04.980–7:06.020
zh并非刻意挑选
7:06.020–7:08.220
zh且不在训练数据分布之内
7:08.220–7:10.600
zh但毕竟是他们自家团队构建的
7:10.600–7:12.760
zh所以难免存在偏差Astra
7:12.760–7:14.280
zh和Fable的参考案例
7:14.280–7:16.740
zh可能更偏向OpenAI和Anthlopic
7:16.740–7:19.400
zh所以他们认为自己可能还低估了性能
7:19.400–7:21.220
zh以及DeepSeek这些大模型
7:21.220–7:23.960
zh都是通过TypeSafe的开源系统运行的
7:23.960–7:26.280
zh即针对Python的大模型封装库
7:26.280–7:29.360
zh他们称这是获取大模型决策最准确的方式
7:29.360–7:32.060
zh但处理幻觉时速度较慢成本也更高
7:32.060–7:34.380
zh他们视类型安全为基本门槛
7:34.380–7:35.560
zh对智能体来说
7:35.560–7:37.840
zh工具调用产生幻觉是不可接受的
7:37.840–7:39.780
zh但对于有延迟要求的系统
7:39.780–7:40.820
zh这是致命的缺陷
7:40.820–7:42.940
zh或是深埋在依赖链的底层
7:42.940–7:45.380
zh即便是最强的模型也难免出错
7:45.380–7:48.820
zh它们的大模型指标来自OpenRouter
7:48.820–7:51.780
zh复杂查询会被自动路由到更强的模型
7:51.780–7:53.820
zhJeff的零错误率不是测出来的
7:53.820–7:55.480
zh而是由模式匹配保证的
7:55.480–7:57.180
zhThe Register的反驳很重肯
7:57.180–7:58.880
zhJeff并不生成自然语言
8:14.423–8:16.503
zh以此演示其具备的实时智能
8:16.503–8:18.003
zh据他们说
8:18.003–8:20.403
zh工程师曾担心每秒十次查询
8:20.403–8:22.583
zh以及每小时七美元的成本
8:22.583–8:24.503
zh团队认为这比预期更低
8:24.503–8:26.503
zh他读取的是文本
8:26.503–8:28.223
zh而非图像格式的游戏状态
8:28.223–8:29.163
zh暂时还不是
8:29.163–8:32.003
zh他们也承认非AI机器人玩起来会更强
8:32.003–8:33.163
zh但他们想要的是
8:33.163–8:35.503
zh能适应多种游戏状态表达的AI
8:35.503–8:37.023
zh且能听从指令
8:37.023–8:38.963
zh用他们的话说着酷毙了
8:38.963–8:41.883
zh演示和黑客松活动即将开启
8:41.883–8:42.743
zh还有危机竞速
8:42.743–8:47.543
zh仅靠点击链接在成百上千个页面间穿梭
8:47.543–8:49.583
zh每一步都有上千种选择
8:49.583–8:51.863
zh充分展现了其极高的处理效率
8:51.863–8:56.683
zh面对海量选项不产生幻觉的优势会不断叠加
8:56.683–8:59.143
zhJeff支持的基数上限为200
8:59.143–9:00.603
zh一旦超过这个数值
9:00.603–9:03.263
zh他会独立评估各个链接再进行选择
9:03.263–9:05.203
zh因此偶尔会出现减速
9:05.203–9:08.883
zh毕竟大模型没有推理过程整体提速空间有限
9:08.883–9:12.623
zh但Astra设为最低档以保证流畅度的情况除外
9:12.623–9:15.763
zh而且Jeff往往能以更少的步骤完成任务
9:15.763–9:16.963
zh这是我最喜欢的一点
9:16.963–9:20.563
zh第二和第三项挑战的起始页面都随机抽到了小黄鸭
9:20.563–9:23.343
zh直到团队指出来作者才发现这一点
9:23.343–9:26.943
zh开发者们蜂拥而至导致需求激增
9:26.943–9:30.523
zh以至于TypeSafe的API一度无法为用户提供服务
9:30.523–9:31.543
zh据TechCrunch报道
9:31.543–9:33.543
zh开发者将其视为一种更经济
9:33.543–9:35.923
zh更稳健的智能集成方案
9:35.923–9:39.323
zhAdversal公司的工程师Branet Sharma表示
9:39.323–9:42.443
zh他们此前一直在使用指令安全分类器
9:42.443–9:45.023
zh基于OpenAI的GPD-4O Mini模型
9:45.023–9:46.183
zh但换成Jeff后
9:46.183–9:48.563
zh处理速度提升了5到18倍
9:48.563–9:50.223
zh且准确度更高
9:50.223–9:53.063
zhBrio AI的CTO Nikhil Matokar
9:53.063–9:54.703
zh在处理商务邮件时
9:54.703–9:57.123
zh对比了Gemini的准确率
9:57.123–9:57.723
zh略胜一筹
9:57.723–10:00.523
zh但成本却高出10到20倍
10:00.523–10:01.943
zh让他感到震惊的是
10:01.943–10:04.443
zh况且Jeff是唯一能提供
10:04.443–10:06.063
zh真实概率反馈的模型
10:06.063–10:07.783
zh他认为这使其成为
10:07.783–10:09.703
zh自动化工作流的理想之选
10:09.703–10:12.163
zhAI Gateway的数据表现简直惊人
10:12.163–10:13.663
zh发布24小时内
10:13.663–10:15.983
zhJeff吸引的付费团队数量
10:15.983–10:17.763
zh是此前任何模型的两倍多
10:17.763–10:20.583
zh这是Gateway历史上普及最快的模型
10:20.583–10:22.803
zh12小时内就超越了所有竞品
10:22.803–10:24.583
zh第18小时就覆盖了
10:24.583–10:25.843
zh1%的付费团队
10:25.843–10:28.523
zh第24小时是接近13%
10:28.523–10:31.523
zh是GPT 5.6系列的两倍
10:31.523–10:34.383
zh更是Fable 5.1的6倍多
10:34.383–10:36.603
zh而其他近期发布的模型
10:36.603–10:38.263
zh均未超过7%
10:38.263–10:39.883
zh首日数据就足以证明
10:39.883–10:43.743
zh专用模型投入生产环境的速度有多快
10:43.743–10:47.223
zh但真正的考验在于持久性谈到具体用途
10:47.223–10:50.363
zhPerser提到智能体可以自主选择下一个工具
10:50.363–10:55.883
zh或在子智能体的工作流中决定是继续重视还是询问用户
10:55.883–10:58.823
zh亦或在行动前先评估风险并决定是否终止
10:58.823–11:01.543
zh并将无法确定的情况转交人工处理
11:01.543–11:04.683
zhTypeSafe将其称为智能异服语句或模糊规则
11:04.683–11:07.143
zh因为手写逻辑往往过于脆弱
11:07.143–11:08.383
zh他们还建议使用Map
11:08.383–11:11.923
zh将PB级数据精炼为特征以支持实时应用
11:11.923–11:15.743
zh毕竟100毫秒的延迟完全在用户体验的可控范围内
11:15.743–11:18.663
zh从推理过程到越狱尝试全程进行验证
11:18.663–11:21.543
zhAmata希望人们能用它来监控智能体
11:21.543–11:23.963
zh由于智能体互间成本高昂
11:23.963–11:26.863
zhRuniker建议采用实时模型路由
11:26.863–11:31.263
zhThe Register补充到聊天机器人人由LLM架构主导
11:31.263–11:36.343
zh编程助手代码智能体以及数学证明或演示等可验证任务
11:36.343–11:39.043
zh而这正如Type Safe戏称的那样
11:39.043–11:40.743
zh效果时好时坏
11:40.743–11:42.303
zh至于内部究竟如何
11:42.303–11:43.643
zhAmita手口如瓶
11:43.643–11:46.483
zh外界普遍怀疑其底层使用的是
11:46.483–11:47.843
zh开源权重的大模型
11:47.843–11:50.643
zh尽管Jeff称其FAQ文档内容并不短
11:50.643–11:54.283
zhJeff模型完全采用合成数据进行训练
11:54.283–11:56.263
zhAmita告诉TechCrunch
11:56.263–11:59.663
zh资产数据是他人生中最成功的豪赌之一
11:59.663–12:02.263
zh比发布产品更成功
12:02.263–12:03.803
zh也优于RLHF
12:03.803–12:07.143
zhTypeSafe自诩为一家核心的数据研究实验室
12:07.143–12:09.443
zh公司半数员工几乎主导了
12:09.443–12:12.583
zh统计学可控合成数据这一细分领域
12:12.583–12:14.383
zh这已成他毕生乐趣
12:14.383–12:17.563
zh即便你请求他们也不会用你的数据训练请见谅
12:17.563–12:18.723
zh想了解细节
12:18.723–12:20.463
zh得先被他们录用
12:20.463–12:23.283
zh这就是他们所奉行的苦涩教训
12:23.283–12:26.503
zh优化任务远比堆砌数据和算力重要
12:26.503–12:29.943
zh或是RLHF这类针对文本优化的算法
12:29.943–12:32.163
zh人类评估员偏好虽然适合聊天
12:32.163–12:33.503
zh却不适用于自动化任务
12:33.503–12:37.543
zh且RLHF仅适用于程序可校验的任务
12:37.543–12:40.283
zh导致其现实判断波动极大
12:40.283–12:41.803
zh智能表现不够稳健
12:41.803–12:43.343
zh系统1这一名称
12:43.343–12:45.263
zh源自卡尼曼的思考快与曼
12:45.263–12:46.963
zh尽管在传统认知中
12:46.963–12:48.803
zh系统1往往意味着一出错
12:48.803–12:51.163
zh但他们认为这些模型
12:51.163–12:52.803
zh其实比其他方案更可靠
12:52.803–12:55.403
zh他们还完全放弃了公开基准测试
12:55.403–12:56.843
zh仅提供一次性评估
12:56.843–12:59.483
zh并推动用户自行构建评估体系
12:59.483–13:02.403
zh因为系统1任务更易于评估
13:02.403–13:05.603
zh甚至还有篇题为反基准优化的文章
13:05.603–13:08.003
zhJeff 这个名字源自威廉 Tauffell
13:08.003–13:11.403
zh这位19世纪的经济学家提出了一个悖论
13:11.403–13:13.203
zh当蒸汽机效率提升
13:13.203–13:16.403
zh煤炭需求反而不降反升他们压住的是
13:17.803–13:20.003
zh智能成本每降低一个数量级
13:20.003–13:22.803
zh就会解锁多出数个数量级的应用场景
13:24.003–13:26.803
zh阿尔梅达预见智能软件将无处不再呈现出涌现性
13:26.803–13:30.203
zh且更像早期互联网那样分布化而非如今的超级应用
13:30.203–13:31.803
zh但The Register 指出
13:31.803–13:33.163
zh这建立在一个假设之上
13:33.163–13:35.063
zh即Token的需求会像能源一样广泛
13:35.063–13:37.263
zh这尚未有定论PO研究中心
13:37.263–13:40.703
zh发现许多能用上AI的人根本找不到用处
13:40.703–13:44.923
zhCNBC调查显示另一些人则出于道德顾虑排斥AI
13:44.923–13:47.543
zh目前Jeff依然是特例
13:47.543–13:50.083
zh但Renneker预计竞争终会出现
13:50.083–13:52.383
zh他感叹我们本应早点看透这一点
13:52.383–13:54.343
zh毕竟大语言模型太便宜了
13:54.343–13:56.983
zh再加上补贴人们往往懒得去创新
13:56.983–14:00.143
zh但TypeSafe正在开发更多新模态版本
14:00.143–14:03.203
zh并开始从后补名单中邀请开发者
14:03.203–14:05.403
zh询问他们想实现什么样的科幻构想
14:05.403–14:07.163
zh当TypeCrunch问起TypeSafe
14:07.163–14:08.743
zh是否属于前沿实验室时
14:08.743–14:11.183
zhAlmeta直言前沿实验室的主打产品
14:11.183–14:12.323
zh无非是恐惧和炒作
14:12.323–14:14.203
zh它追求的是真正智能
14:14.203–14:15.923
zh而非一场无限财富的豪赌
14:15.923–14:17.303
zh也不是某种宗教
14:17.303–14:19.123
zh更不是在数据中心里创造神
14:19.123–14:20.523
zh总之 这是Jeff
14:20.523–14:22.303
zh欢迎在评论区留言分享
14:22.303–14:23.463
zh你会如何使用它
14:23.463–14:24.083
zh感谢观看
14:24.083–14:25.303
zh我们下期见
0:00.000–0:04.430
ChatGPT主創人員之一表示他讓他感到心碎。
0:04.430–0:08.667
Diogo Ameta曾是OpenAI研究員,
0:08.667–0:12.711
參與構建了聊天機器人並共同發明了RLHF,
0:12.711–0:15.215
即基於人類反饋的強化學習。
0:15.215–0:19.067
這很可能是造就當前AI時代最關鍵的技術。
0:19.067–0:21.763
但他卻感到失望用他的話來說,
0:21.763–0:23.496
我們空有驚人潛力,
0:23.496–0:26.000
卻無法將其轉化為實際用途。
0:26.000–0:27.006
他的观点是,
0:27.006–0:30.022
整个行业一直在针对人类语言进行优化,
0:30.022–0:32.536
模型在这方面已出色了四年之久,
0:32.536–0:34.380
但这并不能带来自动化。
0:34.800–0:37.313
毕竟计算机的语言与人类不同,
0:37.313–0:38.569
他在发布文中,
0:38.569–0:39.108
反问,
0:39.108–0:41.800
模型在对话方面已超越人类多年。
0:42.600–0:44.021
那自动化究竟在哪?
0:44.021–0:46.705
他曾以为对话模型能通向API调用,
0:46.705–0:48.283
但尽管外界喧嚣不断,
0:48.283–0:50.020
显然还缺了关键的一环。
0:50.020–0:52.500
于是两年前他离开了OpenAI
0:52.500–0:54.300
创办了TypeSafe AI
0:54.300–0:57.740
并出任联合创始人兼CEO
0:57.740–0:59.520
他们融资4000万美元
0:59.520–1:00.940
潜心研发两年
1:00.940–1:04.020
并于9月15日周二发布了JEFF
1:04.020–1:06.400
这是他们首个系统一模型一类
1:06.400–1:07.780
全新的前沿模型
1:07.780–1:10.780
能直接为软件提供快速的结构化决策
1:10.780–1:14.960
最奇特的一点是他基于Transformer架构
1:14.960–1:16.840
但他并非大语言模型
1:16.840–1:18.980
他不输出文本而是返回概率
1:18.980–1:21.200
即他们所说的校准决策
1:21.200–1:24.460
Almeta将其称为机器原生人工智能
1:24.460–1:29.500
因为如果人工智能要改变工作流程
1:29.500–1:31.900
人类不能是智能的唯一受众
1:31.900–1:35.260
TypeSafe将其称为前沿智能函数
1:35.260–1:38.440
输入非结构化状态输出类型化的概率决策
1:38.440–1:41.360
输出结果可以是Jason
1:41.360–1:43.400
也可以只是一个简单的字符串
1:43.400–1:45.540
比如我的卡被重复扣费了
1:45.540–1:48.780
随后你可以使用名为Choice Score的原语来提问
1:48.780–1:52.000
以及NEO他们会返回类型化的选择评分
1:52.000–1:55.480
或是带有概率的不耳直答案全部并行评估
1:55.480–1:56.780
以工单分类为例
1:56.780–2:00.500
假设你需要决定有哪个部门处理客户咨询
2:00.500–2:03.040
你会得到账务0.08
2:03.040–2:04.360
技术0.85
2:04.360–2:07.720
销售0.07
2:07.720–2:08.840
智信度0.82
2:08.840–2:10.800
这对人类而言毫无意义
2:10.800–2:12.900
但对代码来说却非常完美
2:12.900–2:15.180
因为可以直接据此进行逻辑分支
2:15.180–2:16.560
这就是名字的由来
2:16.560–2:19.380
类型安全是指程序捕获异常数据的方式
2:19.380–2:22.020
即防止程序遇到预期之外的情况
2:22.020–2:23.340
比如试图用整数
2:23.340–2:25.480
去除以字符串而使用Jeff
2:25.480–2:27.520
你可以预先定义输出格式
2:27.520–2:29.900
它绝不会输出结构以外的内容
2:29.900–2:31.920
省去了解析与验证的麻烦
2:31.920–2:34.300
而大语言模型输出的只是一个字符串
2:34.300–2:35.480
可能是对话回复
2:35.480–2:36.160
可能是代码
2:36.160–2:37.220
可能是幻觉
2:37.220–2:38.320
也可能是拒绝回答
2:38.320–2:40.560
又或是带有风险的结构化数据
2:40.560–2:42.080
稍不留神就会失控
2:42.080–2:44.360
你当然能用代码封装大语言模型
2:44.360–2:46.220
但这正是Jeff的优势所在
2:46.220–2:46.860
Type Safe
2:46.860–2:48.640
声称它不会产生幻觉
2:48.640–2:50.880
在处理系统一任务时
2:50.880–2:53.080
其表现足以媲美大语言模型
2:53.080–2:54.880
且速度快了两个数量级
2:54.880–2:57.240
效率也更高在其底层架构下
2:57.240–3:00.140
采用了一种全新的并行采样器架构
3:00.140–3:03.320
以及一种名为强化学习的训练方法
3:03.320–3:04.920
即基于校准决策
3:04.920–3:06.280
简称RLCD
3:06.280–3:10.080
The Register将RLCD归类为一种架构
3:10.080–3:12.200
但它本质上是一种训练方法
3:12.200–3:14.220
也是他们对RLHF的回应
3:14.220–3:16.600
像GPD 5.6 Terra这类模型
3:16.600–3:18.200
每次只能生成一个Token
3:18.200–3:21.220
每个Token都依赖前一个Jeff
3:21.220–3:23.040
就能一次性生成所有结果
3:23.040–3:25.400
通过单次硬件感知查询实现
3:25.400–3:27.360
它基于结构化程序状态
3:27.360–3:28.660
而非序列消息构建
3:28.660–3:30.700
他们认为放弃字符串
3:30.700–3:32.180
赋予了模型超能力
3:32.180–3:33.640
而且速度快得惊人
3:33.640–3:34.540
这就是TypeSafe
3:34.540–3:36.420
前沿大模型处理耗时
3:36.420–3:38.660
3到329秒端到端
3:38.660–3:40.340
人类用者还行
3:40.340–3:42.260
但在代码自动化场景下
3:42.260–3:43.580
就是瓶颈Jeff只需
3:43.580–3:45.100
70到500毫秒
3:45.100–3:47.200
速度快了40到200倍
3:47.200–3:50.400
在TechCrunch报道的对比演示中
3:50.400–3:55.320
截图显示Jeff响应仅需0.114秒
3:55.320–3:58.540
而Tara则用了8.566秒
3:58.540–3:59.840
更惊人的是价格
3:59.840–4:02.160
大模型每百万输入Token收费
4:02.160–4:03.680
20美分到10美元
4:03.680–4:05.800
输出费用是输入的5倍
4:05.800–4:10.600
而Jeff每百万Token仅需0.042美元
4:10.600–4:13.300
也就是每10亿Token仅需42美元
4:13.300–4:14.760
没错他们按10亿单位计费
4:14.760–4:16.000
输出成本极低
4:16.000–4:16.980
几乎可以忽略不计
4:16.980–4:19.080
Tara模型输入为每百万两美元
4:19.080–4:21.680
输出则为每百万十二美元
4:21.680–4:23.320
数据显示Jeff模型
4:23.320–4:25.880
比Fable 5.1便宜了238倍
4:25.880–4:27.420
再来说说自信度
4:27.420–4:30.900
这恐怕是最被低估的一点大模型
4:30.900–4:31.940
往往过度自信
4:31.940–4:34.440
且对自身确信度的评估前后不一
4:34.440–4:37.700
如果一个模型能在95%的情况下完成任务
4:37.700–4:38.900
但却无法告诉你
4:38.900–4:39.980
它何时会出错
4:39.980–4:41.200
你就无法实现自动化
4:41.200–4:42.500
Jeff的自信度
4:42.500–4:43.420
经过了较准
4:43.420–4:45.400
自信度越高
4:45.400–4:46.560
准确率也就越高
4:46.560–4:48.800
相似的输入会得到相似的答案
4:48.800–4:50.880
Iron DL的首席技术官
4:50.880–4:52.160
Armond Risser表示
4:52.160–4:54.300
这让开源模型得以发挥其效用
4:54.300–4:56.720
他告诉TechCrunch
4:56.720–4:58.060
这实际上是将
4:58.060–5:00.580
幻觉问题交由用户自行把控
5:00.580–5:03.120
自信度5x10如抛硬币直接忽略
5:03.120–5:05.020
9x50则果断执行
5:05.020–5:07.020
面对高调的声称TypeSafe
5:07.020–5:07.800
心知肚明
5:07.800–5:09.500
正如文中那句
5:09.500–5:11.540
非凡的结论需要非凡的证据
5:11.540–5:14.540
下方还附上了有图有真相的证据配文
5:14.540–5:16.020
还带了个图指甲油的表情
5:16.020–5:17.680
他们自称欢迎质疑
5:17.680–5:19.200
因为他们自己就是怀疑论者
5:19.200–5:20.460
值得称赞的是
5:20.460–5:23.020
他们在速度优化上确实下足了功夫
5:23.020–5:24.200
你可以亲自验证
5:24.200–5:27.200
这些模型多运行在西海岸的笔记本上
5:27.200–5:30.020
也就是该服务的所在地定价方面很透明
5:30.020–5:32.900
但他们坦言无法证明其未获补贴
5:32.900–5:35.440
并预计价格未来会进一步下降
5:35.440–5:37.220
且不存在类型错误
5:37.220–5:39.060
虽然一个反例就能将其推翻
5:39.060–5:41.100
但这在数学上是不可能的
5:41.100–5:42.940
他们说在Terra演示中
5:42.940–5:45.460
他们坦言查询过程经过了高度简化
5:45.460–5:47.580
使用了可读的问题件外加一段
5:47.580–5:49.580
有利于Jeff的密集状态描述
5:49.580–5:50.900
从而美化了其表现
5:50.900–5:52.920
他们选用了默认推理的Terra
5:52.920–5:55.260
认为其智力水平最接近Jeff
5:55.260–5:58.360
唯一的意见分歧在于流失可能性的判断
5:58.360–6:01.280
他们称之为真正的魔能两可有趣的是
6:01.280–6:04.460
正是类似的演示说服了他们全力投入
6:04.460–6:08.340
更有利的证据是他们的工作流评估
6:08.340–6:10.420
旨在衡量AI在代码环境下的表现
6:10.420–6:11.800
没有标准答案标签
6:11.800–6:13.460
也不对评估框架进行微调
6:13.460–6:15.900
迎演导致过你和每个模型
6:15.900–6:17.300
都运行相同的工作流
6:17.300–6:20.740
并根据GT6 Extra的平均表现评分
6:20.740–6:22.580
以及Fable 5.1他们说
6:22.580–6:24.340
Jeff 稳居 帕雷托 前沿
6:24.340–6:27.540
在近两个数量级的范围内
6:27.540–6:30.100
且由大语言模型处理所有逻辑
6:30.100–6:32.920
比起遵循工作流思维链的表现
6:32.920–6:33.880
明显差得多
6:33.880–6:36.340
这些调用远比演示案例复杂
6:36.340–6:37.840
更接近实际生产环境
6:37.840–6:40.880
他们将结果发布在评估网站上
6:40.880–6:42.680
他们认为可靠的工作流
6:42.680–6:44.820
是有许多小型的独立
6:44.820–6:46.300
由概率驱动的问题
6:46.300–6:48.240
组成最终导向一个分支
6:48.240–6:48.740
这就是
6:48.740–6:50.720
他们主页上那些数据的来源
6:50.720–6:51.360
也就是100
6:51.360–6:53.300
93.6倍的提速
6:53.300–6:56.240
以及444.6倍的成本缩减
6:56.240–6:58.800
Virtue将其四舍侮入为100
6:58.800–7:00.260
94和400
7:00.260–7:01.460
即45倍
7:01.460–7:03.280
这大概是实际应用中的上限
7:03.280–7:04.980
他们声称这些工作流
7:04.980–7:06.020
并非刻意挑选
7:06.020–7:08.220
且不在训练数据分布之内
7:08.220–7:10.600
但毕竟是他们自家团队构建的
7:10.600–7:12.760
所以难免存在偏差Astra
7:12.760–7:14.280
和Fable的参考案例
7:14.280–7:16.740
可能更偏向OpenAI和Anthlopic
7:16.740–7:19.400
所以他们认为自己可能还低估了性能
7:19.400–7:21.220
以及DeepSeek这些大模型
7:21.220–7:23.960
都是通过TypeSafe的开源系统运行的
7:23.960–7:26.280
即针对Python的大模型封装库
7:26.280–7:29.360
他们称这是获取大模型决策最准确的方式
7:29.360–7:32.060
但处理幻觉时速度较慢成本也更高
7:32.060–7:34.380
他们视类型安全为基本门槛
7:34.380–7:35.560
对智能体来说
7:35.560–7:37.840
工具调用产生幻觉是不可接受的
7:37.840–7:39.780
但对于有延迟要求的系统
7:39.780–7:40.820
这是致命的缺陷
7:40.820–7:42.940
或是深埋在依赖链的底层
7:42.940–7:45.380
即便是最强的模型也难免出错
7:45.380–7:48.820
它们的大模型指标来自OpenRouter
7:48.820–7:51.780
复杂查询会被自动路由到更强的模型
7:51.780–7:53.820
Jeff的零错误率不是测出来的
7:53.820–7:55.480
而是由模式匹配保证的
7:55.480–7:57.180
The Register的反驳很重肯
7:57.180–7:58.880
Jeff并不生成自然语言
8:14.423–8:16.503
以此演示其具备的实时智能
8:16.503–8:18.003
据他们说
8:18.003–8:20.403
工程师曾担心每秒十次查询
8:20.403–8:22.583
以及每小时七美元的成本
8:22.583–8:24.503
团队认为这比预期更低
8:24.503–8:26.503
他读取的是文本
8:26.503–8:28.223
而非图像格式的游戏状态
8:28.223–8:29.163
暂时还不是
8:29.163–8:32.003
他们也承认非AI机器人玩起来会更强
8:32.003–8:33.163
但他们想要的是
8:33.163–8:35.503
能适应多种游戏状态表达的AI
8:35.503–8:37.023
且能听从指令
8:37.023–8:38.963
用他们的话说着酷毙了
8:38.963–8:41.883
演示和黑客松活动即将开启
8:41.883–8:42.743
还有危机竞速
8:42.743–8:47.543
仅靠点击链接在成百上千个页面间穿梭
8:47.543–8:49.583
每一步都有上千种选择
8:49.583–8:51.863
充分展现了其极高的处理效率
8:51.863–8:56.683
面对海量选项不产生幻觉的优势会不断叠加
8:56.683–8:59.143
Jeff支持的基数上限为200
8:59.143–9:00.603
一旦超过这个数值
9:00.603–9:03.263
他会独立评估各个链接再进行选择
9:03.263–9:05.203
因此偶尔会出现减速
9:05.203–9:08.883
毕竟大模型没有推理过程整体提速空间有限
9:08.883–9:12.623
但Astra设为最低档以保证流畅度的情况除外
9:12.623–9:15.763
而且Jeff往往能以更少的步骤完成任务
9:15.763–9:16.963
这是我最喜欢的一点
9:16.963–9:20.563
第二和第三项挑战的起始页面都随机抽到了小黄鸭
9:20.563–9:23.343
直到团队指出来作者才发现这一点
9:23.343–9:26.943
开发者们蜂拥而至导致需求激增
9:26.943–9:30.523
以至于TypeSafe的API一度无法为用户提供服务
9:30.523–9:31.543
据TechCrunch报道
9:31.543–9:33.543
开发者将其视为一种更经济
9:33.543–9:35.923
更稳健的智能集成方案
9:35.923–9:39.323
Adversal公司的工程师Branet Sharma表示
9:39.323–9:42.443
他们此前一直在使用指令安全分类器
9:42.443–9:45.023
基于OpenAI的GPD-4O Mini模型
9:45.023–9:46.183
但换成Jeff后
9:46.183–9:48.563
处理速度提升了5到18倍
9:48.563–9:50.223
且准确度更高
9:50.223–9:53.063
Brio AI的CTO Nikhil Matokar
9:53.063–9:54.703
在处理商务邮件时
9:54.703–9:57.123
对比了Gemini的准确率
9:57.123–9:57.723
略胜一筹
9:57.723–10:00.523
但成本却高出10到20倍
10:00.523–10:01.943
让他感到震惊的是
10:01.943–10:04.443
况且Jeff是唯一能提供
10:04.443–10:06.063
真实概率反馈的模型
10:06.063–10:07.783
他认为这使其成为
10:07.783–10:09.703
自动化工作流的理想之选
10:09.703–10:12.163
AI Gateway的数据表现简直惊人
10:12.163–10:13.663
发布24小时内
10:13.663–10:15.983
Jeff吸引的付费团队数量
10:15.983–10:17.763
是此前任何模型的两倍多
10:17.763–10:20.583
这是Gateway历史上普及最快的模型
10:20.583–10:22.803
12小时内就超越了所有竞品
10:22.803–10:24.583
第18小时就覆盖了
10:24.583–10:25.843
1%的付费团队
10:25.843–10:28.523
第24小时是接近13%
10:28.523–10:31.523
是GPT 5.6系列的两倍
10:31.523–10:34.383
更是Fable 5.1的6倍多
10:34.383–10:36.603
而其他近期发布的模型
10:36.603–10:38.263
均未超过7%
10:38.263–10:39.883
首日数据就足以证明
10:39.883–10:43.743
专用模型投入生产环境的速度有多快
10:43.743–10:47.223
但真正的考验在于持久性谈到具体用途
10:47.223–10:50.363
Perser提到智能体可以自主选择下一个工具
10:50.363–10:55.883
或在子智能体的工作流中决定是继续重视还是询问用户
10:55.883–10:58.823
亦或在行动前先评估风险并决定是否终止
10:58.823–11:01.543
并将无法确定的情况转交人工处理
11:01.543–11:04.683
TypeSafe将其称为智能异服语句或模糊规则
11:04.683–11:07.143
因为手写逻辑往往过于脆弱
11:07.143–11:08.383
他们还建议使用Map
11:08.383–11:11.923
将PB级数据精炼为特征以支持实时应用
11:11.923–11:15.743
毕竟100毫秒的延迟完全在用户体验的可控范围内
11:15.743–11:18.663
从推理过程到越狱尝试全程进行验证
11:18.663–11:21.543
Amata希望人们能用它来监控智能体
11:21.543–11:23.963
由于智能体互间成本高昂
11:23.963–11:26.863
Runiker建议采用实时模型路由
11:26.863–11:31.263
The Register补充到聊天机器人人由LLM架构主导
11:31.263–11:36.343
编程助手代码智能体以及数学证明或演示等可验证任务
11:36.343–11:39.043
而这正如Type Safe戏称的那样
11:39.043–11:40.743
效果时好时坏
11:40.743–11:42.303
至于内部究竟如何
11:42.303–11:43.643
Amita手口如瓶
11:43.643–11:46.483
外界普遍怀疑其底层使用的是
11:46.483–11:47.843
开源权重的大模型
11:47.843–11:50.643
尽管Jeff称其FAQ文档内容并不短
11:50.643–11:54.283
Jeff模型完全采用合成数据进行训练
11:54.283–11:56.263
Amita告诉TechCrunch
11:56.263–11:59.663
资产数据是他人生中最成功的豪赌之一
11:59.663–12:02.263
比发布产品更成功
12:02.263–12:03.803
也优于RLHF
12:03.803–12:07.143
TypeSafe自诩为一家核心的数据研究实验室
12:07.143–12:09.443
公司半数员工几乎主导了
12:09.443–12:12.583
统计学可控合成数据这一细分领域
12:12.583–12:14.383
这已成他毕生乐趣
12:14.383–12:17.563
即便你请求他们也不会用你的数据训练请见谅
12:17.563–12:18.723
想了解细节
12:18.723–12:20.463
得先被他们录用
12:20.463–12:23.283
这就是他们所奉行的苦涩教训
12:23.283–12:26.503
优化任务远比堆砌数据和算力重要
12:26.503–12:29.943
或是RLHF这类针对文本优化的算法
12:29.943–12:32.163
人类评估员偏好虽然适合聊天
12:32.163–12:33.503
却不适用于自动化任务
12:33.503–12:37.543
且RLHF仅适用于程序可校验的任务
12:37.543–12:40.283
导致其现实判断波动极大
12:40.283–12:41.803
智能表现不够稳健
12:41.803–12:43.343
系统1这一名称
12:43.343–12:45.263
源自卡尼曼的思考快与曼
12:45.263–12:46.963
尽管在传统认知中
12:46.963–12:48.803
系统1往往意味着一出错
12:48.803–12:51.163
但他们认为这些模型
12:51.163–12:52.803
其实比其他方案更可靠
12:52.803–12:55.403
他们还完全放弃了公开基准测试
12:55.403–12:56.843
仅提供一次性评估
12:56.843–12:59.483
并推动用户自行构建评估体系
12:59.483–13:02.403
因为系统1任务更易于评估
13:02.403–13:05.603
甚至还有篇题为反基准优化的文章
13:05.603–13:08.003
Jeff 这个名字源自威廉 Tauffell
13:08.003–13:11.403
这位19世纪的经济学家提出了一个悖论
13:11.403–13:13.203
当蒸汽机效率提升
13:13.203–13:16.403
煤炭需求反而不降反升他们压住的是
13:17.803–13:20.003
智能成本每降低一个数量级
13:20.003–13:22.803
就会解锁多出数个数量级的应用场景
13:24.003–13:26.803
阿尔梅达预见智能软件将无处不再呈现出涌现性
13:26.803–13:30.203
且更像早期互联网那样分布化而非如今的超级应用
13:30.203–13:31.803
但The Register 指出
13:31.803–13:33.163
这建立在一个假设之上
13:33.163–13:35.063
即Token的需求会像能源一样广泛
13:35.063–13:37.263
这尚未有定论PO研究中心
13:37.263–13:40.703
发现许多能用上AI的人根本找不到用处
13:40.703–13:44.923
CNBC调查显示另一些人则出于道德顾虑排斥AI
13:44.923–13:47.543
目前Jeff依然是特例
13:47.543–13:50.083
但Renneker预计竞争终会出现
13:50.083–13:52.383
他感叹我们本应早点看透这一点
13:52.383–13:54.343
毕竟大语言模型太便宜了
13:54.343–13:56.983
再加上补贴人们往往懒得去创新
13:56.983–14:00.143
但TypeSafe正在开发更多新模态版本
14:00.143–14:03.203
并开始从后补名单中邀请开发者
14:03.203–14:05.403
询问他们想实现什么样的科幻构想
14:05.403–14:07.163
当TypeCrunch问起TypeSafe
14:07.163–14:08.743
是否属于前沿实验室时
14:08.743–14:11.183
Almeta直言前沿实验室的主打产品
14:11.183–14:12.323
无非是恐惧和炒作
14:12.323–14:14.203
它追求的是真正智能
14:14.203–14:15.923
而非一场无限财富的豪赌
14:15.923–14:17.303
也不是某种宗教
14:17.303–14:19.123
更不是在数据中心里创造神
14:19.123–14:20.523
总之 这是Jeff
14:20.523–14:22.303
欢迎在评论区留言分享
14:22.303–14:23.463
你会如何使用它
14:23.463–14:24.083
感谢观看
14:24.083–14:25.303
我们下期见
0:00.000–0:04.430
zhChatGPT主創人員之一表示他讓他感到心碎。
ChatGPT主創人員之一表示他讓他感到心碎。
0:04.430–0:08.667
zhDiogo Ameta曾是OpenAI研究員,
Diogo Ameta曾是OpenAI研究員,
0:08.667–0:12.711
zh參與構建了聊天機器人並共同發明了RLHF,
參與構建了聊天機器人並共同發明了RLHF,
0:12.711–0:15.215
zh即基於人類反饋的強化學習。
即基於人類反饋的強化學習。
0:15.215–0:19.067
zh這很可能是造就當前AI時代最關鍵的技術。
這很可能是造就當前AI時代最關鍵的技術。
0:19.067–0:21.763
zh但他卻感到失望用他的話來說,
但他卻感到失望用他的話來說,
0:21.763–0:23.496
zh我們空有驚人潛力,
我們空有驚人潛力,
0:23.496–0:26.000
zh卻無法將其轉化為實際用途。
卻無法將其轉化為實際用途。
0:26.000–0:27.006
zh他的观点是,
他的观点是,
0:27.006–0:30.022
zh整个行业一直在针对人类语言进行优化,
整个行业一直在针对人类语言进行优化,
0:30.022–0:32.536
zh模型在这方面已出色了四年之久,
模型在这方面已出色了四年之久,
0:32.536–0:34.380
zh但这并不能带来自动化。
但这并不能带来自动化。
0:34.800–0:37.313
zh毕竟计算机的语言与人类不同,
毕竟计算机的语言与人类不同,
0:37.313–0:38.569
zh他在发布文中,
他在发布文中,
0:38.569–0:39.108
zh反问,
反问,
0:39.108–0:41.800
zh模型在对话方面已超越人类多年。
模型在对话方面已超越人类多年。
0:42.600–0:44.021
zh那自动化究竟在哪?
那自动化究竟在哪?
0:44.021–0:46.705
zh他曾以为对话模型能通向API调用,
他曾以为对话模型能通向API调用,
0:46.705–0:48.283
zh但尽管外界喧嚣不断,
但尽管外界喧嚣不断,
0:48.283–0:50.020
zh显然还缺了关键的一环。
显然还缺了关键的一环。
0:50.020–0:52.500
zh于是两年前他离开了OpenAI
于是两年前他离开了OpenAI
0:52.500–0:54.300
zh创办了TypeSafe AI
创办了TypeSafe AI
0:54.300–0:57.740
zh并出任联合创始人兼CEO
并出任联合创始人兼CEO
0:57.740–0:59.520
zh他们融资4000万美元
他们融资4000万美元
0:59.520–1:00.940
zh潜心研发两年
潜心研发两年
1:00.940–1:04.020
zh并于9月15日周二发布了JEFF
并于9月15日周二发布了JEFF
1:04.020–1:06.400
zh这是他们首个系统一模型一类
这是他们首个系统一模型一类
1:06.400–1:07.780
zh全新的前沿模型
全新的前沿模型
1:07.780–1:10.780
zh能直接为软件提供快速的结构化决策
能直接为软件提供快速的结构化决策
1:10.780–1:14.960
zh最奇特的一点是他基于Transformer架构
最奇特的一点是他基于Transformer架构
1:14.960–1:16.840
zh但他并非大语言模型
但他并非大语言模型
1:16.840–1:18.980
zh他不输出文本而是返回概率
他不输出文本而是返回概率
1:18.980–1:21.200
zh即他们所说的校准决策
即他们所说的校准决策
1:21.200–1:24.460
zhAlmeta将其称为机器原生人工智能
Almeta将其称为机器原生人工智能
1:24.460–1:29.500
zh因为如果人工智能要改变工作流程
因为如果人工智能要改变工作流程
1:29.500–1:31.900
zh人类不能是智能的唯一受众
人类不能是智能的唯一受众
1:31.900–1:35.260
zhTypeSafe将其称为前沿智能函数
TypeSafe将其称为前沿智能函数
1:35.260–1:38.440
zh输入非结构化状态输出类型化的概率决策
输入非结构化状态输出类型化的概率决策
1:38.440–1:41.360
zh输出结果可以是Jason
输出结果可以是Jason
1:41.360–1:43.400
zh也可以只是一个简单的字符串
也可以只是一个简单的字符串
1:43.400–1:45.540
zh比如我的卡被重复扣费了
比如我的卡被重复扣费了
1:45.540–1:48.780
zh随后你可以使用名为Choice Score的原语来提问
随后你可以使用名为Choice Score的原语来提问
1:48.780–1:52.000
zh以及NEO他们会返回类型化的选择评分
以及NEO他们会返回类型化的选择评分
1:52.000–1:55.480
zh或是带有概率的不耳直答案全部并行评估
或是带有概率的不耳直答案全部并行评估
1:55.480–1:56.780
zh以工单分类为例
以工单分类为例
1:56.780–2:00.500
zh假设你需要决定有哪个部门处理客户咨询
假设你需要决定有哪个部门处理客户咨询
2:00.500–2:03.040
zh你会得到账务0.08
你会得到账务0.08
2:03.040–2:04.360
zh技术0.85
技术0.85
2:04.360–2:07.720
zh销售0.07
销售0.07
2:07.720–2:08.840
zh智信度0.82
智信度0.82
2:08.840–2:10.800
zh这对人类而言毫无意义
这对人类而言毫无意义
2:10.800–2:12.900
zh但对代码来说却非常完美
但对代码来说却非常完美
2:12.900–2:15.180
zh因为可以直接据此进行逻辑分支
因为可以直接据此进行逻辑分支
2:15.180–2:16.560
zh这就是名字的由来
这就是名字的由来
2:16.560–2:19.380
zh类型安全是指程序捕获异常数据的方式
类型安全是指程序捕获异常数据的方式
2:19.380–2:22.020
zh即防止程序遇到预期之外的情况
即防止程序遇到预期之外的情况
2:22.020–2:23.340
zh比如试图用整数
比如试图用整数
2:23.340–2:25.480
zh去除以字符串而使用Jeff
去除以字符串而使用Jeff
2:25.480–2:27.520
zh你可以预先定义输出格式
你可以预先定义输出格式
2:27.520–2:29.900
zh它绝不会输出结构以外的内容
它绝不会输出结构以外的内容
2:29.900–2:31.920
zh省去了解析与验证的麻烦
省去了解析与验证的麻烦
2:31.920–2:34.300
zh而大语言模型输出的只是一个字符串
而大语言模型输出的只是一个字符串
2:34.300–2:35.480
zh可能是对话回复
可能是对话回复
2:35.480–2:36.160
zh可能是代码
可能是代码
2:36.160–2:37.220
zh可能是幻觉
可能是幻觉
2:37.220–2:38.320
zh也可能是拒绝回答
也可能是拒绝回答
2:38.320–2:40.560
zh又或是带有风险的结构化数据
又或是带有风险的结构化数据
2:40.560–2:42.080
zh稍不留神就会失控
稍不留神就会失控
2:42.080–2:44.360
zh你当然能用代码封装大语言模型
你当然能用代码封装大语言模型
2:44.360–2:46.220
zh但这正是Jeff的优势所在
但这正是Jeff的优势所在
2:46.220–2:46.860
enType Safe
Type Safe
2:46.860–2:48.640
zh声称它不会产生幻觉
声称它不会产生幻觉
2:48.640–2:50.880
zh在处理系统一任务时
在处理系统一任务时
2:50.880–2:53.080
zh其表现足以媲美大语言模型
其表现足以媲美大语言模型
2:53.080–2:54.880
zh且速度快了两个数量级
且速度快了两个数量级
2:54.880–2:57.240
zh效率也更高在其底层架构下
效率也更高在其底层架构下
2:57.240–3:00.140
zh采用了一种全新的并行采样器架构
采用了一种全新的并行采样器架构
3:00.140–3:03.320
zh以及一种名为强化学习的训练方法
以及一种名为强化学习的训练方法
3:03.320–3:04.920
zh即基于校准决策
即基于校准决策
3:04.920–3:06.280
zh简称RLCD
简称RLCD
3:06.280–3:10.080
zhThe Register将RLCD归类为一种架构
The Register将RLCD归类为一种架构
3:10.080–3:12.200
zh但它本质上是一种训练方法
但它本质上是一种训练方法
3:12.200–3:14.220
zh也是他们对RLHF的回应
也是他们对RLHF的回应
3:14.220–3:16.600
zh像GPD 5.6 Terra这类模型
像GPD 5.6 Terra这类模型
3:16.600–3:18.200
zh每次只能生成一个Token
每次只能生成一个Token
3:18.200–3:21.220
zh每个Token都依赖前一个Jeff
每个Token都依赖前一个Jeff
3:21.220–3:23.040
zh就能一次性生成所有结果
就能一次性生成所有结果
3:23.040–3:25.400
zh通过单次硬件感知查询实现
通过单次硬件感知查询实现
3:25.400–3:27.360
zh它基于结构化程序状态
它基于结构化程序状态
3:27.360–3:28.660
zh而非序列消息构建
而非序列消息构建
3:28.660–3:30.700
zh他们认为放弃字符串
他们认为放弃字符串
3:30.700–3:32.180
zh赋予了模型超能力
赋予了模型超能力
3:32.180–3:33.640
zh而且速度快得惊人
而且速度快得惊人
3:33.640–3:34.540
zh这就是TypeSafe
这就是TypeSafe
3:34.540–3:36.420
zh前沿大模型处理耗时
前沿大模型处理耗时
3:36.420–3:38.660
zh3到329秒端到端
3到329秒端到端
3:38.660–3:40.340
zh人类用者还行
人类用者还行
3:40.340–3:42.260
zh但在代码自动化场景下
但在代码自动化场景下
3:42.260–3:43.580
zh就是瓶颈Jeff只需
就是瓶颈Jeff只需
3:43.580–3:45.100
zh70到500毫秒
70到500毫秒
3:45.100–3:47.200
zh速度快了40到200倍
速度快了40到200倍
3:47.200–3:50.400
zh在TechCrunch报道的对比演示中
在TechCrunch报道的对比演示中
3:50.400–3:55.320
zh截图显示Jeff响应仅需0.114秒
截图显示Jeff响应仅需0.114秒
3:55.320–3:58.540
zh而Tara则用了8.566秒
而Tara则用了8.566秒
3:58.540–3:59.840
zh更惊人的是价格
更惊人的是价格
3:59.840–4:02.160
zh大模型每百万输入Token收费
大模型每百万输入Token收费
4:02.160–4:03.680
zh20美分到10美元
20美分到10美元
4:03.680–4:05.800
zh输出费用是输入的5倍
输出费用是输入的5倍
4:05.800–4:10.600
zh而Jeff每百万Token仅需0.042美元
而Jeff每百万Token仅需0.042美元
4:10.600–4:13.300
zh也就是每10亿Token仅需42美元
也就是每10亿Token仅需42美元
4:13.300–4:14.760
zh没错他们按10亿单位计费
没错他们按10亿单位计费
4:14.760–4:16.000
zh输出成本极低
输出成本极低
4:16.000–4:16.980
zh几乎可以忽略不计
几乎可以忽略不计
4:16.980–4:19.080
zhTara模型输入为每百万两美元
Tara模型输入为每百万两美元
4:19.080–4:21.680
zh输出则为每百万十二美元
输出则为每百万十二美元
4:21.680–4:23.320
zh数据显示Jeff模型
数据显示Jeff模型
4:23.320–4:25.880
zh比Fable 5.1便宜了238倍
比Fable 5.1便宜了238倍
4:25.880–4:27.420
zh再来说说自信度
再来说说自信度
4:27.420–4:30.900
zh这恐怕是最被低估的一点大模型
这恐怕是最被低估的一点大模型
4:30.900–4:31.940
zh往往过度自信
往往过度自信
4:31.940–4:34.440
zh且对自身确信度的评估前后不一
且对自身确信度的评估前后不一
4:34.440–4:37.700
zh如果一个模型能在95%的情况下完成任务
如果一个模型能在95%的情况下完成任务
4:37.700–4:38.900
zh但却无法告诉你
但却无法告诉你
4:38.900–4:39.980
zh它何时会出错
它何时会出错
4:39.980–4:41.200
zh你就无法实现自动化
你就无法实现自动化
4:41.200–4:42.500
zhJeff的自信度
Jeff的自信度
4:42.500–4:43.420
zh经过了较准
经过了较准
4:43.420–4:45.400
zh自信度越高
自信度越高
4:45.400–4:46.560
zh准确率也就越高
准确率也就越高
4:46.560–4:48.800
zh相似的输入会得到相似的答案
相似的输入会得到相似的答案
4:48.800–4:50.880
zhIron DL的首席技术官
Iron DL的首席技术官
4:50.880–4:52.160
zhArmond Risser表示
Armond Risser表示
4:52.160–4:54.300
zh这让开源模型得以发挥其效用
这让开源模型得以发挥其效用
4:54.300–4:56.720
zh他告诉TechCrunch
他告诉TechCrunch
4:56.720–4:58.060
zh这实际上是将
这实际上是将
4:58.060–5:00.580
zh幻觉问题交由用户自行把控
幻觉问题交由用户自行把控
5:00.580–5:03.120
zh自信度5x10如抛硬币直接忽略
自信度5x10如抛硬币直接忽略
5:03.120–5:05.020
zh9x50则果断执行
9x50则果断执行
5:05.020–5:07.020
zh面对高调的声称TypeSafe
面对高调的声称TypeSafe
5:07.020–5:07.800
zh心知肚明
心知肚明
5:07.800–5:09.500
zh正如文中那句
正如文中那句
5:09.500–5:11.540
zh非凡的结论需要非凡的证据
非凡的结论需要非凡的证据
5:11.540–5:14.540
zh下方还附上了有图有真相的证据配文
下方还附上了有图有真相的证据配文
5:14.540–5:16.020
zh还带了个图指甲油的表情
还带了个图指甲油的表情
5:16.020–5:17.680
zh他们自称欢迎质疑
他们自称欢迎质疑
5:17.680–5:19.200
zh因为他们自己就是怀疑论者
因为他们自己就是怀疑论者
5:19.200–5:20.460
zh值得称赞的是
值得称赞的是
5:20.460–5:23.020
zh他们在速度优化上确实下足了功夫
他们在速度优化上确实下足了功夫
5:23.020–5:24.200
zh你可以亲自验证
你可以亲自验证
5:24.200–5:27.200
zh这些模型多运行在西海岸的笔记本上
这些模型多运行在西海岸的笔记本上
5:27.200–5:30.020
zh也就是该服务的所在地定价方面很透明
也就是该服务的所在地定价方面很透明
5:30.020–5:32.900
zh但他们坦言无法证明其未获补贴
但他们坦言无法证明其未获补贴
5:32.900–5:35.440
zh并预计价格未来会进一步下降
并预计价格未来会进一步下降
5:35.440–5:37.220
zh且不存在类型错误
且不存在类型错误
5:37.220–5:39.060
zh虽然一个反例就能将其推翻
虽然一个反例就能将其推翻
5:39.060–5:41.100
zh但这在数学上是不可能的
但这在数学上是不可能的
5:41.100–5:42.940
zh他们说在Terra演示中
他们说在Terra演示中
5:42.940–5:45.460
zh他们坦言查询过程经过了高度简化
他们坦言查询过程经过了高度简化
5:45.460–5:47.580
zh使用了可读的问题件外加一段
使用了可读的问题件外加一段
5:47.580–5:49.580
zh有利于Jeff的密集状态描述
有利于Jeff的密集状态描述
5:49.580–5:50.900
zh从而美化了其表现
从而美化了其表现
5:50.900–5:52.920
zh他们选用了默认推理的Terra
他们选用了默认推理的Terra
5:52.920–5:55.260
zh认为其智力水平最接近Jeff
认为其智力水平最接近Jeff
5:55.260–5:58.360
zh唯一的意见分歧在于流失可能性的判断
唯一的意见分歧在于流失可能性的判断
5:58.360–6:01.280
zh他们称之为真正的魔能两可有趣的是
他们称之为真正的魔能两可有趣的是
6:01.280–6:04.460
zh正是类似的演示说服了他们全力投入
正是类似的演示说服了他们全力投入
6:04.460–6:08.340
zh更有利的证据是他们的工作流评估
更有利的证据是他们的工作流评估
6:08.340–6:10.420
zh旨在衡量AI在代码环境下的表现
旨在衡量AI在代码环境下的表现
6:10.420–6:11.800
zh没有标准答案标签
没有标准答案标签
6:11.800–6:13.460
zh也不对评估框架进行微调
也不对评估框架进行微调
6:13.460–6:15.900
zh迎演导致过你和每个模型
迎演导致过你和每个模型
6:15.900–6:17.300
zh都运行相同的工作流
都运行相同的工作流
6:17.300–6:20.740
zh并根据GT6 Extra的平均表现评分
并根据GT6 Extra的平均表现评分
6:20.740–6:22.580
zh以及Fable 5.1他们说
以及Fable 5.1他们说
6:22.580–6:24.340
zhJeff 稳居 帕雷托 前沿
Jeff 稳居 帕雷托 前沿
6:24.340–6:27.540
zh在近两个数量级的范围内
在近两个数量级的范围内
6:27.540–6:30.100
zh且由大语言模型处理所有逻辑
且由大语言模型处理所有逻辑
6:30.100–6:32.920
zh比起遵循工作流思维链的表现
比起遵循工作流思维链的表现
6:32.920–6:33.880
zh明显差得多
明显差得多
6:33.880–6:36.340
zh这些调用远比演示案例复杂
这些调用远比演示案例复杂
6:36.340–6:37.840
zh更接近实际生产环境
更接近实际生产环境
6:37.840–6:40.880
zh他们将结果发布在评估网站上
他们将结果发布在评估网站上
6:40.880–6:42.680
zh他们认为可靠的工作流
他们认为可靠的工作流
6:42.680–6:44.820
zh是有许多小型的独立
是有许多小型的独立
6:44.820–6:46.300
zh由概率驱动的问题
由概率驱动的问题
6:46.300–6:48.240
zh组成最终导向一个分支
组成最终导向一个分支
6:48.240–6:48.740
zh这就是
这就是
6:48.740–6:50.720
zh他们主页上那些数据的来源
他们主页上那些数据的来源
6:50.720–6:51.360
zh也就是100
也就是100
6:51.360–6:53.300
zh93.6倍的提速
93.6倍的提速
6:53.300–6:56.240
zh以及444.6倍的成本缩减
以及444.6倍的成本缩减
6:56.240–6:58.800
zhVirtue将其四舍侮入为100
Virtue将其四舍侮入为100
6:58.800–7:00.260
zh94和400
94和400
7:00.260–7:01.460
zh即45倍
即45倍
7:01.460–7:03.280
zh这大概是实际应用中的上限
这大概是实际应用中的上限
7:03.280–7:04.980
zh他们声称这些工作流
他们声称这些工作流
7:04.980–7:06.020
zh并非刻意挑选
并非刻意挑选
7:06.020–7:08.220
zh且不在训练数据分布之内
且不在训练数据分布之内
7:08.220–7:10.600
zh但毕竟是他们自家团队构建的
但毕竟是他们自家团队构建的
7:10.600–7:12.760
zh所以难免存在偏差Astra
所以难免存在偏差Astra
7:12.760–7:14.280
zh和Fable的参考案例
和Fable的参考案例
7:14.280–7:16.740
zh可能更偏向OpenAI和Anthlopic
可能更偏向OpenAI和Anthlopic
7:16.740–7:19.400
zh所以他们认为自己可能还低估了性能
所以他们认为自己可能还低估了性能
7:19.400–7:21.220
zh以及DeepSeek这些大模型
以及DeepSeek这些大模型
7:21.220–7:23.960
zh都是通过TypeSafe的开源系统运行的
都是通过TypeSafe的开源系统运行的
7:23.960–7:26.280
zh即针对Python的大模型封装库
即针对Python的大模型封装库
7:26.280–7:29.360
zh他们称这是获取大模型决策最准确的方式
他们称这是获取大模型决策最准确的方式
7:29.360–7:32.060
zh但处理幻觉时速度较慢成本也更高
但处理幻觉时速度较慢成本也更高
7:32.060–7:34.380
zh他们视类型安全为基本门槛
他们视类型安全为基本门槛
7:34.380–7:35.560
zh对智能体来说
对智能体来说
7:35.560–7:37.840
zh工具调用产生幻觉是不可接受的
工具调用产生幻觉是不可接受的
7:37.840–7:39.780
zh但对于有延迟要求的系统
但对于有延迟要求的系统
7:39.780–7:40.820
zh这是致命的缺陷
这是致命的缺陷
7:40.820–7:42.940
zh或是深埋在依赖链的底层
或是深埋在依赖链的底层
7:42.940–7:45.380
zh即便是最强的模型也难免出错
即便是最强的模型也难免出错
7:45.380–7:48.820
zh它们的大模型指标来自OpenRouter
它们的大模型指标来自OpenRouter
7:48.820–7:51.780
zh复杂查询会被自动路由到更强的模型
复杂查询会被自动路由到更强的模型
7:51.780–7:53.820
zhJeff的零错误率不是测出来的
Jeff的零错误率不是测出来的
7:53.820–7:55.480
zh而是由模式匹配保证的
而是由模式匹配保证的
7:55.480–7:57.180
zhThe Register的反驳很重肯
The Register的反驳很重肯
7:57.180–7:58.880
zhJeff并不生成自然语言
Jeff并不生成自然语言
8:14.423–8:16.503
zh以此演示其具备的实时智能
以此演示其具备的实时智能
8:16.503–8:18.003
zh据他们说
据他们说
8:18.003–8:20.403
zh工程师曾担心每秒十次查询
工程师曾担心每秒十次查询
8:20.403–8:22.583
zh以及每小时七美元的成本
以及每小时七美元的成本
8:22.583–8:24.503
zh团队认为这比预期更低
团队认为这比预期更低
8:24.503–8:26.503
zh他读取的是文本
他读取的是文本
8:26.503–8:28.223
zh而非图像格式的游戏状态
而非图像格式的游戏状态
8:28.223–8:29.163
zh暂时还不是
暂时还不是
8:29.163–8:32.003
zh他们也承认非AI机器人玩起来会更强
他们也承认非AI机器人玩起来会更强
8:32.003–8:33.163
zh但他们想要的是
但他们想要的是
8:33.163–8:35.503
zh能适应多种游戏状态表达的AI
能适应多种游戏状态表达的AI
8:35.503–8:37.023
zh且能听从指令
且能听从指令
8:37.023–8:38.963
zh用他们的话说着酷毙了
用他们的话说着酷毙了
8:38.963–8:41.883
zh演示和黑客松活动即将开启
演示和黑客松活动即将开启
8:41.883–8:42.743
zh还有危机竞速
还有危机竞速
8:42.743–8:47.543
zh仅靠点击链接在成百上千个页面间穿梭
仅靠点击链接在成百上千个页面间穿梭
8:47.543–8:49.583
zh每一步都有上千种选择
每一步都有上千种选择
8:49.583–8:51.863
zh充分展现了其极高的处理效率
充分展现了其极高的处理效率
8:51.863–8:56.683
zh面对海量选项不产生幻觉的优势会不断叠加
面对海量选项不产生幻觉的优势会不断叠加
8:56.683–8:59.143
zhJeff支持的基数上限为200
Jeff支持的基数上限为200
8:59.143–9:00.603
zh一旦超过这个数值
一旦超过这个数值
9:00.603–9:03.263
zh他会独立评估各个链接再进行选择
他会独立评估各个链接再进行选择
9:03.263–9:05.203
zh因此偶尔会出现减速
因此偶尔会出现减速
9:05.203–9:08.883
zh毕竟大模型没有推理过程整体提速空间有限
毕竟大模型没有推理过程整体提速空间有限
9:08.883–9:12.623
zh但Astra设为最低档以保证流畅度的情况除外
但Astra设为最低档以保证流畅度的情况除外
9:12.623–9:15.763
zh而且Jeff往往能以更少的步骤完成任务
而且Jeff往往能以更少的步骤完成任务
9:15.763–9:16.963
zh这是我最喜欢的一点
这是我最喜欢的一点
9:16.963–9:20.563
zh第二和第三项挑战的起始页面都随机抽到了小黄鸭
第二和第三项挑战的起始页面都随机抽到了小黄鸭
9:20.563–9:23.343
zh直到团队指出来作者才发现这一点
直到团队指出来作者才发现这一点
9:23.343–9:26.943
zh开发者们蜂拥而至导致需求激增
开发者们蜂拥而至导致需求激增
9:26.943–9:30.523
zh以至于TypeSafe的API一度无法为用户提供服务
以至于TypeSafe的API一度无法为用户提供服务
9:30.523–9:31.543
zh据TechCrunch报道
据TechCrunch报道
9:31.543–9:33.543
zh开发者将其视为一种更经济
开发者将其视为一种更经济
9:33.543–9:35.923
zh更稳健的智能集成方案
更稳健的智能集成方案
9:35.923–9:39.323
zhAdversal公司的工程师Branet Sharma表示
Adversal公司的工程师Branet Sharma表示
9:39.323–9:42.443
zh他们此前一直在使用指令安全分类器
他们此前一直在使用指令安全分类器
9:42.443–9:45.023
zh基于OpenAI的GPD-4O Mini模型
基于OpenAI的GPD-4O Mini模型
9:45.023–9:46.183
zh但换成Jeff后
但换成Jeff后
9:46.183–9:48.563
zh处理速度提升了5到18倍
处理速度提升了5到18倍
9:48.563–9:50.223
zh且准确度更高
且准确度更高
9:50.223–9:53.063
zhBrio AI的CTO Nikhil Matokar
Brio AI的CTO Nikhil Matokar
9:53.063–9:54.703
zh在处理商务邮件时
在处理商务邮件时
9:54.703–9:57.123
zh对比了Gemini的准确率
对比了Gemini的准确率
9:57.123–9:57.723
zh略胜一筹
略胜一筹
9:57.723–10:00.523
zh但成本却高出10到20倍
但成本却高出10到20倍
10:00.523–10:01.943
zh让他感到震惊的是
让他感到震惊的是
10:01.943–10:04.443
zh况且Jeff是唯一能提供
况且Jeff是唯一能提供
10:04.443–10:06.063
zh真实概率反馈的模型
真实概率反馈的模型
10:06.063–10:07.783
zh他认为这使其成为
他认为这使其成为
10:07.783–10:09.703
zh自动化工作流的理想之选
自动化工作流的理想之选
10:09.703–10:12.163
zhAI Gateway的数据表现简直惊人
AI Gateway的数据表现简直惊人
10:12.163–10:13.663
zh发布24小时内
发布24小时内
10:13.663–10:15.983
zhJeff吸引的付费团队数量
Jeff吸引的付费团队数量
10:15.983–10:17.763
zh是此前任何模型的两倍多
是此前任何模型的两倍多
10:17.763–10:20.583
zh这是Gateway历史上普及最快的模型
这是Gateway历史上普及最快的模型
10:20.583–10:22.803
zh12小时内就超越了所有竞品
12小时内就超越了所有竞品
10:22.803–10:24.583
zh第18小时就覆盖了
第18小时就覆盖了
10:24.583–10:25.843
zh1%的付费团队
1%的付费团队
10:25.843–10:28.523
zh第24小时是接近13%
第24小时是接近13%
10:28.523–10:31.523
zh是GPT 5.6系列的两倍
是GPT 5.6系列的两倍
10:31.523–10:34.383
zh更是Fable 5.1的6倍多
更是Fable 5.1的6倍多
10:34.383–10:36.603
zh而其他近期发布的模型
而其他近期发布的模型
10:36.603–10:38.263
zh均未超过7%
均未超过7%
10:38.263–10:39.883
zh首日数据就足以证明
首日数据就足以证明
10:39.883–10:43.743
zh专用模型投入生产环境的速度有多快
专用模型投入生产环境的速度有多快
10:43.743–10:47.223
zh但真正的考验在于持久性谈到具体用途
但真正的考验在于持久性谈到具体用途
10:47.223–10:50.363
zhPerser提到智能体可以自主选择下一个工具
Perser提到智能体可以自主选择下一个工具
10:50.363–10:55.883
zh或在子智能体的工作流中决定是继续重视还是询问用户
或在子智能体的工作流中决定是继续重视还是询问用户
10:55.883–10:58.823
zh亦或在行动前先评估风险并决定是否终止
亦或在行动前先评估风险并决定是否终止
10:58.823–11:01.543
zh并将无法确定的情况转交人工处理
并将无法确定的情况转交人工处理
11:01.543–11:04.683
zhTypeSafe将其称为智能异服语句或模糊规则
TypeSafe将其称为智能异服语句或模糊规则
11:04.683–11:07.143
zh因为手写逻辑往往过于脆弱
因为手写逻辑往往过于脆弱
11:07.143–11:08.383
zh他们还建议使用Map
他们还建议使用Map
11:08.383–11:11.923
zh将PB级数据精炼为特征以支持实时应用
将PB级数据精炼为特征以支持实时应用
11:11.923–11:15.743
zh毕竟100毫秒的延迟完全在用户体验的可控范围内
毕竟100毫秒的延迟完全在用户体验的可控范围内
11:15.743–11:18.663
zh从推理过程到越狱尝试全程进行验证
从推理过程到越狱尝试全程进行验证
11:18.663–11:21.543
zhAmata希望人们能用它来监控智能体
Amata希望人们能用它来监控智能体
11:21.543–11:23.963
zh由于智能体互间成本高昂
由于智能体互间成本高昂
11:23.963–11:26.863
zhRuniker建议采用实时模型路由
Runiker建议采用实时模型路由
11:26.863–11:31.263
zhThe Register补充到聊天机器人人由LLM架构主导
The Register补充到聊天机器人人由LLM架构主导
11:31.263–11:36.343
zh编程助手代码智能体以及数学证明或演示等可验证任务
编程助手代码智能体以及数学证明或演示等可验证任务
11:36.343–11:39.043
zh而这正如Type Safe戏称的那样
而这正如Type Safe戏称的那样
11:39.043–11:40.743
zh效果时好时坏
效果时好时坏
11:40.743–11:42.303
zh至于内部究竟如何
至于内部究竟如何
11:42.303–11:43.643
zhAmita手口如瓶
Amita手口如瓶
11:43.643–11:46.483
zh外界普遍怀疑其底层使用的是
外界普遍怀疑其底层使用的是
11:46.483–11:47.843
zh开源权重的大模型
开源权重的大模型
11:47.843–11:50.643
zh尽管Jeff称其FAQ文档内容并不短
尽管Jeff称其FAQ文档内容并不短
11:50.643–11:54.283
zhJeff模型完全采用合成数据进行训练
Jeff模型完全采用合成数据进行训练
11:54.283–11:56.263
zhAmita告诉TechCrunch
Amita告诉TechCrunch
11:56.263–11:59.663
zh资产数据是他人生中最成功的豪赌之一
资产数据是他人生中最成功的豪赌之一
11:59.663–12:02.263
zh比发布产品更成功
比发布产品更成功
12:02.263–12:03.803
zh也优于RLHF
也优于RLHF
12:03.803–12:07.143
zhTypeSafe自诩为一家核心的数据研究实验室
TypeSafe自诩为一家核心的数据研究实验室
12:07.143–12:09.443
zh公司半数员工几乎主导了
公司半数员工几乎主导了
12:09.443–12:12.583
zh统计学可控合成数据这一细分领域
统计学可控合成数据这一细分领域
12:12.583–12:14.383
zh这已成他毕生乐趣
这已成他毕生乐趣
12:14.383–12:17.563
zh即便你请求他们也不会用你的数据训练请见谅
即便你请求他们也不会用你的数据训练请见谅
12:17.563–12:18.723
zh想了解细节
想了解细节
12:18.723–12:20.463
zh得先被他们录用
得先被他们录用
12:20.463–12:23.283
zh这就是他们所奉行的苦涩教训
这就是他们所奉行的苦涩教训
12:23.283–12:26.503
zh优化任务远比堆砌数据和算力重要
优化任务远比堆砌数据和算力重要
12:26.503–12:29.943
zh或是RLHF这类针对文本优化的算法
或是RLHF这类针对文本优化的算法
12:29.943–12:32.163
zh人类评估员偏好虽然适合聊天
人类评估员偏好虽然适合聊天
12:32.163–12:33.503
zh却不适用于自动化任务
却不适用于自动化任务
12:33.503–12:37.543
zh且RLHF仅适用于程序可校验的任务
且RLHF仅适用于程序可校验的任务
12:37.543–12:40.283
zh导致其现实判断波动极大
导致其现实判断波动极大
12:40.283–12:41.803
zh智能表现不够稳健
智能表现不够稳健
12:41.803–12:43.343
zh系统1这一名称
系统1这一名称
12:43.343–12:45.263
zh源自卡尼曼的思考快与曼
源自卡尼曼的思考快与曼
12:45.263–12:46.963
zh尽管在传统认知中
尽管在传统认知中
12:46.963–12:48.803
zh系统1往往意味着一出错
系统1往往意味着一出错
12:48.803–12:51.163
zh但他们认为这些模型
但他们认为这些模型
12:51.163–12:52.803
zh其实比其他方案更可靠
其实比其他方案更可靠
12:52.803–12:55.403
zh他们还完全放弃了公开基准测试
他们还完全放弃了公开基准测试
12:55.403–12:56.843
zh仅提供一次性评估
仅提供一次性评估
12:56.843–12:59.483
zh并推动用户自行构建评估体系
并推动用户自行构建评估体系
12:59.483–13:02.403
zh因为系统1任务更易于评估
因为系统1任务更易于评估
13:02.403–13:05.603
zh甚至还有篇题为反基准优化的文章
甚至还有篇题为反基准优化的文章
13:05.603–13:08.003
zhJeff 这个名字源自威廉 Tauffell
Jeff 这个名字源自威廉 Tauffell
13:08.003–13:11.403
zh这位19世纪的经济学家提出了一个悖论
这位19世纪的经济学家提出了一个悖论
13:11.403–13:13.203
zh当蒸汽机效率提升
当蒸汽机效率提升
13:13.203–13:16.403
zh煤炭需求反而不降反升他们压住的是
煤炭需求反而不降反升他们压住的是
13:17.803–13:20.003
zh智能成本每降低一个数量级
智能成本每降低一个数量级
13:20.003–13:22.803
zh就会解锁多出数个数量级的应用场景
就会解锁多出数个数量级的应用场景
13:24.003–13:26.803
zh阿尔梅达预见智能软件将无处不再呈现出涌现性
阿尔梅达预见智能软件将无处不再呈现出涌现性
13:26.803–13:30.203
zh且更像早期互联网那样分布化而非如今的超级应用
且更像早期互联网那样分布化而非如今的超级应用
13:30.203–13:31.803
zh但The Register 指出
但The Register 指出
13:31.803–13:33.163
zh这建立在一个假设之上
这建立在一个假设之上
13:33.163–13:35.063
zh即Token的需求会像能源一样广泛
即Token的需求会像能源一样广泛
13:35.063–13:37.263
zh这尚未有定论PO研究中心
这尚未有定论PO研究中心
13:37.263–13:40.703
zh发现许多能用上AI的人根本找不到用处
发现许多能用上AI的人根本找不到用处
13:40.703–13:44.923
zhCNBC调查显示另一些人则出于道德顾虑排斥AI
CNBC调查显示另一些人则出于道德顾虑排斥AI
13:44.923–13:47.543
zh目前Jeff依然是特例
目前Jeff依然是特例
13:47.543–13:50.083
zh但Renneker预计竞争终会出现
但Renneker预计竞争终会出现
13:50.083–13:52.383
zh他感叹我们本应早点看透这一点
他感叹我们本应早点看透这一点
13:52.383–13:54.343
zh毕竟大语言模型太便宜了
毕竟大语言模型太便宜了
13:54.343–13:56.983
zh再加上补贴人们往往懒得去创新
再加上补贴人们往往懒得去创新
13:56.983–14:00.143
zh但TypeSafe正在开发更多新模态版本
但TypeSafe正在开发更多新模态版本
14:00.143–14:03.203
zh并开始从后补名单中邀请开发者
并开始从后补名单中邀请开发者
14:03.203–14:05.403
zh询问他们想实现什么样的科幻构想
询问他们想实现什么样的科幻构想
14:05.403–14:07.163
zh当TypeCrunch问起TypeSafe
当TypeCrunch问起TypeSafe
14:07.163–14:08.743
zh是否属于前沿实验室时
是否属于前沿实验室时
14:08.743–14:11.183
zhAlmeta直言前沿实验室的主打产品
Almeta直言前沿实验室的主打产品
14:11.183–14:12.323
zh无非是恐惧和炒作
无非是恐惧和炒作
14:12.323–14:14.203
zh它追求的是真正智能
它追求的是真正智能
14:14.203–14:15.923
zh而非一场无限财富的豪赌
而非一场无限财富的豪赌
14:15.923–14:17.303
zh也不是某种宗教
也不是某种宗教
14:17.303–14:19.123
zh更不是在数据中心里创造神
更不是在数据中心里创造神
14:19.123–14:20.523
zh总之 这是Jeff
总之 这是Jeff
14:20.523–14:22.303
zh欢迎在评论区留言分享
欢迎在评论区留言分享
14:22.303–14:23.463
zh你会如何使用它
你会如何使用它
14:23.463–14:24.083
zh感谢观看
感谢观看
14:24.083–14:25.303
zh我们下期见
我们下期见
尚未產生學習筆記
請在 Telegram 指令最後加上「學習」,例如:videonote 網址 英文 雙語 學習