关键词：DeepSeek Code、Anthropic、千问3.7、AI编程工具、OpenAI

---

TL;DR

DeepSeek 被曝正在研发 AI 编程工具，Anthropic 即将首次盈利，千问 3.7 登顶国产模型第一，OpenAI 模型证明了 80 年数学猜想。本周最值得关注的趋势：AI 编程工具正在从辅助走向主导。

目录

• 国内动态

• 国际动态

• 本周观察

---

国内动态

1. DeepSeek Code 真要来了

量子位报道，DeepSeek 融资额已飙升至 700 亿元，管理层向潜在投资者表示优先考虑突破性 AI 研究而非短期商业化。

更实锤的是，DeepSeek 正在密集招聘 Agent Harness 相关岗位——产品经理、研发工程师、算法研究员一天内放出 10+ 个。自家资深研究员 Deli Chen 亲自发帖，团队负责人或为今年 3 月加入的前 TSY Capital 联合创始人崔添翼。

招聘 JD 里要求深度使用 Claude Code、Codex、Cursor、GitHub Copilot 等产品，方向已经很明确：DeepSeek 要做自己的 AI 编程工具了。

对程序员来说，AI 编程工具赛道又要多一个重量级玩家。

来源：量子位 · 2026-05-22

2. 千问 3.7 登顶国产模型

Artificial Analysis 最新榜单显示，千问 3.7 位列全球前五、国产模型第一。Qwen3.7-Max 也即将上线。

阿里在开源模型上的持续投入正在收到回报。对于需要通过 API 调用国产模型的开发者来说，千问系列一直是性价比之选，这次登顶意味着后续的模型能力和生态支持会进一步增强。

来源：量子位 · 2026-05-22

3. 腾讯混元开源翻译模型

腾讯混元开源了全新翻译模型 Hy-MT2，并上线了小程序「腾讯 Hy 翻译」。翻译是 AI 最成熟的应用场景之一，混元这次开源意味着开发者可以免费用上企业级翻译能力。如果你的项目需要多语言支持，这值得关注。

来源：量子位 · 2026-05-21

4. 华为发布 AI DC 数据基础设施全栈方案

华为在数据基础设施领域发布全栈方案，加速 AI 规模化落地。国产 AI 基础设施正在补齐短板。

国际动态

5. OpenAI 非数学模型证明 80 年猜想

本周最震撼的学术突破：OpenAI 的非数学专用模型首次自主证明了埃尔德什自守素数猜想，推演过程长达 125 页。菲尔兹奖得主都表示震惊。

这说明大模型的推理能力正在突破"模式匹配"的边界，开始具备真正的数学证明能力。虽然离 AGI 还远，但方向是对的。

来源：机器之心 / 量子位 · 2026-05-21

6. Anthropic 即将迎来首个盈利季度

TechCrunch 报道，Anthropic 预计本季度实现盈利。对于一家以安全研究为旗号的 AI 公司来说，这是一个重要的里程碑。

背后的原因可能是 Claude 在企业市场的渗透率在快速提升。如果你在项目中使用 Claude API，Anthropic 的盈利意味着它会更稳定地持续运营。

来源：TechCrunch · 2026-05-20

7. Meta 裁员 8000，一切为了 AI

小扎凌晨 4 点宣布裁员约 8000 人（约占员工总数 10%），目的是为 AI 投资腾出资金。Meta 正在把资源从社交业务集中到 AI 基础设施上。

这是今年继 Google、Amazon 之后又一波大厂 AI 重组。趋势很明确：AI 不是增量，是存量博弈。

来源：机器之心 / The Verge · 2026-05-21

8. 特朗普推迟 AI 安全行政令

TechCrunch 报道，特朗普推迟了 AI 安全行政令，称原文语言「could have been a blocker」。AI 监管的不确定性依然是行业最大的变数之一。

来源：TechCrunch · 2026-05-21

本周观察

本周最值得关注的趋势：AI 编程工具正在从"辅助"走向"主导"。

DeepSeek 做 Code 产品、OpenAI 的 Codex 持续迭代、Anthropic 的 Claude Code 被微软吐槽太贵——这些信号都指向同一个方向：AI 不只是帮你写代码，它要成为开发流程的核心。

对于 C# 程序员来说，与其焦虑"Python 会不会取代 C#"，不如关注"AI 编程工具会不会改变整个开发模式"。这才是真正值得提前布局的事。

---

互动时间：你平时用哪些 AI 编程工具？觉得 AI 编程工具会取代传统 IDE 吗？欢迎在评论区分享你的看法。