

> 导语
> 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 小模型引爆代码推理革命



> 导语：今日AI界迎来多项重磅突破，从OpenAI推出专为开发者设计的GPT-5-Codex-Mini编程模型，到月之暗面Kimi K2以极低成本实现性能登顶，再到阿里Qwen3与文心5.0分别在数学和文本能力上展现卓越实力。此外，音频编辑和出行安全领域也迎来了AI技术的创新应用。

## 编程界迎来新风暴 OpenAI 发布 GPT-5-Codex-Mini

OpenAI 近日发布了专为开发者设计的 GPT-5-Codex-Mini 编程模型。该模型基于先进的 GPT-5 架构，在代码推理和生成能力上实现了显著飞跃。无论是创建新项目、扩展现有功能，还是编写单元测试和进行大规模代码重构，GPT-5-Codex-Mini 都能高效处理。在权威的 SWE-bench 基准测试中，它以74.5%的高分超越了所有前代模型，展现了其强大的编程实力。

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

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

## 音频编辑进入“令牌时代” StepFun AI 开源新模型

StepFun AI 公司最新推出了一个开源的3B参数模型 Step-Audio-EditX，为音频编辑领域带来了革命性的体验。该模型创新地将复杂的音频编辑流程转化为类似文本编辑的“令牌”操作，用户可以像修改文字一样直接、可控地编辑语音。这一技术有效克服了现有文本转语音（TTS）系统在情感和风格控制上的短板，让充满表现力的语音编辑过程变得前所未有的简便与精确。

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

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

## AI成本革命 月之暗面 Kimi K2 训练成本仅460万美元

国产AI独角兽月之暗面再次成为焦点，其发布的 Kimi K2 Thinking 模型训练成本被曝仅为460万美元，却在被誉为“人类终极考试”的HLE基准测试中，以44.9%的惊人得分超越了包括 GPT-5 在内的众多国际顶尖闭源模型。这一成就不仅展示了 Kimi K2 极高的性价比，更预示着AI大模型领域的成本革命已经到来，低成本、高性能将成为新的竞争焦点。

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

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

## 阿里Qwen3-Max-Thinking 登顶全球数学竞赛

阿里巴巴的AI推理模型 Qwen3-Max-Thinking 迎来了重大升级，并在全球顶级数学竞赛中取得了辉煌战绩。该模型在美国数学考试（AMC）和哈佛-麻省理工数学锦标赛（HMMT）中均获得满分，这是中国AI模型首次在这两项高难度竞赛中达到100%的准确率。这一突破充分彰显了 Qwen3 在复杂数学推理和抽象问题解决方面的强大能力，成功挑战了 OpenAI 在该领域的领先地位。

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

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

## 文心5.0文本能力登顶 LMArena 最新排名出炉

在最新的 LMArena 全球大模型竞技场排名中，百度文心 ERNIE-5.0-Preview-1022 模型表现卓越，成功登顶国内文本能力榜首，全球排名第二。该模型在创意写作、深度对话和复杂问题理解等方面的表现尤为突出，获得了用户和评测系统的高度评价。这标志着中国自研大模型技术再次实现关键突破，在全球AI竞争格局中占据了重要一席。

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

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

## AI守护出行安全 滴滴顺风车严打“私下拼车”

为了提升乘客的出行安全，滴滴顺风车平台上线了名为“独享守护”的全新AI监管措施。该智能模型能够通过实时分析车辆的行程轨迹、司乘的沟通记录以及异常接单信息，精准识别绕行、异常停留等违规行为。此举旨在有效打击“私下拼车”等存在安全隐患的行为，为选择“独享”服务的乘客提供全程的安全保障。

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

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



每日AI资讯1110：GPT-5 编程模型发布，Kimi K2 成本引爆行业，文心5.0文本能力登顶

> 导语 本周AI领域技术革新与应用落地齐头并进。从更懂旅行的AI助手到一键生成PPT、原型的效率工具，AI正深度重塑工作与生活。同时，模型开源、企业并购与市场策略调整也预示着行业格局的持续演变。

---

## 马蜂窝AI旅行助手再进化，出境游更轻松

马蜂窝近日全面开放了其“AI路书”功能，并对“AI小蚂”旅行助手进行了升级。新功能包括代订日本餐厅、菜单翻译和多语种实时翻译，旨在解决用户在境外自由行中遇到的规划难、沟通难的核心痛点，让旅行体验更加智能化和便捷。

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

## 腾讯发布混元A13B模型API，主打高性价比与长文处理

腾讯云正式推出了混元Hunyuan-A13B模型的API服务。作为业界首款13B级别的MoE开源混合推理模型，它在实现与顶尖开源模型相当性能的同时，拥有更快的推理速度和更高的性价比。该模型在处理长文本（支持256K上下文）和作为智能体（Agent）调用工具方面表现卓越，并已在腾讯内部超过400个业务中得到应用。

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

## 谷歌开源GenAI Processors，简化实时AI工作流构建

谷歌DeepMind团队开源了一个名为GenAI Processors的轻量级Python库。该工具专为简化和加速生成式AI工作流的构建而设计，尤其擅长利用Gemini API处理多模态实时数据。通过其模块化和并发优化的特性，开发者可以更快速地构建智能客服、实时翻译等复杂应用，显著降低开发难度和延迟。

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

## 通用AI智能体Manus调整中国市场策略

通用AI智能体公司Manus近期对其中国区业务进行了调整，部分核心技术人员已迁往新加坡总部。其官网对中国大陆用户显示“服务不可用”，官方微博和小红书账号内容也已清空。公司回应称，此举是为集中资源发展核心业务，提升整体运营效率。

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

## 墨刀AI惊艳亮相，30秒将想法变为高保真原型

产品设计协作平台墨刀推出了重磅AI功能，能够根据用户输入的文字想法或上传的草图，在30秒内生成高保真且可供编辑的交互原型。该功能支持多轮对话修改，适配多种设备，并能自动生成相关文档，极大地提升了产品经理和设计师的工作效率。

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

## Mistral AI发布Devstral2507，专为代码而生

Mistral AI与All Hands AI合作，推出了专为软件开发设计的Devstral2507系列大语言模型。该系列包括开源版和企业版，专注于代码推理、程序合成和结构化任务执行，旨在为开发者提供性能更强、成本更优的代码自动化解决方案。

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

## 智谱AI推出智能Slides，5分钟搞定专业级PPT

智谱AI在其“智谱清言”平台上线了AI Slides智能PPT生成工具。用户只需输入一个主题或上传一份文档，该工具便能快速生成一份结构清晰、设计美观的PPT。这项基于GLM-Experimental模型的功能目前已免费开放体验，预示着未来办公方式的巨大变革。

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

## 谷歌与风帆冲浪传闻澄清

风帆冲浪CEO加入谷歌,OpenAI收购告吹谷,歌方面澄清并未投资风帆冲浪（Windsurf）公司，也无权干预其公司运营。

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

## AI领导力发展平台Praxis Labs被Torch收购

专注于领导力与辅导服务的企业Torch宣布，已正式收购AI领导力发展平台Praxis Labs。此次收购的具体金额未对外披露，旨在整合双方优势，为企业提供更全面的学习与发展解决方案。

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


每日AI资讯0712：新工具赋能创作，大模型驱动行业变革

2025年4月18日，硅谷传出重磅消息——OpenAI已就收购AI编程工具Windsurf达成初步协议，交易金额高达30亿美元（约合人民币220亿元）。这不仅是ChatGPT开发商历史上最大规模的收购案，更预示着AI编程助手市场将迎来格局巨变。

![Description](https://static.downly.cn/covers/d5cf3fd5f1634507a922e105446b0e61.webp)

## 攻防博弈

此次收购背后暗藏三重战略考量：

1. **生态卡位**：Windsurf现有开发者用户超120万，年收入稳定在4000万美元级别，为OpenAI提供直达开发者的入口
2. **数据飞轮**：每日处理超2亿行代码交互数据，将成为训练下一代o5模型的关键燃料
3. **防御布局**：遏制Anthropic通过Cursor（估值逼近千亿）形成的生态威胁

## 技术升级

知情人士透露，整合后的产品将实现三大突破：

1. **智能感知**：基于o4-mini的上下文理解能力，支持跨文件/仓库的代码推理
2. **终端融合**：深度对接Codex CLI命令行工具，构建IDE+CLI双端工作流
3. **安全增强**：引入RASP运行时保护技术，实时防御AI生成代码的潜在漏洞

## 行业震荡

此次收购已引发连锁反应：

- GitHub紧急宣布Copilot X将提前三个月发布
- 红杉资本牵头成立10亿美元AI编程专项基金
- 国内深度求索(DeepSeek)等厂商加速布局代码大模型赛道

行业分析师`Kaveh Vahdat`指出："这场收购不是终点，而是AI编程军备竞赛的号角。未来18个月，市场将见证更多超百亿级并购。"

搜索结果: 代码推理