



> 今日看点：微软Copilot新功能化身职场“救星”，一键搞定年终业绩自评；开源界再起波澜，Mistral AI发布千亿参数代码模型挑战行业标杆；阿里通义千问Qwen Code版本迭代，双语界面助推开发效率；MIT团队通过自适应缩放技术，大幅降低大模型计算能耗。

---

## 职场打工人福音 微软Copilot一键生成年终业绩报告

微软近期对Copilot进行了极具实用价值的升级，旨在直接解决职场人士年底面临的最大痛点。新增的年终考核辅助功能，允许系统自动抓取用户过往的邮件往来、会议笔记以及工作文档。通过智能分析这些散落在各处的数据，Copilot能够迅速整合并生成一份结构清晰、内容详实的业绩自评报告。

此外，该工具还具备协助处理职场敏感对话的能力。这一更新不仅能够显著减轻员工在年底繁忙时段的工作压力，还能通过AI的辅助润色，提升沟通的专业度与效率，让年终总结不再成为耗时耗力的负担。

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

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

---

## 开源新霸主 Mistral AI发布Devstral2代码模型 性能碾压众手

Mistral AI再次在开源社区投下重磅炸弹，正式推出了其第二代开源编码模型系列——Devstral2及其轻量版Devstral Small2。作为旗舰产品，Devstral2拥有高达1230亿的参数量，展现了惊人的理解与生成能力。

在权威的SWE-Bench Verified基准测试中，该模型斩获了72.2%的高分，这一成绩使其在性能上超越了绝大多数现有的开源模型，成为开发者手中的新利器。值得注意的是，Mistral AI此次采用了差异化的许可策略，旨在平衡开源贡献与商业可持续性，为行业发展提供了新的思路。

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

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

---

## 阿里通义千问Qwen Code重大更新 双语加持编程效率翻倍

阿里云通义千问团队宣布推出Qwen Code v0.3.0版本。此次更新是针对Qwen3-Coder模型的深度优化，旨在进一步解放开发者的生产力。新版本不仅在代码理解深度和自动化任务处理能力上有了显著提升，还重点扩展了功能边界。

为了更好地服务全球及中文开发者，新版工具特别优化了国际化支持，推出了更加友好的双语界面。这意味着开发者在使用过程中，无论是进行代码补全、解释还是重构，都能获得更加流畅、无障碍的交互体验，从而大幅提升编码效率。

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

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

---

## MIT黑科技 动态算力调整让大模型更聪明更省电

麻省理工学院（MIT）的研究团队在提升大型语言模型效率方面取得了突破性进展。他们开发出一种名为“实例自适应缩放”的新技术。这项技术打破了以往“一刀切”的计算模式，能够根据用户提出问题的复杂程度，实时且动态地调整所需的计算资源。

对于简单的问题，系统会分配较少的算力以节省资源 对于复杂的逻辑推理，则自动调动更多资源以确保准确性。相关论文已经正式发布，这一成果不仅提升了模型的响应效率，更重要的是显著降低了运行大模型所需的能源消耗，为AI的可持续发展铺平了道路。

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

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

每日AI资讯1210：微软Copilot拯救年终总结，Mistral与阿里竞逐代码模型新高地



> 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智能深度融合

2025年5月27日，Trae.ai 1.4 国际版（[trae.ai](https://trae.ai)）发布 ，开启收费模式，“白嫖”时代正式落幕（国内版目前依旧免费）。


## 如何选择Trae国际版还是国内版？

简单的说，国际版提供了更优秀的AI模型，所以无脑选择国际版就行了。Trae国际版可以使用`Gemoni-2.5 Pro`、`GPT-4.1`、`GPT-4o`“超级模型”和Gemini-2.5 Flash高级模型，其余并无差别。

| 特性     | Trae国际版                     | Trae国内版     |
| :------- | :----------------------------- | :------------- |
| 官网地址 | trae.ai                        | trae.com.cn    |
| 注册方式 | 邮箱（谷歌/Apple）注册登录     | 手机号注册登录 |
| 适用地区 | 国际地区（不支持大陆地区使用） | 中国大陆地区   |

[Trae 1.4 国际版](https://trae.ai/) 和 [Trae 0.6国内版](https://www.trae.com.cn/) 支持的模型对比：

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

简单的说就是Trae国际版（Windows）可以使用`Gemoni-2.5 Pro`、`GPT-4.1`、`GPT-4o`“超级模型”和Gemini-2.5 Flash高级模型，其余并无差别，而让人无语的是Mac国际版本居然额外的支持Claude 3.5、3.7、4.0。

## 模型支持对比

| 特性         | Trae国际版                                     | Trae国内版                         |
| :----------- | :--------------------------------------------- | :--------------------------------- |
| 支持的AI模型 | GPT-4o、Claude 3.5/3.7/4.0 Sonnet、DeepSeek R1 | DeepSeek V3/R1、Doubao-1.5 Pro     |
| 上下文长度   | 支持128k上下文长度                             | 根据模型不同有所差异               |
| 多模态支持   | 支持图片上传（除DeepSeek相关模型外）           | 暂不支持多模态                     |
| 中文支持     | 支持但非优化重点                               | 针对中文代码理解和本土开发框架优化 |



## 1.4版本收费政策对比

| 特性     | Trae国际版                                | Trae国内版         |
| :------- | :---------------------------------------- | :----------------- |
| 收费模式 | 1.4版本开始推出Pro付费订阅                | 目前仍保持免费策略 |
| 价格     | 月付$10，年付约650元人民币                | 免费               |
| 首月优惠 | 首月仅$3                                  | 不适用             |
| 支付方式 | 支持支付宝支付，无需海外信用卡            | 不适用             |
| 发票服务 | 提供发票（需在官网Plan & Billings中申请） | 不适用             |

## Trae使用体验对比

| 特性         | Trae国际版                         | Trae国内版                                |
| :----------- | :--------------------------------- | :---------------------------------------- |
| 排队情况     | 免费版需排队，Pro版无需排队        | 因使用国产大模型，排队情况相对较轻        |
| 响应速度     | 取决于所选模型和网络环境           | 针对国内网络环境优化，响应速度提升40%以上 |
| 功能完整性   | 完整支持所有功能                   | 完整支持所有功能                          |
| 代码生成质量 | 依赖国际顶尖模型，适合复杂代码生成 | 针对中文需求和本土框架优化                |



## 那些年，我们在Trae的免费队伍里

用过 Trae 免费版的小伙伴都知道，它就像一个热情但人手不够的服务员，时不时就让你等等等等等。尤其是在写代码写到思路飞起的时候，突然来个“请排队”的提示，那感觉，就像是约了女神吃饭结果被告知得等位两个小时一样令人崩溃。

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

虽然是免费的，咱也不好说啥，毕竟“白嫖”一时爽，一直“白嫖”一直爽的可能性在互联网时代越来越低了。大家也就忍了，毕竟能有个AI帮写代码，总比自己一个字一个字敲强。

## Trae 1.4 版本开始免费时代正式下线！10$能换来什么？

2025 年 5 月 27 日，更新后显示更新日志。Trae 1.4.0 版本正式发布。模型效果全面进阶，使用体验显著增强。全新上线**付费免排队**能力。新用户首充 3 美金（续费10$），可获得 600 次免排队，支持超级模型调用，效率飙升，快来体验！以下是变更细节：

### 付费免排队能力

- 新用户首充 **3 美金，可用 600 次**快速队列。
- 超级模型（Claude-4/3.7/3.5-Sonnet、Gemini-2.5-Pro 等）快速队列体验更丝滑。
- 新增账号管理，及时查看模型及队列用量，选购限时容量包，低至 0.02 美金/次快速队列。

### 优化模型效果

- 优化 Agent 能力，使之**更 Agentic 化**，让 AI 更自主的决策，进而提升生成效果和用户体验。
- 扩充了 AI 可自主调用的工具，减少编程时的人工依赖，编程更流畅。
- 多轮对话上下文更连贯，**通过"继续"指令无缝衔接执行**，任务完成率更高。

### 支持“分享智能体、开箱即用”

- **智能体一键分享与导入**，快速复用 Prompt 和 MCP 配置。
- 新增对 Python、Java、Go 等语言的环境配置引导。

就在大家“等等”习惯了的时候，Trae 国际版 1.4 版本悄悄上线，带来了个重磅消息：要收费了！而且，价格低到惊掉下巴 首月仅3美元！

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

这10美元，官方的意思很明确：就是来拯救你们这些“等等党”的！付费之后，告别排队，享受丝滑的AI编程体验。想象一下，敲代码的时候，AI助手随时待命，无需等待，这效率提升得简直是“坐火箭”啊！

而且，这个价格，对比一下同行们，简直是“价格屠夫”级别的。Cursor 这种在开发者圈子里口碑不错的AI编程IDE，月费通常在20美元左右。这么一比，Trae 的10美元，简直是“买不了吃亏，买不了上当”的节奏啊！

## 10美元的“价格屠夫” 能否硬刚20美元的“老大哥”？

Trae 这波低价操作，明摆着就是要来抢 Cursor 的饭碗。一个10美元，一个20美元，这差距可不是一星半点。对于很多个人开发者或者小型团队来说，10美元的门槛简直是太友好了。

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

但这就像是拳击比赛，体重量级不一样，但能不能打赢，还得看真本事。Cursor 毕竟在 AI 编程领域耕耘了一段时间，其AI模型的训练、功能的完善程度、对各种编程语言和框架的支持，都有一定的积累。它的20美元，很大程度上是建立在其提供的强大价值和稳定服务之上的。

那么问题来了：Trae 的10美元，除了能告别排队，还能提供什么样的AI编程能力呢？它会不会因为价格太低，而在核心功能上存在“致命问题”？

## 低价背后的“隐患” 别只顾着看价格！

别光看10美元便宜！如果Trae的AI模型本身不够聪明，给出的代码建议错误百出，或者只能处理一些简单的场景，那即使不排队，也只是“不排队地写烂代码”啊！

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

**大家心里打鼓的“致命问题”可能是：**

*   **AI智商不够高？** 10美元能请到的AI，会不会只能完成一些基础任务，遇到复杂代码就“懵圈”了？写出的代码质量不如 Cursor？
*   **功能太简陋？** 除了基本的代码补全，像高级的代码重构、深度调试集成、智能bug查找等功能，会不会是阉割版？
*   **服务不稳定？** 虽然不排队了，但会不会时不时抽风，或者遇到bug没人管？
*   **更新跟不上？** 价格太低，研发投入会不会不足，导致功能更新缓慢，跟不上技术发展？

要知道，开发一个真正好用的AI编程IDE，需要巨大的技术投入和持续的迭代。10美元的价格，是否真的能支撑起一个强大且持续进步的AI编程平台？

## 告别排队是真香，但真香还是真坑？得用了才知道

总的来说，字节跳动 Trae 国际版 1.4 版本告别免费，以每月10美元的超低价杀入付费市场，并且承诺解决排队问题，这无疑是一个非常有吸引力的举措。对于那些受够了排队，又不想花太多钱的开发者来说，这可能是个不错的选择。

但它能否真正挑战 Cursor 的地位，甚至成为开发者的新宠，还得看它在10美元的价格下，能否提供一个功能足够强大、AI足够智能、服务足够稳定的编程体验。别光看价格，功能才是硬道理啊！

所以，Trae 1.4 版本究竟是“真香”还是“真坑”？各位开发者们，是时候掏出你们的10美元，亲自去试试看了！毕竟，实践才是检验AI的唯一标准！


字节跳动 - Trae 1.4 终结“白嫖”时代，它变好用了吗？



> 在信息爆炸的时代，我们每天都要处理海量的多模态信息，从图片到文字，再到代码。如何快速准确地找到所需信息，成为了人工智能领域亟需解决的问题。近日，智源人工智能研究院带来了令人振奋的消息，他们成功研发并发布了三款达到SOTA（最先进水平）的多模态检索模型：BGE-VL-Screenshot、BGE-Code-v1和BGE-VL-v1.5。这些模型在各自擅长的领域取得了 significant breakthroughs，极大地提升了AI对代码、图文等复杂多模态信息的理解和检索能力。

## BGE-VL-Screenshot 截屏也能轻松搜

你有没有遇到过这样的情况 截了一张图，想根据图片里的文字内容去搜索，却发现很难做到？或者想通过图片来找到相关的网页内容？智源的 **BGE-VL-Screenshot** 模型就是专门为了解决这个问题而生的。

这款模型 unique 的能力在于，它能够 understanding the semantic meaning of screenshot images。也就是说，它不仅仅是识别图片里的文字，更能理解这些文字在图片中的布局和含义，并将其与 natural language query 进行关联。

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

通过 BGE-VL-Screenshot，你可以用一段文字来描述截图中的内容，模型就能帮你找到相关的截图；反之，你也可以上传一张截图，让模型帮你找到相关的文字信息或者网页链接。这对于我们日常工作和学习中查找和整理信息提供了 extreme convenience。例如，你可以用一段文字描述某个网页的特点，然后通过截图来快速定位到那个网页。

## BGE-Code-v1 代码理解的得力助手

对于程序员和开发者来说，理解和查找代码是 daily routine。传统的代码搜索往往依赖于关键字匹配，效果 sometimes not ideal。智源的 **BGE-Code-v1** 模型在代码理解和检索方面取得了 significant progress。

这款模型专注于理解自然语言描述与代码之间的关系。它能够 effective 地将自然语言问题或需求与相关的代码片段进行匹配。

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

BGE-Code-v1 可以根据你用中文或英文描述的功能需求，在 vast code repositories 中搜索并找到最相关的代码片段。Similarly，它也可以理解一段代码的功能，并用通俗易懂的自然语言进行解释。这对于代码复用、代码学习、代码错误排查等场景都具有 tremendous value，可以极大地提升开发效率。

## BGE-VL-v1.5 更强的通用图文理解能力

智源的 **BGE-VL-v1.5** 模型则是一款通用性更强的图文理解模型。它在多种图文相关的下游任务上都展现出了 impressive performance，并且取得了 SOTA 成绩。

这款模型的核心能力在于 its sophisticated understanding of the relationship between images and text。它能够 both understand the content of an image and its corresponding text description，并能够 accurately match them。

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

BGE-VL-v1.5 可以用于各种图文检索任务，例如：

*   **以文搜图** 根据一段文字描述搜索相关的图片。
*   **以图搜文** 根据一张图片搜索相关的文字描述、文章或网页。
*   **跨模态匹配** 理解图片和文字之间的 deeper relationship，进行更 nuanced 的匹配。

这款模型的出色表现， further pushed the boundaries of general visual-language understanding，为构建更强大的多模态AI应用提供了坚实的基础。

## 智源模型的优势与意义

智源此次发布的三大 SOTA 模型， 不仅仅是技术上的突破，更 significant 的意义在于：

### 提升多模态检索效率与准确性

这三款模型在各自的细分领域都达到了当前的最优水平，这意味着它们能够以更高的效率和准确性完成多模态检索任务，帮助用户更快地找到所需信息。

### 为开发者提供强有力的工具

这些模型的发布， 为开发者提供了 powerful tools to build more intelligent and user-friendly multi-modal applications。例如，可以利用 BGE-Code-v1 开发更智能的代码助手，利用 BGE-VL-v1.5 开发更精准的图文搜索引擎。

### 推动多模态AI技术发展

智源在这些领域的持续投入和技术突破， undoubtedly 对整个多模态AI领域的发展起到了推动作用，也为未来的 research and application opened up new possibilities。

智源研究院此次发布的三大 SOTA 多模态检索模型， 在代码和图文理解方面展现出了 leading 的能力， 这无疑是人工智能领域的又一 important milestone。我们期待这些模型能够在实际应用中发挥更大作用，为我们的生活和工作带来更多便利。

智源发布多模态检索新利器 三大SOTA模型 代码图文理解能力全面升级



> 作为全球领先的 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 在编程领域的应用开启了新的篇章，其后续发展和对开发者生态的影响，值得我们拭目以待。


ChatGPT 重磅升级，GPT-4.1 编程专家模型正式亮相，代码能力再飞跃

Windsurf

Cursor

字节跳动推出的免费AI编程工具，基于Claude模型

搜索结果: 代码理解