2024 年 7 月 AI 新闻:小模型、机器手与自充电无人机

原标题AI News in July 2024: Small Models, Robot Hands and a Self-Charging Drone

Matthew Berman 回顾 2024 年一周内的模型发布、创意演示、AI 教育与训练数据争议。

MBMatthew Berman讲者 · Forward Future
频道
Matthew Berman
发布
2024年7月19日
视频
15:16
阅读
5 分钟
幻灯片
6
原文
英语
在 YouTube 打开
往下滚动阅读时,视频会缩到右下角继续播放。字幕跟随阅读语言。
阅读语言共 2 种语言可读
由 AI 从英语原文翻译。打开“对照原文”可以逐段核对。
摘要

30 秒看懂

Matthew Berman 讨论了备受期待的 Llama 发布、机器手、Sora 视频、Mistral 模型、GPT-4o mini、工具调用模型以及 AI 教育。他还关注有关 YouTube 字幕数据的报道、可在电线上充电的无人机,以及模型安全防护回应不一致的历史案例。预测和基准比较反映的是 2024 年 7 月的情况,而非当前排名。

  1. 1备受期待的 Llama 发布Berman 讨论了 2024 年 7 月有关即将推出 400B 级 Llama 模型的报道。录制时,发布时间、许可证和基准表现的预测都尚未确认。
  2. 2Mistral 的三款模型他评析 Mathstral 7B、Codestral Mamba 和 12B 的 Mistral NeMo,重点介绍专门化、效率和已公布的比较。
  3. 3YouTube 字幕争议报道发现一些组织使用的数据集中含有字幕;是否获得同意以及某个具体模型是否使用了这些数据,需要分别评估。
  4. 4在电线上充电的无人机原型机停在电线上时,利用抓取装置和感应充电器获取电能。Berman 提出了可能遭滥用的担忧。
  5. 5防护可能失效Berman 展示了一个历史案例:改写提示词后模型给出了不一致的回应。他认为越狱不可避免,但这是观点,而非已证明的定理。

要点建议

  1. 机器手演示展示了灵活性,但不能证明其具备自主手术能力。
  2. Mathstral、Codestral Mamba 和 Mistral NeMo 探索了不同规模与架构,并公布了部分基准测试结果。
  3. Mamba 在序列处理上的理论特性不意味着实际部署中拥有无限有效上下文。
  4. 有关 YouTube 字幕数据的报道引发了同意和训练数据问题;从法律上将这些材料称作被盗存在争议。
  5. 研究人员展示了无人机在电线上充电,而非证明它能在所有条件下无限运行。
  6. 一次越狱演示说明防护可能失效,但不能证明所有防护必然总会失败。
全文

按章节阅读整理后的全文

只看原始文稿
01

Llama、机器手与 Sora

Berman 讨论有关即将推出的 Llama 模型的报道,并展示机器手演示。他还评析新的 Sora 生成片段及其视觉瑕疵。

本周有各种各样的 AI 新闻。报道称,Meta 可能很快发布 400B 级的 Llama 3 模型。在这段 2024 年 7 月 19 日的视频录制时,发布时间、最终能力和发布条款仍只是报道中的预期,因此我期待它推出后再进行测试,而不会把这些细节当作已确认的事实。

Clone Robotics 展示了一只旨在模拟肌肉骨骼运动的机器手和手臂。演示包括旋转以及操作电钻、剪刀等工具。我对其协调能力印象深刻,也想象了未来可能的医疗用途,但抓取工具的演示并不能证明该系统可以自主实施手术。

机器手演示
幻灯片 1 / 6机器手演示Clone 的演示展示了手部机构以类似人类关节的方式运动。

OpenAI 分享了更多 Sora 示例,包括超现实动物、钢琴演奏者和室内场景。有些画面看起来很逼真,但我注意到动作僵硬、手部不完美和头发异常。另一段片中看似流畅的液体运动让我印象深刻,尽管汽车运动有明显问题;画面看起来真实并不能证明物理模拟准确。

02

游戏创作与 Mistral 模型

游戏引擎演示之后,他介绍了 Mathstral、Codestral Mamba 和 Mistral NeMo,并讨论架构、上下文和公布的基准结果。

Buildbox 4 的演示展示了如何通过提示词改变游戏环境,例如添加雾或制作太空射击游戏。我想象未来人们可以这样创建更个性化的游戏。演示展示的是特定工具和工作流程,并不能保证现在已能按需生成任何游戏。

Mathstral 基准比较
幻灯片 2 / 6Mathstral 基准比较Mistral 的表格在选定数学基准上比较了 Mathstral 和规模相近的模型。

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

Codestral Mamba 结果
幻灯片 3 / 6Codestral Mamba 结果展示的表格在选定编程测试中比较了基于 Mamba 的 7B 代码模型与其他模型。

Codestral Mamba 是基于 Mamba 架构而非传统 Transformer 的代码模型。Mistral 描述了其推理扩展效率,以及理论上建模长序列的能力。理论说法并不意味着实际的上下文、记忆或准确率无限;展示的基准比较的是特定模型和任务。

与 Nvidia 合作开发的 Mistral NeMo 是一个 12B 模型,公布的上下文窗口为 128K,采用 Apache 2.0 许可证。Mistral 将它与 Llama 3 8B 和 Gemma 2 9B 等较小模型比较,并强调其多语言表现。我对最终可能在更多个人设备上运行的小模型很感兴趣,不过实际部署仍取决于硬件和工作负载。

03

训练数据、应用与教育

视频讨论了关于训练数据集中 YouTube 字幕的报道、Claude 安卓应用以及 Karpathy 的教育公司。是否获得同意及具体模型的数据使用情况需要分别考察。

一项调查对与 EleutherAI 相关的数据集 The Pile 中包含 YouTube 字幕提出了担忧。Berman 称这些数据未经授权收集并将其称为被盗,但这一法律定性存在争议。数据集包含字幕、某家公司使用该数据集,以及某个具体模型使用了哪些训练数据,是需要分别提供证据的不同主张。

Anthropic 发布了 Claude 安卓应用,作为安卓用户,我很高兴看到这一点。当时我对 Claude 3.5 Sonnet 的评价很高,不过称任何模型为最佳都取决于所考虑的任务和时期。这是 2024 年 7 月的情况,不是当今的排名。

Andrej Karpathy 宣布创办教育公司 Eureka Labs,设想由 AI 助教辅助人类设计的高质量课程材料。这个想法旨在让更多学习者获得耐心、易于获取的指导。计划中的第一门课程 LLM101n 将引导学生构建一个小型 AI 模型。

04

工具使用、充电无人机与 GPT-4o mini

Berman 评析 Groq 的工具使用微调模型和一款能在电线上充电的无人机。他比较了 GPT-4o mini 的历史价格与基准结果。

Groq 宣布推出 8B 和 70B 两种规模的 Llama 3 工具使用微调模型。团队表示,它们完全使用合成数据进行微调,并检查了过拟合;展示的 Berkeley Function Calling Leaderboard 在特定类别中比较了这些模型。Groq 还报告了较高的推理速度,但速度取决于服务配置和测量条件。

工具使用基准比较
幻灯片 4 / 6工具使用基准比较图表比较了 Groq 微调模型在所示评估的函数调用类别中的表现。

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

电线充电无人机
幻灯片 5 / 6电线充电无人机原型机配有电缆导向装置和抓取装置,可停在电线上充电。
2024 年小模型价格比较
幻灯片 6 / 62024 年小模型价格比较图表比较了选定模型的历史 MMLU 分数和价格,并非当前排名。

OpenAI 推出了较小、成本较低的托管模型 GPT-4o mini。一张历史图表比较了包括 Llama 和 Mistral 在内的部分模型的 MMLU 分数和价格。这只是一项基准和特定时间的价格比较;用户还需要考虑任务质量、隐私、服务成本以及是否需要本地部署。

05

一次历史安全防护演示

Berman 展示一次测试中不同措辞如何导致模型回应不一致。他最后分享了对越狱持续构成挑战的看法。

最后,我展示了一个 2024 年的例子:改变提示词的表述方式导致不同的安全回应。解释问题不需要复现危险请求内容:不一致的防护可能让不安全的回答出现。我认为越狱会一直存在,这是对持续安全挑战的判断,并不是一次实验或随机性本身能够证明的结论。

同频道的其他文章

12 张幻灯片34:21EN → 简体中文
Matthew Berman· 2026年10月27日Matthew Berman 解读 Anthropic 的上市文件、AI 增长与治理Matthew Berman, Sam Altman · Forward Future主持人审视 S-1 中的财务指标、算力战略和投票结构,并质疑 AI 快速发展与安全之间的张力。AnthropicAI Safety企业 AI+2
6 张幻灯片25:50EN → 简体中文
Matthew Berman· 2026年10月24日Kimi K3.1 Pro 实测:3D 演示出色,表现不一,价格有竞争力Matthew Berman · Forward FutureMatthew Berman 测试这款开放权重模型的编程、3D 渲染和视觉讲解能力,并比较基准成绩与价格。Open-weight modelsBenchmarksAI cost & performance+1
2 张幻灯片32:20EN → 简体中文
Matthew Berman· 2026年10月23日本地 AI 究竟适合谁?成本、取舍与混合模式的未来Matthew Berman · Forward FutureMatthew Berman 权衡数据控制和自主权,与硬件成本、设置复杂度及推理速度之间的关系。Local inferenceOpen-weight modelsAI cost & performance+1
6 张幻灯片1:03:37EN → 简体中文
Matthew Berman· 2026年10月23日Matthew Berman 团队测试 Kimi K3.1:动画、游戏与图表Matthew Berman, Alex, Brian · Forward Future一场团队直播问答变成了对 Kimi K3.1 的非正式测试,内容涵盖个人智能体工作流、动态图形、浏览器游戏和基准图表。编程智能体Generative media评估+2
0:53EN → 简体中文
Matthew Berman· 2026年10月22日Sam Altman 谈 AI 与新知识的发现Sam Altman · OpenAIAltman 预计,数学发现方面的进展将延伸到生物学、材料和能源领域。AI for scienceMathematicsComputational Biology+1
幻灯片0:22EN → 简体中文
Matthew Berman· 2026年10月21日机器人保镖短片展示戏剧性的救援场景Matthew Berman · Forward FutureMatthew Berman 观看一段展示格斗与车辆救援场景的机器人短片。Robotics评估