

> 开源AI企业Mistral正式推出采用混合专家架构的小参数量旗舰模型Small4。该产品首次在单一架构中完美整合推理、多模态与代码能力，以极低的激活参数实现了比肩头部巨头的端到端处理效率。

## 混合专家架构兼顾性能与算力
在开源大模型赛道，欧洲技术团队再次展现了惊人的迭代速度。全新发布的Small4是该实验室首款真正意义上的全能型大模型，极大降低了开发者在不同垂直领域的选型成本。该产品采用先进的MoE混合专家架构，总参数量达到119B，但运行时激活参数仅为6B。这种巧妙的设计在保证极高逻辑处理性能的同时，大幅度优化了算力资源的运行效率，并以完全开放的Apache2.0协议赋能开发者社区。

![22.png](https://static.downly.cn/images/e79d99736905d091d62b352e73b50773.png)

<center>图源备注 图片由AI生成</center>

## 灵活部署门槛与应用行业影响
新一代架构赋予了该模型卓越的数据吞吐能力，高达256k的超长上下文窗口使其能够一次性解析整本技术文档或庞大的代码库。产品同时支持快速响应与深度推理两种工作模式。性能评测数据表明，在延迟优化模式下其端到端完成时间缩短了百分之四十，而在吞吐优化模式下的请求处理量可达前代产品的三倍。官方推荐的硬件部署组合兼顾了不同规模企业的实际需求，为企业级AI应用提供了一个低延迟且高智能的全新底层标杆。

欧洲大模型新星Mistral发布Small4 全能型架构搅动开源生态



> 导语
> Transformer 架构联合创始人 Ashish Vaswani 领衔的 Essential AI 正式开源了其首款旗舰模型 Rnj-1。这款拥有 80 亿参数的模型向伟大的数学家拉马努金致敬，采用了与主流“后训练”强化学习相反的路线，坚持通过高质量预训练决定智能上限。Rnj-1 在代码生成、STEM 推理及 Agent 智能体能力上表现惊人，特别是在 SWE-bench Verified 测试中取得了同量级模型数量级的领先优势，并以 Apache 2.0 协议完全开源，允许在消费级显卡上运行。



## 逆流而上 回归预训练的本质

在当前 AI 行业普遍痴迷于通过强化学习（RLHF）和后训练（Post-training）来提升模型表现的浪潮中，Essential AI 选择了一条截然不同的“复古”路线。由 Transformer 论文作者 Ashish Vaswani 和 Niki Parmar 创立的这家公司，坚信“预训练决定了智能的天花板”，而后训练仅仅是挖掘已有的潜力。

Rnj-1 就是这一理念的结晶。该模型完全从零开始训练，使用了高达 8.4 万亿 token 的数据集。与盲目堆砌数据不同，研发团队构建了精细的数据分类学，专注于科学、技术、工程、数学（STEM）以及代码数据的混合。这种对预训练质量的极致追求，使得 Rnj-1 在逻辑推理和复杂问题解决上展现出了“原生”的强大能力，而非通过后期微调“模仿”出来的智能。

## 小身材大能量 吊打同级竞品的代码能力

![image.png](https://static.downly.cn/images/2aab691c48fc3e0255519957e206ed38.png)
这里，rnj-1 指的是基础模型，而 rnj-1-instruct 指的是训练后调优的指令模型。
Rnj-1 的核心亮点在于其惊人的代码与推理能力。尽管只有 80 亿参数（8B），它在著名的软件工程基准测试 SWE-bench Verified（bash-only 模式）中取得了 20.8% 的高分。

这一成绩意味着什么？官方数据显示，Rnj-1 在该项测试中的表现比同等规模的其他开源模型高出一个数量级，甚至能够通过 Agent 框架解决现实世界中的 GitHub 问题。除了代码能力，它在数学竞赛（AIME）、科学问答（GPQA）等硬核 STEM 领域也表现出色，证明了其并非“偏科生”，而是具备深层逻辑推理能力的通用模型。
![image.png](https://static.downly.cn/images/8ac38bb18ccee44d3aa503609c51b0f9.png)

## 专为开发者打造 消费级硬件上的 Agent 利器

Essential AI 此次开源显得诚意十足。Rnj-1 及其指令微调版本（Rnj-1-instruct）均采用宽松的 Apache 2.0 许可证，这意味着开发者和企业可以免费商用。

对于广大开发者而言，Rnj-1 的硬件友好性极具吸引力。得益于其 8B 的紧凑体积，经过量化后的模型可以轻松在拥有 16GB 显存的消费级 GPU 甚至高端笔记本电脑上运行。同时，模型支持 32k 的上下文窗口，结合其在函数调用（Tool Use）和 FIM（代码中间填充）方面的优化，使其成为构建本地 AI 编程助手和自主智能体（Autonomous Agents）的理想底座。

## 技术细节揭秘 站在巨人肩膀上的创新

虽然 Rnj-1 的架构借鉴了 Google 的 Gemma 3，但团队进行了关键性的改良。模型采用了全局注意力机制（Global Attention）以及用于长上下文扩展的 YaRN 技术，确保了在处理长文档和复杂代码库时的稳定性。

值得一提的是，在训练过程中，团队使用了 Muon 优化器，显著提升了训练效率。Essential AI 坦诚地表示，Rnj-1 虽然在推理和代码上登峰造极，但由于专注于 STEM 数据，它并不是一个为了“事实检索”而优化的模型，有时甚至会产生幻觉，误认自己的身份。这种“坦诚”反而让社区对其在特定垂直领域的专业性更加充满信心。

## 开源社区的新里程碑

Rnj-1 的发布不仅仅是一个新模型的诞生，更是对“Scaling Law”和模型训练方法论的一次有力探索。它向业界证明，通过科学的数据配比和扎实的预训练，小参数模型依然可以在高难度的推理任务中挑战极限。

对于那些苦于 API 成本高昂、由于隐私问题无法使用闭源模型的开发者来说，Rnj-1 提供了一个强大、开放且可本地部署的全新选择。随着技术报告的即将发布，Rnj-1 有望激发开源社区在 Agent 和代码智能领域的又一轮创新热潮。
注：该模型需要 Ollama 0.13.3，目前处于预发布阶段

Transformer 之父重磅回归：Essential AI 开源 Rnj-1，8B 小模型引爆代码推理革命



> Kimi团队今日正式发布并开源了其最新一代模型Kimi K2。这款模型在代码能力和Agentic智能方面展现出显著提升，不仅能高效完成复杂编程任务，更具备多步规划和自主决策能力，有望加速AI应用开发和Agent生态的繁荣。

## Kimi K2模型重磅发布，全面开源

备受期待的Kimi K2模型于今日正式对外发布，并以开源形式面向全球开发者开放。这标志着Kimi团队在通用人工智能领域的又一重要里程碑。Kimi K2的推出，旨在为开发者提供更强大、更灵活的AI工具，特别是在代码生成、理解和AI Agent任务执行方面，展现出卓越性能。

此次开源，将极大地降低开发者使用和优化AI模型的门槛，促进技术社区的协作与创新，加速AI技术在各行各业的普及和应用。

![image.png](https://static.downly.cn/images/a4bcdd29f55b45d75a72aadf7f2d23e9.png)

## 代码能力显著提升：从生成到理解的全能助手

Kimi K2在代码处理方面展现出令人印象深刻的能力提升。它不仅能根据自然语言描述高效生成高质量的代码，还具备强大的代码理解、调试和优化能力。这使得Kimi K2成为软件开发者和工程师的得力助手。

*   **多语言代码生成**：支持主流编程语言，如Python、Java、JavaScript、Go等，能根据需求生成功能完备、逻辑清晰的代码片段或完整项目结构。
*   **代码理解与分析**：能够深入理解现有代码的逻辑、功能和潜在缺陷，帮助开发者进行代码审查、重构和问题诊断。
*   **自动化测试与调试**：协助编写测试用例，分析错误信息，并提出解决方案，有效提升开发效率。
*   **跨文件与复杂项目处理**：Kimi K2能够处理涉及多个文件、模块和库的复杂项目，进行全局性的代码分析和优化。

这种全面的代码能力，使得Kimi K2在DevOps、自动化编程教育和智能开发工具等领域具有广阔的应用前景。

![image.png](https://static.downly.cn/images/98befdbeb19f7d21d56bc3cae13e74ea.png)

## Agentic智能集成：迈向自主决策的AI

Kimi K2的另一大亮点是其集成的Agentic智能能力。这意味着它不仅仅是一个生成式模型，更能够理解复杂的用户意图，进行多步规划，并自主执行一系列任务以达成目标。

*   **多步规划与分解**：面对复杂问题，Kimi K2能将其拆解为多个子任务，并规划出合适的执行路径。
*   **工具调用与协同**：模型可以根据任务需求，自主调用外部API、工具或服务，进行数据查询、信息检索、自动化操作等。
*   **环境感知与反馈**：Kimi K2具备一定的环境感知能力，能根据执行结果进行自我修正和优化，展现出类似“思维链”的推理过程。
*   **人机协作增强**：在Agentic任务中，Kimi K2能够与用户进行更深层次的交互，提供决策支持和执行协助。

Agentic能力的加入，使得Kimi K2在自动化工作流、智能助手、复杂系统管理等领域具有巨大的潜力，预示着AI应用将从简单的响应式交互迈向更主动、更智能的自主协作。

![image.png](https://static.downly.cn/images/72eb5f9da2a1d6ccf2c0f71c17ad0edf.png)

## 开源生态赋能：加速AI创新与应用落地

Kimi K2的开源，将极大地赋能全球开发者社区，为AI技术创新注入新的活力。开源模式具有多重优势：

*   **降低门槛**：开发者无需从零开始构建模型，可以直接基于Kimi K2进行开发和优化。
*   **社区协作**：促进全球开发者共同参与模型的改进、漏洞修复和功能扩展。
*   **透明度与可信度**：开源代码的可见性增强了模型的透明度和可信度，有助于建立更强大的社区信任。
*   **加速应用**：开源使得Kimi K2能够被更广泛地集成到各种应用场景中，加速AI技术的商业化和普及。

可以预见，Kimi K2的开源将催生出更多创新性的AI应用和解决方案，推动AI Agent生态的快速发展，为各行各业带来变革性的影响。

![image.png](https://static.downly.cn/images/1ffc7e6ad698a730c06f4e2eb8ce75e1.png)



Kimi K2正式发布并开源：代码能力与Agentic智能深度融合







> **导语** 本期AI资讯看点纷呈：从Stability AI将音频创作带入移动端，到字节跳动让单目视频秒变4D大片；从DeepSWE刷新AI编程代理新高度，到亚马逊机器人大军突破百万；同时，阿里、NVIDIA等公司在数字人、图像描述及编辑领域也推出了重磅开源模型。此外，我们还将关注谷歌视频模型Veo 3在游戏领域的巨大潜力，以及ChatGPT流量变化对新闻行业带来的深远影响。

---





## 手机秒变作曲家 Stability AI与Arm联手打造掌上音频创作神器

Stability AI 近期与 Arm 合作，开源了一款名为 Stable Audio Open Small 的轻量级文本到音频生成模型。该模型经过专门优化，能够直接在手机等移动设备的 Arm CPU 上本地运行，高效生成长达47秒的高质量立体声音频。这一进展标志着AI音频生成技术正从云端走向边缘计算和移动设备，为用户随时随地进行音乐创作提供了极大的便利。值得一提的是，该模型使用了免版税的数据进行训练，确保了其在商业和个人应用中的合规性。

![image.png](https://static.downly.cn/images/fa4f0ccf02d7644eb3bc9f85f71336bf.png)

---

## 字节跳动开源EX-4D 单视角视频一键生成自由视角4D大片

字节跳动PICO-MR团队近日开源了一项名为EX-4D的创新框架，它能够将单一视角的普通视频，转化为可以自由变换观看角度的高质量4D动态影像。该框架的核心技术是一种创新的动态高斯网格表示法（DW-Mesh），它有效解决了传统方法中因物体遮挡和数据稀疏导致的渲染难题。在多项性能指标测试中，EX-4D全面超越了现有的开源方法，并在用户主观评估中获得了高度评价，为未来沉浸式3D内容创作和复杂世界模型的构建提供了强有力的技术支持。


![image.png](https://static.downly.cn/images/7d80dfd56cf33f1c27c86ce4a739c547.png)


---

## AI程序员新王者诞生 DeepSWE登顶开源榜单

由 Together.ai 和 Agentica 联合发布的 AI Agent 框架 DeepSWE，正迅速成为软件工程领域的焦点。该框架基于阿里巴巴强大的 Qwen3-32B 模型，并通过强化学习进行了深度训练。在衡量AI代码能力的权威测试集 SWE-Bench-Verified 中，DeepSWE 以高达 59% 的准确率，成功登顶开源AI代理排行榜。这一成绩不仅展示了其在处理真实世界软件工程任务时的卓越能力，也预示着AI在自动化编程和软件开发领域巨大的应用潜力。

![image.png](https://static.downly.cn/images/4ffb051e17cf6be10cc0cedd56ea0e83.png)

---

## 亚马逊机器人大军突破百万 Deep Fleet AI模型加持物流新纪元

亚马逊近日宣布，其在全球部署的机器人数量已正式突破一百万大关。为了更高效地管理和调度这支庞大的机器人车队，亚马逊同时发布了一款全新的AI基础大模型 Deep Fleet。该模型旨在通过先进的AI算法，进一步优化包裹的分拣、搬运和配送流程，从而显著提升物流速度并降低整体运营成本。这一里程碑事件标志着亚马逊在其自动化物流网络建设上取得了重大突破。

![image.png](https://static.downly.cn/images/56e071229823efb738d96596c40b4943.png)

---

## 阿里再放大招 OmniAvatar让你的照片开口说话

![image.png](https://static.downly.cn/images/454330caa209ee65cca94f4de764d779.png)
阿里巴巴近日开源了一款名为 [OmniAvatar](https://omni-avatar.github.io/) 的音频驱动数字人模型。该模型基于先进的 Wan 2.1 技术，用户只需上传一张静态照片、一段音频和相应的文字脚本，即可快速生成一个口型精准匹配、动作表情自然的数字人播报视频。官方建议生成30秒以内的视频片段以获得最佳效果。尽管该模型对硬件有一定要求，需要至少36G显存才能流畅运行，但其在现有开源数字人模型中的表现已属顶尖水平，为个人和企业低成本创造虚拟形象提供了新的可能。
<video src="https://static.downly.cn/images/c795cc4b97f7f5b012c0ff72ad4f4bf5.mp4"  title="30819483777-1-16.mp4"></video>


---

## 指哪说哪 NVIDIA发布DAM模型精准描述图像局部细节

![image.png](https://static.downly.cn/images/640f40bcf94b7e3371f29944b364eb90.png)
NVIDIA 最近推出了一款名为“描述一切模型”（Describe Anything Model, DAM）的多模态大语言模型，极大地提升了图像理解的精细度。用户可以通过在图片或视频上进行点击、画框、涂鸦甚至使用遮罩等多种直观方式，来指定自己感兴趣的任何区域，DAM模型便能针对该特定区域生成详尽而准确的文字描述。目前，该模型已经提供了在线演示版本，供用户体验其强大的“指哪说哪”功能。[官网地址](https://describe-anything.github.io/)，[体验地址](https://huggingface.co/spaces/nvidia/describe-anything-model-demo)

<video src="https://static.downly.cn/images/c7b71bb21d04a5515f08aed684cbfbc2.mp4"  title="30819484438-1-16.mp4"></video>

---

## 开口即P图 开源对话式图像编辑器EasyEdit发布
![image.png](https://static.downly.cn/images/739df71a77f1beaa7f58b741c422a4ed.png)
一款名为 [EasyEdit](https://www.easyedit.io/) 的开源图像编辑器为图片修改带来了全新的交互方式。它采用了先进的 Flux KContext 模型，允许用户通过简单的自然语言对话来智能地编辑图片。无论是想“把天空换成蓝色”还是“让这个人笑起来”，都可以通过聊天的方式实现。目前，用户可以在网页端免登录使用其基础模型，而功能更强大的高级模型则需要提供API Key来调用，这为普通用户和开发者都提供了灵活的选择。
<video src="https://static.downly.cn/images/3c26012f9a587f56fbbc736cbffafb15.mp4"  title="30819484073-1-16.mp4"></video>

---

## 游戏世界的下一场革命 谷歌Veo 3或将开启可玩世界模型

谷歌 DeepMind 的首席执行官 Demis Hassabis 近日在一个公开场合暗示，谷歌最新、最强大的视频生成模型 Veo 3，其技术潜力远不止于生成视频片段，未来很有可能被应用于视频游戏领域。这一表态引发了业界的广泛猜测，如果Veo 3的技术能够实时生成和渲染游戏世界，或将催生出真正的“可玩世界模型”，彻底改变现有游戏引擎的开发范式，为玩家带来前所未有的动态和开放世界体验。

![image.png](https://static.downly.cn/images/b6722e0ee4fca884585278d0ecdd1c15.png)

---

## 杯水车薪 ChatGPT推荐流量难解新闻网站搜索量下滑之渴

根据最新数据分析，尽管像ChatGPT这样的人工智能聊天工具为新闻网站带来的推荐流量呈现增长趋势，但这部分增长远不足以弥补因传统搜索引擎流量下滑所造成的巨大缺口。数据显示，自2024年中期达到峰值以来，许多新闻网站的自然搜索流量已大幅下降，总访问量从超过23亿次减少到如今的不足17亿次。这一严峻趋势表明，新闻行业正面临着由AI技术驱动的流量结构性变迁，如何适应新的信息分发渠道已成为一个紧迫的课题。

![image.png](https://static.downly.cn/images/42669ccb9e6199d29f2f3a31592cc967.png)

AI每日资讯0703



> 作为全球领先的 AI 聊天机器人，OpenAI 的 ChatGPT 持续进行技术迭代，不断为用户带来更强大、更智能的体验。近期，OpenAI 再次宣布对 ChatGPT 进行重要升级，其中最引人注目的便是引入了全新的 **GPT-4.1 编程专家模型**。这一模型的登场，预示着 ChatGPT 在编程、代码生成和理解方面的能力将迎来一次显著的飞跃，为开发者、编程爱好者以及需要代码辅助的用户带来了福音。



## ChatGPT 持续进化-满足多元化需求

自问世以来，ChatGPT 以其卓越的语言理解和生成能力迅速风靡全球，并被应用于教育、内容创作、编程辅助等多个领域。为了更好地满足用户在不同场景下的需求，OpenAI 不断对 ChatGPT 的底层模型进行优化和升级。从 GPT-3.5 到 GPT-4，模型的逻辑推理、知识广度、多模态能力等方面都取得了显著进步。

然而，对于需要进行复杂编程任务的用户来说，现有模型在代码生成、bug 调试、代码解释等方面的表现仍有提升空间。尤其是在处理特定编程语言、框架或复杂算法时，对模型的专业性和准确性要求更高。



![image.png](https://static.downly.cn/images/20250515030222.516350190.png)



## GPT-4.1 编程专家模型-为代码而生

本次升级的核心亮点在于引入了专门针对编程任务优化的 GPT-4.1 模型。不同于通用的 GPT-4 模型，GPT-4.1 编程专家模型在训练过程中可能特别加强了对代码结构、语法规则、算法逻辑以及各种编程语言特性的理解。

据推测，GPT-4.1 编程专家模型可能具有以下关键特性和优势-

*   **更精准的代码生成-** 能够生成更高质量、更符合规范的代码片段，甚至完整的函数或类。
*   **更强大的代码理解和分析-** 能够更深入地理解现有代码的功能和逻辑，并能识别潜在的 bug 或优化空间。
*   **更流畅的代码交互-** 能够更好地理解用户提出的编程问题，并以更自然、更专业的语言进行交流和解释。
*   **支持更广泛的编程语言和框架-** 对主流和一些小众的编程语言、库和框架有更好的支持。






## 升级带来的影响与应用场景

GPT-4.1 编程专家模型的加入，将极大地提升 ChatGPT 在编程领域的辅助能力。这将对以下群体和场景产生积极影响-

*   **开发者-** 可以利用 ChatGPT 更快地生成代码草稿，解决编程难题，进行代码审查，甚至学习新的编程语言和技术。
*   **学生和初学者-** 获得一个随时可用的编程导师，帮助理解代码概念，解决练习题中的问题。
*   **数据科学家和工程师-** 更便捷地进行数据处理、模型构建和实验代码的编写。
*   **非专业人士-** 即使不具备专业的编程知识，也能借助 ChatGPT 生成简单的脚本或理解代码的功能。

总而言之，GPT-4.1 编程专家模型有望成为开发者工具链中一个强大的补充，显著提高编程效率，降低学习门槛。






## 未来展望

GPT-4.1 编程专家模型的推出，是 OpenAI 在垂直领域持续深耕的表现。这表明通用大模型正在朝着更加专业化、细分化的方向发展，以更好地满足特定行业或领域的需求。

未来，我们可以期待 OpenAI 及其竞争对手推出更多针对不同专业领域的“专家模型”，例如法律专家、医疗专家、金融专家等，进一步拓展 AI 的应用边界。同时，随着模型能力的不断提升，如何确保 AI 生成代码的安全性、可靠性以及如何解决版权和责任问题，也将成为需要持续关注和探讨的重要议题。

GPT-4.1 编程专家模型的亮相，无疑为 AI 在编程领域的应用开启了新的篇章，其后续发展和对开发者生态的影响，值得我们拭目以待。


搜索结果: 代码能力