Matthew Berman 用贪吃蛇游戏测试 Meta 的 Code Llama 70B

原标题Matthew Berman Tests Meta’s Code Llama 70B on a Snake Game

回顾 Meta 在 2024 年发布的编程模型、针对 SQL 微调的版本,以及一次未能成功运行的上手测试。

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

30 秒看懂

Matthew Berman 评析 Meta 的 Code Llama 70B 及其基础版、Python 专用版和指令微调版。他讨论了公布的编程和文本转 SQL 基准测试,并在配有 GPU 的虚拟机上通过 LM Studio 运行量化模型。尽管安装了缺失的依赖,生成的贪吃蛇游戏启动后仍然失败。

  1. 1三种模型版本Meta 发布了基础模型、Python 专用模型和指令微调模型,其条款规定了研究及商业用途。
  2. 2文本转 SQL 微调模型Defog 报告称,SQLCoder-70B 在包含 200 个例子的 SQL-Eval 测试中得分为 93%,而其对比中的 GPT-4 为 82%。这些结果取决于具体任务和测试设置。
  3. 3虚拟机上的量化模型Berman 在配有 GPU 的虚拟机上,通过 LM Studio 加载 Second State 的量化指令模型,并将全部 80 层卸载到 GPU。
  4. 4贪吃蛇运行失败清理回答并安装 Pygame 后,游戏窗口短暂打开然后退出。另一位用户报告的成功并不能改变这次尝试的结果。

要点建议

  1. Meta 根据适用的 Llama 许可证发布了 Code Llama 70B 的基础版、Python 专用版和指令微调版。
  2. 公布的 HumanEval 67.8 分以及 SQL-Eval 对比针对特定测试,并不代表模型在所有编程任务中的表现。
  3. 量化后的 70B 模型仍需要大量内存和硬件资源,性能取决于具体配置。
  4. Berman 安装 Pygame 后的贪吃蛇游戏测试仍然失败,而另一位用户报告了成功案例。
  5. 生成的代码需要运行和检查;一次尝试无法确定模型的总体能力。
  6. Berman 披露自己是 LM Studio 的投资者。
全文

按章节阅读整理后的全文

只看原始文稿
01

Code Llama 70B 及其模型版本

Berman 介绍 Meta 在 2024 年 1 月发布的模型、不同版本以及公布的 HumanEval 分数。他还分享了对自然语言编程的预测。

Meta 发布了 Code Llama 70B;在这段 2024 年 1 月的视频发布时,它是 Code Llama 系列中最大的编程模型。我很高兴看到更多模型权重可供使用,也想测试模型能否一次写出贪吃蛇游戏。一次测试只能提供一个例子,不能构成全面排名。

Meta 列出了三个版本:基础版 Code Llama 70B、针对 Python 的专用版本,以及指令微调版本。公司表示,Code Llama 70B Instruct 在 HumanEval 上得了 67.8 分。这是特定编程基准的结果,并不能证明它在每项编程任务中都是最好的。

Code Llama 70B 的三个版本
幻灯片 1 / 5Code Llama 70B 的三个版本Meta 的公告列出了基础版、Python 版和指令微调版。

Meta 表示,这些模型使用与此前 Code Llama 版本相同的许可证,在其条款下支持研究和商业用途。画面显示,下载需要申请访问权限。我之前申请 Llama 2 时很快就获得批准,但个人经历不能保证每个人都会如此;请查看适用的许可证和访问条件。

Mark Zuckerberg 称编程是 AI 的重要用途,并预计相关进展会出现在未来的模型中。我认为,用自然语言与模型交互可能改变软件的编写和使用方式,或许会减少对传统编程和应用的需求。这是我的预测,不是这次发布已经证明的结果。

02

SQLCoder 与本地部署选项

一款微调模型在特定评估中报告了出色的文本转 SQL 结果。Berman 讨论了访问方式、许可证以及 Ollama 支持。

一个微调版本已经出现:Defog 的 SQLCoder-70B,旨在将自然语言转换成 PostgreSQL 查询。Defog 展示的 SQL-Eval 图表报告称,在 200 个涉及训练中未见过的数据库结构的例子中,该模型得分为 93%,其 34B 模型为 84%,GPT-4 为 82%。这些厂商公布的数字反映的是特定测试和对比。

SQLCoder 的 SQL-Eval 结果
幻灯片 2 / 5SQLCoder 的 SQL-Eval 结果Defog 的对比报告了模型在 200 个使用训练中未见过的数据库结构的例子上的准确率。

Defog 表示,它使用不到 20,000 对人工整理的提示词和回答进行微调。其许可证允许在满足条件的情况下商业使用,包括对修改的要求;部署者应阅读实际条款。最初的 Code Llama 于 2023 年 8 月推出,70B 更新则于 2024 年 1 月发布。

Ollama 已经列出对 70B 模型的支持,并展示了运行命令。这是个大模型,因此本地速度和内存需求取决于机器及量化方式。我还没有在自己的电脑上测试,预计运行起来可能较慢。

Ollama 模型命令
幻灯片 3 / 5Ollama 模型命令展示的模型页面给出了通过 Ollama 运行 70B 模型的命令。

这次测试中,Massed Compute 提供了一台配有 GPU 的虚拟机。我使用 LM Studio 和 Second State 量化的 Code Llama 70B Instruct 模型;文件接近 50 GB,界面提示需要超过 30 GB 的内存。我选择将全部 80 层卸载到 GPU,并重新加载模型以应用设置。

03

测试指令模型

他在配有 GPU 的虚拟机上将量化模型加载到 LM Studio,并要求它生成代码。他披露了自己对 LM Studio 的投资。

作为快速测试,我要求它写一个输出 1 到 100 的方法。模型先给出了 JavaScript 风格的答案,然后提供了 Python 版本。接着我让它用 Python 编写贪吃蛇,它开始生成一段相当长的 Pygame 程序。

LM Studio 与 GPU 卸载
幻灯片 4 / 5LM Studio 与 GPU 卸载界面显示了量化指令模型,以及在虚拟机测试中选择卸载到 GPU 的 80 层。

我应该披露,自己是 LM Studio 的投资者。在我的输出继续生成时,我展示了 Tristan Behrens 的一篇帖子:他报告说 Code Llama 70B 在他的 MacBook Pro 上生成了一个能运行的贪吃蛇游戏。这是另一位用户在其自身设置和提示词下得到的例子,并非我的测试结果。

04

贪吃蛇游戏的结果

Berman 比较了另一位用户报告的成功和自己的尝试。他安装依赖后生成的游戏仍然失败,打算进一步调查。

模型输出一个版本之后仍在继续,开始生成更多文本。我将回答复制到 VS Code,删除代码周围多余的内容。在我以前的个人测试标准中,只有少数模型成功完成过这项贪吃蛇任务;这是一项范围狭窄的非正式测试,并非通用基准。

第一次运行提示缺少 Pygame,于是我安装后再次尝试。游戏窗口短暂打开后便关闭,这次尝试失败了。我打算在镜头外继续调查;另一位用户报告的成功表明可能得到不同结果,但不意味着这次运行成功。

Pygame 依赖错误
幻灯片 5 / 5Pygame 依赖错误首次运行提示缺少 Pygame;Berman 安装它后再次尝试。

同频道的其他文章

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
2 张幻灯片0:36EN → 简体中文
Matthew Berman· 2026年10月25日Kimi K3.1 与魔方求解演示Matthew Berman · Forward FutureMatthew Berman 展示一个被打乱的虚拟魔方如何复原,并对 Kimi K3.1 的测试给予积极评价。评估编程智能体Open-weight models
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