實際影片長度:14:40.570。原文、繁中、雙語可點擊句子跳轉影片。
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我们下期见
我们下期见

影片筆記:JEV彻底引爆全网:这才是AI的全新形态! p01 中文配音

<!-- VIDEONOTE_PUBLICATION_WARNINGS_BEGIN -->

⚠️ 可先使用,仍有待修正項目

本筆記已完成可閱讀的逐字稿與時間跳轉;下列為待處理問題,建議播放原片確認。

  • 待修正:逐字稿全文快速校讀未完成(已保留自動字幕/原始逐字稿並繼續生成筆記。;未完成的全文速讀項目可在精進模式回聽確認。)

<!-- VIDEONOTE_PUBLICATION_WARNINGS_END -->

一句話總結

TypeSafe AI 發布了基於 Transformer 架構但非大語言模型的「JEFF」系統一模型,該模型不輸出文本而是返回校準的概率決策,具備極高速度與極低成本,並透過自信度指標實現自動化邏輯分支,旨在解決傳統 LLM 在自動化應用中的效率與成本瓶頸。

核心重點

  • 模型定義與架構:JEFF 被定義為「系統一模型」(System-1 Model),基於 Transformer 架構但不是大語言模型(LLM)。它不輸出文本,而是返回「校準決策」(Calibrated Decisions)的概率分數。
  • 技術原理:
  • 採用 RLCD(基於校準決策的強化學習)進行訓練,作為 RLHF 的替代方案。
  • 使用並行採樣器架構,一次性生成所有結果,而非像 GPT-4o 那樣每次生成一個 Token。
  • 基於結構化程序狀態而非序列消息構建。
  • 實現類型安全(Type Safety),預定義輸出格式,確保不輸出結構以外的內容,省去解析與驗證步驟。
  • 使用 Choice Score 原語,返回類型化的選擇評分或帶有概率的答案,全部並行評估。
  • 性能優勢:
  • 速度:JEFF 端到端響應時間為 70-500 毫秒,比傳統大模型(如 GPT-4o/Terra)快 40 到 200 倍。
  • 成本:JEFF 每百萬 Token 成本極低(0.042 美元),比 Fable 5.1 便宜 238 倍。
  • 準確率與自信度:JEFF 的自信度經過校準,自信度越高,準確率越高。這使得模型可以透過自信度指標實現自動化邏輯分支(自信度高則執行,低則忽略),避免大模型的過度自信與幻覺問題。
  • 市場反應與應用:
  • 發布 24 小時內,付費團隊數量是此前任何模型的兩倍多,普及速度遠超 GPT-4o 系列。
  • 實際應用案例包括 Adversal 公司(指令安全分類)和 Brio AI(商務郵件處理),展現了更高的速度與更低的成本。
  • 訓練與理念:
  • 完全採用合成數據訓練,不使用用戶數據。
  • 堅持反基準測試理念,放棄公開基準測試,僅提供一次性評估,推動用戶自行構建評估體系。
  • 創始人 Diogo Amata 認為當前行業過度優化人類語言,缺乏關鍵環節以實現 API 調用和實際自動化。

詳細大綱

一、 背景與創始人觀點

  • Diogo Amata 的背景:OpenAI 前研究員,參與構建聊天機器人並共同發明 RLHF(基於人類反饋的強化學習)。
  • 離開原因:對行業過度優化人類語言感到失望,認為這無法帶來真正的自動化。
  • 核心痛點:模型在對話上超越人類,但缺乏關鍵環節以實現 API 調用和實際自動化。
  • TypeSafe AI 成立:Amata 離開 OpenAI 後創辦 TypeSafe AI,融資 4000 萬美元,研發兩年。

二、 JEFF 模型核心技術與定義

  • 模型定位:
  • 基於 Transformer 架構,但不是大語言模型(LLM)。
  • 不輸出文本,而是返回概率(校準決策)。
  • 被稱為「機器原生人工智能」或「前沿智能函數」。
  • 輸入非結構化狀態,輸出類型化的概率決策。
  • 技術原理:
  • RLCD(基於校準決策的強化學習):作為對 RLHF 的回應,是一種訓練方法。
  • 並行採樣器架構:一次性生成所有結果,而非像 GPT-4o 那樣每次生成一個 Token。
  • 結構化程序狀態:基於結構化程序狀態而非序列消息構建。
  • 類型安全(Type Safety):預定義輸出格式,確保不輸出結構以外的內容,省去解析與驗證步驟。
  • Choice Score 原語:用於提問,返回類型化的選擇評分或帶有概率的答案,全部並行評估。

三、 性能對比與優勢

  • 速度對比:
  • JEFF:70-500 毫秒(端到端)。
  • 傳統大模型(如 GPT-4o/Terra):3-329 秒。
  • TechCrunch 演示數據:Jeff 響應 0.114 秒,Terra 用 8.566 秒。
  • 結論:速度快了 40 到 200 倍。
  • 成本對比:
  • 大模型:輸入每百萬 Token 2 美分到 10 美元,輸出費用是輸入的 5 倍。
  • JEFF:每百萬 Token 0.042 美元,按 10 億單位計費,輸出成本極低。
  • 數據顯示 JEFF 比 Fable 5.1 便宜 238 倍。
  • 自信度(Confidence Score):
  • JEFF 的自信度經過校準,自信度越高,準確率越高。
  • 相似輸入得到相似答案。
  • 應用邏輯:自信度低(如 5x10,類似拋硬幣)則忽略;自信度高(如 9x50)則果斷執行。
  • 解決大模型過度自信且評估前後不一的問題。

四、 評估與證據

  • 工作流評估:
  • 無標準答案標籤,不對評估框架微調。
  • 每個模型運行相同的工作流,根據 GT6 Extra 的平均表現評分。
  • JEFF 在帕雷托前沿(Pareto Frontier)上,範圍近兩個數量級。
  • 數據來源:100.936 倍提速,444.6 倍成本縮減(Virtue 四捨五入為 100.94 倍提速,400 倍成本縮減,約 45 倍實際應用上限)。
  • The Register 的反駁與質疑:
  • 質疑 JEFF 不生成自然語言,無法演示實時智能。
  • 指出演示經過高度簡化,使用了有利於 JEFF 的密集狀態描述。
  • 認為 Jeff 的零錯誤率是由模式匹配保證,而非測出來的。
  • TypeSafe 的回應:
  • 歡迎質疑,自稱懷疑論者。
  • 定價透明,但無法證明未獲補貼。
  • 承認演示可能美化表現,但強調工作流評估更接近生產環境。

五、 市場反應與應用場景

  • AI Gateway 數據:
  • 發布 24 小時內,付費團隊數量是此前任何模型的兩倍多。
  • 12 小時超越所有競品,18 小時覆蓋 1% 付費團隊,24 小時接近 13%。
  • 普及速度遠超 GPT-4o 系列和 Fable 5.1。
  • 實際應用案例:
  • Adversal 公司:從指令安全分類器(基於 GPT-4o Mini)換成 JEFF,速度提升 5-18 倍,準確度更高。
  • Brio AI:處理商務郵件,Jeff 準確率略勝 Gemini,但成本低 10-20 倍。
  • 遊戲與黑客松:
  • 危機競速:在成百上千頁面間穿梭,展現高處理效率。
  • 支持基數上限為 200,超過後會獨立評估各鏈接,偶爾減速。
  • Jeff 往往能以更少步驟完成任務。
  • 開發者反饋:
  • 視為更經濟、更穩健的智能集成方案。
  • 唯一能提供真實概率反饋的模型,適合自動化工作流。

六、 內部機制與未來展望

  • 訓練數據:
  • 完全採用合成數據訓練。
  • 資產數據被稱為「人生中最成功的豪賭」,優於 RLHF。
  • TypeSafe 自詡為核心數據研究實驗室,員工主導統計學可控合成數據領域。
  • 不會用用戶數據訓練。
  • 理念與哲學:
  • 系統一(System 1):源自卡尼曼《思考,快與慢》,指快速、直覺的決策。TypeSafe 認為此類模型比傳統方案更可靠。
  • 反基準測試:完全放棄公開基準測試,僅提供一次性評估,推動用戶自行構建評估體系。
  • Jeff 名字由來:源自經濟學家 William Jevons(註:逐字稿聽寫為 Tauffell,疑點見下),提出「傑文斯悖論」(效率提升導致需求增加)。TypeSafe 認為智能成本降低將解鎖更多應用場景。
  • 對前沿實驗室(Frontier Labs)的批評:主打產品是恐懼和炒作,追求真正智能而非無限財富豪賭或創造神。
  • 未來發展:
  • 開發更多新模態版本。
  • 從後補名單邀請開發者,詢問科幻構想。
  • 預計競爭會出現,但 TypeSafe 認為大模型太便宜且受補貼,人們懶於創新。

工具 / 模型 / 名詞整理

  • 公司/組織:
  • OpenAI
  • TypeSafe AI
  • The Register
  • TechCrunch
  • AI Gateway
  • Adversal 公司
  • Brio AI
  • OpenRouter
  • PO 研究中心
  • CNBC
  • 帕雷托前沿(Pareto Frontier,概念/指標)
  • 模型/產品:
  • JEFF(TypeSafe 的首個系統一模型)
  • GPT-4o / GPD-4O Mini(逐字稿中出現 GPD 5.6, GPT 5.6, GPT-4o Mini 等多種變體,疑點見下)
  • Terra / Tara(指代某大模型,疑點見下)
  • Fable 5.1(逐字稿中出現 Fable 5.1, Fable 5.6 等,疑點見下)
  • Gemini
  • DeepSeek
  • 大語言模型(LLM)
  • 智能異服語句(疑點,可能指智能代理語句或類似概念)
  • Map(用於將 PB 級數據精煉為特徵)
  • 技術/概念:
  • RLHF(基於人類反饋的強化學習)
  • RLCD(基於校準決策的強化學習)
  • Transformer 架構
  • Choice Score(原語)
  • 類型安全(Type Safety)
  • 校準決策(Calibrated Decisions)
  • 機器原生人工智能
  • 前沿智能函數
  • 系統一(System 1)
  • 傑文斯悖論(Jevons Paradox,逐字稿聽寫為 Tauffell 的悖論)
  • 合成數據
  • 帕雷托前沿
  • 反基準測試

操作流程整理

  1. 輸入非結構化狀態:將非結構化數據輸入 JEFF 模型。
  2. 並行評估與決策生成:
  • 模型基於 Transformer 架構,使用並行採樣器架構一次性生成所有結果。
  • 不生成文本 Token,而是計算並返回類型化的概率決策。
  1. 獲取 Choice Score:
  • 模型返回類型化的選擇評分或帶有概率的答案。
  • 所有選項並行評估,返回包含自信度(Confidence Score)的結構化數據。
  1. 邏輯分支處理:
  • 檢查自信度指標。
  • 若自信度高(例如 9x50),則果斷執行對應操作。
  • 若自信度低(例如 5x10,類似拋硬幣),則忽略該結果或進入其他邏輯分支。
  1. 輸出結果:
  • 返回結構化的決策結果,無需額外的解析與驗證步驟。

值得注意的限制或風險

  • 演示簡化問題:The Register 質疑 JEFF 的演示經過高度簡化,使用了有利於 JEFF 的密集狀態描述,可能無法完全反映生產環境表現。
  • 模式匹配風險:質疑者認為 JEFF 的零錯誤率可能由模式匹配保證,而非真正的智能測試。
  • 補貼爭議:TypeSafe 承認定價透明,但無法證明其成本結構未獲補貼。
  • 基數限制:在遊戲與黑客松案例中,支持基數上限為 200,超過後會獨立評估各鏈接,偶爾減速。
  • 反基準測試的局限性:完全放棄公開基準測試,僅提供一次性評估,可能使外部用戶難以進行標準化的性能比較。

逐字稿辨識疑點

  • Diogo Amata / Ameta / Almeta / Amita:逐字稿中創始人名字多次變換,可能為 Diogo Amata 的聽寫錯誤。
  • GPD 5.6 / GPT 5.6 / GPT-4o Mini:逐字稿中出現「GPD 5.6」、「GPT 5.6」、「GPT 5.6 系列」,可能為 GPT-4o 或 GPT-4 系列的聽寫錯誤,或指代特定版本,需查證。
  • Terra / Tara:逐字稿中交替出現「Terra」和「Tara」,可能指代同一個競爭對手模型(如 Gemini 或其他),需查證。
  • Fable 5.1 / Fable 5.6:逐字稿中出現「Fable 5.1」和「Fable 5.6」,可能指代某特定模型版本,需查證。
  • Jason:在描述輸出結果時,逐字稿寫為「Jason」,可能為「JSON」的聽寫錯誤。
  • NEO:在描述 Choice Score 返回結果時,出現「NEO 他們會返回類型化的選擇評分」,可能為聽寫錯誤或特定術語,需查證。
  • 智信度:在工單分類例子中,出現「智信度 0.82」,可能為「置信度」的聽寫錯誤。
  • 不耳直答案:可能為「不確定答案」的聽寫錯誤。
  • 智能異服語句:可能為「智能代理語句」或類似概念的聽寫錯誤。
  • 威廉 Tauffell:可能為經濟學家 William Jevons(傑文斯)的聽寫錯誤,因為後續提到了「悖論」。
  • 100 93.6 倍 / 100 94 倍:數字格式混亂,可能為「100.936 倍」的聽寫錯誤。
  • 444.6 倍 / 400 倍 / 45 倍:成本縮減倍數在不同段落表述不一致,可能為聽寫或數據引用差異。
  • 5x10 / 9x50:自信度數值表述模糊,可能為特定內部標記或聽寫錯誤。
  • GT6 Extra:可能為特定評估框架或模型的聽寫錯誤。
  • Runiker / Renneker:可能為人名或公司名的聽寫錯誤。
  • Branet Sharma / Nikhil Matokar:可能為人名聽寫錯誤。
  • TypeCrunch:可能為「TechCrunch」的聽寫錯誤。
  • 前沿實驗室(Frontier Labs):可能指代特定公司或泛指前沿 AI 實驗室,需查證。

可延伸追問

  • JEFF 模型的「並行採樣器架構」具體技術實現細節為何?
  • TypeSafe AI 如何定義和計算「校準決策」的概率分數?
  • 在生產環境中,JEFF 的自信度指標與實際準確率之間的相關性數據是否公開?
  • TypeSafe AI 的「反基準測試」策略對開發者評估模型性能有何具體影響?
  • JEFF 模型在處理非結構化數據時的具體輸入格式要求是什麼?

尚未產生學習筆記

請在 Telegram 指令最後加上「學習」,例如:videonote 網址 英文 雙語 學習