周二,法国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倍。
好文章,需要你的鼓励
清华团队开发DKT模型,利用视频扩散AI技术成功解决透明物体深度估计难题。该研究创建了首个透明物体视频数据集TransPhy3D,通过改造预训练视频生成模型,实现了准确的透明物体深度和法向量估计。在机器人抓取实验中,DKT将成功率提升至73%,为智能系统处理复杂视觉场景开辟新路径。
R语言在Tiobe 12月编程语言流行度指数中重返前十,排名第10位,占比1.96%。作为统计计算专用语言,R语言凭借在统计分析和大规模数据可视化方面的优势重新获得关注。尽管传统软件工程师对其语法和扩展性存在质疑,但R语言在大学和研究驱动行业中仍表现出色,在快速实验、统计建模和探索性数据分析领域具有独特优势。
字节跳动研究团队提出了专家-路由器耦合损失方法,解决混合专家模型中路由器无法准确理解专家能力的问题。该方法通过让每个专家对其代表性任务产生最强响应,同时确保代表性任务在对应专家处获得最佳处理,建立了专家与路由器的紧密联系。实验表明该方法显著提升了从30亿到150亿参数模型的性能,训练开销仅增加0.2%-0.8%,为混合专家模型优化提供了高效实用的解决方案。