30 秒看懂
Matthew Berman 讨论了备受期待的 Llama 发布、机器手、Sora 视频、Mistral 模型、GPT-4o mini、工具调用模型以及 AI 教育。他还关注有关 YouTube 字幕数据的报道、可在电线上充电的无人机,以及模型安全防护回应不一致的历史案例。预测和基准比较反映的是 2024 年 7 月的情况,而非当前排名。
- 1备受期待的 Llama 发布Berman 讨论了 2024 年 7 月有关即将推出 400B 级 Llama 模型的报道。录制时,发布时间、许可证和基准表现的预测都尚未确认。
- 2Mistral 的三款模型他评析 Mathstral 7B、Codestral Mamba 和 12B 的 Mistral NeMo,重点介绍专门化、效率和已公布的比较。
- 3YouTube 字幕争议报道发现一些组织使用的数据集中含有字幕;是否获得同意以及某个具体模型是否使用了这些数据,需要分别评估。
- 4在电线上充电的无人机原型机停在电线上时,利用抓取装置和感应充电器获取电能。Berman 提出了可能遭滥用的担忧。
- 5防护可能失效Berman 展示了一个历史案例:改写提示词后模型给出了不一致的回应。他认为越狱不可避免,但这是观点,而非已证明的定理。
要点建议
- 机器手演示展示了灵活性,但不能证明其具备自主手术能力。
- Mathstral、Codestral Mamba 和 Mistral NeMo 探索了不同规模与架构,并公布了部分基准测试结果。
- Mamba 在序列处理上的理论特性不意味着实际部署中拥有无限有效上下文。
- 有关 YouTube 字幕数据的报道引发了同意和训练数据问题;从法律上将这些材料称作被盗存在争议。
- 研究人员展示了无人机在电线上充电,而非证明它能在所有条件下无限运行。
- 一次越狱演示说明防护可能失效,但不能证明所有防护必然总会失败。
按章节阅读整理后的全文
Llama、机器手与 Sora
Berman 讨论有关即将推出的 Llama 模型的报道,并展示机器手演示。他还评析新的 Sora 生成片段及其视觉瑕疵。
本周有各种各样的 AI 新闻。报道称,Meta 可能很快发布 400B 级的 Llama 3 模型。在这段 2024 年 7 月 19 日的视频录制时,发布时间、最终能力和发布条款仍只是报道中的预期,因此我期待它推出后再进行测试,而不会把这些细节当作已确认的事实。
Clone Robotics 展示了一只旨在模拟肌肉骨骼运动的机器手和手臂。演示包括旋转以及操作电钻、剪刀等工具。我对其协调能力印象深刻,也想象了未来可能的医疗用途,但抓取工具的演示并不能证明该系统可以自主实施手术。

OpenAI 分享了更多 Sora 示例,包括超现实动物、钢琴演奏者和室内场景。有些画面看起来很逼真,但我注意到动作僵硬、手部不完美和头发异常。另一段片中看似流畅的液体运动让我印象深刻,尽管汽车运动有明显问题;画面看起来真实并不能证明物理模拟准确。
游戏创作与 Mistral 模型
游戏引擎演示之后,他介绍了 Mathstral、Codestral Mamba 和 Mistral NeMo,并讨论架构、上下文和公布的基准结果。
Buildbox 4 的演示展示了如何通过提示词改变游戏环境,例如添加雾或制作太空射击游戏。我想象未来人们可以这样创建更个性化的游戏。演示展示的是特定工具和工作流程,并不能保证现在已能按需生成任何游戏。

Mistral 发布了面向数学的 Mathstral 7B,公布的上下文长度为 32K,采用 Apache 2.0 许可证。展示的表格比较了它与其他小模型在若干数学基准上的表现。这些数字有助于理解受测任务,但不能证明它在每种数学应用中都全面领先。

Codestral Mamba 是基于 Mamba 架构而非传统 Transformer 的代码模型。Mistral 描述了其推理扩展效率,以及理论上建模长序列的能力。理论说法并不意味着实际的上下文、记忆或准确率无限;展示的基准比较的是特定模型和任务。
与 Nvidia 合作开发的 Mistral NeMo 是一个 12B 模型,公布的上下文窗口为 128K,采用 Apache 2.0 许可证。Mistral 将它与 Llama 3 8B 和 Gemma 2 9B 等较小模型比较,并强调其多语言表现。我对最终可能在更多个人设备上运行的小模型很感兴趣,不过实际部署仍取决于硬件和工作负载。
训练数据、应用与教育
视频讨论了关于训练数据集中 YouTube 字幕的报道、Claude 安卓应用以及 Karpathy 的教育公司。是否获得同意及具体模型的数据使用情况需要分别考察。
一项调查对与 EleutherAI 相关的数据集 The Pile 中包含 YouTube 字幕提出了担忧。Berman 称这些数据未经授权收集并将其称为被盗,但这一法律定性存在争议。数据集包含字幕、某家公司使用该数据集,以及某个具体模型使用了哪些训练数据,是需要分别提供证据的不同主张。
Anthropic 发布了 Claude 安卓应用,作为安卓用户,我很高兴看到这一点。当时我对 Claude 3.5 Sonnet 的评价很高,不过称任何模型为最佳都取决于所考虑的任务和时期。这是 2024 年 7 月的情况,不是当今的排名。
Andrej Karpathy 宣布创办教育公司 Eureka Labs,设想由 AI 助教辅助人类设计的高质量课程材料。这个想法旨在让更多学习者获得耐心、易于获取的指导。计划中的第一门课程 LLM101n 将引导学生构建一个小型 AI 模型。
工具使用、充电无人机与 GPT-4o mini
Berman 评析 Groq 的工具使用微调模型和一款能在电线上充电的无人机。他比较了 GPT-4o mini 的历史价格与基准结果。
Groq 宣布推出 8B 和 70B 两种规模的 Llama 3 工具使用微调模型。团队表示,它们完全使用合成数据进行微调,并检查了过拟合;展示的 Berkeley Function Calling Leaderboard 在特定类别中比较了这些模型。Groq 还报告了较高的推理速度,但速度取决于服务配置和测量条件。

南丹麦大学的研究人员展示了一款能停在电线上充电的无人机。电缆导向装置帮助被动抓取器定位,机载传感器辅助接近,感应充电器则获取能量。我想到未经授权取电的可能性,但一个原型并不能证明它能无限飞行或已经普遍部署。


OpenAI 推出了较小、成本较低的托管模型 GPT-4o mini。一张历史图表比较了包括 Llama 和 Mistral 在内的部分模型的 MMLU 分数和价格。这只是一项基准和特定时间的价格比较;用户还需要考虑任务质量、隐私、服务成本以及是否需要本地部署。
一次历史安全防护演示
Berman 展示一次测试中不同措辞如何导致模型回应不一致。他最后分享了对越狱持续构成挑战的看法。
最后,我展示了一个 2024 年的例子:改变提示词的表述方式导致不同的安全回应。解释问题不需要复现危险请求内容:不一致的防护可能让不安全的回答出现。我认为越狱会一直存在,这是对持续安全挑战的判断,并不是一次实验或随机性本身能够证明的结论。
同频道的其他文章
34:21EN → 简体中文
25:50EN → 简体中文
32:20EN → 简体中文
1:03:37EN → 简体中文
0:53EN → 简体中文
0:22EN → 简体中文