周二,法国AI创业公司Mistral AI发布了Devstral 2,这是一个1230亿参数的开源权重编程模型,旨在作为自主软件工程智能体的一部分。该模型在SWE-bench Verified基准测试中取得72.2%的得分,该基准旨在测试AI系统是否能解决真实的GitHub问题,使其跻身顶级开源权重模型之列。
更值得注意的是,Mistral不仅发布了AI模型,还推出了名为Mistral Vibe的新开发应用。这是一个命令行界面,类似于Claude Code、OpenAI Codex和Gemini CLI,让开发者可以在终端中直接与Devstral模型交互。该工具可以扫描文件结构和Git状态以维护整个项目的上下文,跨多个文件进行修改,并自主执行shell命令。Mistral在Apache 2.0许可证下发布了这个CLI工具。
对AI基准测试保持谨慎态度总是明智的,但我们从大型AI公司的员工那里听说,他们非常关注模型在SWE-bench Verified上的表现。该基准向AI模型提供从热门Python仓库的GitHub问题中提取的500个真实软件工程问题。AI必须阅读问题描述,导航代码库,并生成通过单元测试的可工作补丁。虽然一些AI研究人员注意到,基准测试中约90%的任务是相对简单的错误修复,有经验的工程师在一小时内就能完成,但这是比较编程模型的少数标准化方法之一。
与大型AI编程模型同时,Mistral还发布了Devstral Small 2,这是一个240亿参数的版本,在同一基准测试中得分68%,可以在消费者硬件(如笔记本电脑)上本地运行,无需互联网连接。两个模型都支持256,000个Token的上下文窗口,使它们能够处理中等规模的代码库(尽管你认为它是大还是小很大程度上取决于整体项目复杂性)。公司在修改的MIT许可证下发布Devstral 2,在更宽松的Apache 2.0许可证下发布Devstral Small 2。
Devstral 2目前通过Mistral的API免费使用。免费期结束后,定价为每百万输入Token 0.40美元,每百万输出Token 2.00美元。Devstral Small 2的费用为每百万输入Token 0.10美元,每百万输出Token 0.30美元。Mistral表示,在实际任务中它比Claude Sonnet"成本效率高7倍"。Anthropic的Sonnet 4.5通过API的费用为每百万输入Token 3美元,每百万输出Token 15美元,根据使用的总Token数量还会有所增加。
氛围编程的连接
"Mistral Vibe"这个名字引用了"氛围编程",这是AI研究员Andrej Karpathy在2025年2月创造的一个术语,用来描述一种编程风格:开发者用自然语言描述他们想要的东西,并接受AI生成的代码而不仔细审查。正如Karpathy所描述的,你可以"完全沉浸在氛围中,拥抱指数级增长,忘记代码的存在"。柯林斯词典将其命名为2025年年度词汇。
氛围编程方法既引起了热情也引起了担忧。在3月接受Ars Technica采访时,开发者Simon Willison说:"我真的很享受氛围编程。这是尝试想法并证明其可行性的有趣方式。"但他也警告说:"用氛围编程的方式构建生产代码库显然是有风险的。我们作为软件工程师所做的大部分工作涉及演进现有系统,其中底层代码的质量和可理解性至关重要。"
Mistral押注Devstral 2将能够在整个项目中保持一致性,检测故障,并通过纠正重试,这些声称的能力将使其适用于比简单原型和内部工具更严肃的工作。公司表示该模型可以跟踪框架依赖关系,并处理错误修复和在仓库规模上现代化遗留系统等任务。我们还没有进行实验,但您可能很快会看到Ars Technica对几种AI编程工具的正面比较测试。
Q&A
Q1:Devstral 2有什么特殊功能?
A:Devstral 2是Mistral AI发布的1230亿参数开源编程模型,可以作为自主软件工程智能体使用。它在SWE-bench Verified基准测试中得分72.2%,支持256,000个Token的上下文窗口,能够处理整个项目的代码库,进行错误修复和系统现代化。
Q2:什么是氛围编程?有什么风险?
A:氛围编程是AI研究员Andrej Karpathy提出的编程方式,开发者用自然语言描述需求,直接接受AI生成的代码而不仔细审查。虽然适合快速原型开发,但用于生产环境存在风险,因为代码质量和可理解性对现有系统演进至关重要。
Q3:Devstral 2的定价如何?
A:Devstral 2目前通过Mistral API免费使用。免费期后,定价为每百万输入Token 0.40美元,输出Token 2.00美元。小版本Devstral Small 2为输入Token 0.10美元,输出Token 0.30美元,比Claude Sonnet成本效率高7倍。
好文章,需要你的鼓励
穆拉蒂时隔18个月首次接受重大媒体采访,介绍其创立的Thinking Machines Lab正在开发的"交互模型"。该模型能以200毫秒间隔处理音频、文本和视频流,捕捉人类交流中的中断、修正和停顿。她还谈及OpenAI"政变周"经历,强调行业决策权过于集中的担忧,并回应了公司近期研究人员离职问题,表示这是初创实验室的正常波动。
UIUC与微软联合研发的OpenWebRL框架让4B小模型仅凭400条初始数据,通过在真实网站上边做边学的强化学习方式,在网页智能体基准上超越了用27万条数据训练的竞争对手。
本期《Quick Charge》播客涵盖多个热点话题:特斯拉疑似试图删除FSD欺诈相关证据以规避巨额赔付;卡特彼勒持续推进建筑领域电气化布局;住宅太阳能30%税收抵免即将到期。此外,嘉宾Tom Pacheco就高压系统与电池技术培训展开探讨,强调电动车技术人才培养的紧迫性。节目同时提醒有意安装太阳能的用户尽快行动,可通过EnergySage平台比较多家安装商报价。
伊尔德兹技术大学团队通过词典手术和离线蒸馏,以不足20美元成本打造出专为土耳其语优化的200M参数句子嵌入模型,在语义相似度任务上超越了参数量更大的原版教师模型。