关键词DeepSeek Code、Anthropic、千问3.7、AI编程工具、OpenAITL;DRDeepSeek 被曝正在研发 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-222. 千问 3.7 登顶国产模型Artificial Analysis 最新榜单显示千问 3.7 位列全球前五、国产模型第一。Qwen3.7-Max 也即将上线。阿里在开源模型上的持续投入正在收到回报。对于需要通过 API 调用国产模型的开发者来说千问系列一直是性价比之选这次登顶意味着后续的模型能力和生态支持会进一步增强。来源量子位 · 2026-05-223. 腾讯混元开源翻译模型腾讯混元开源了全新翻译模型 Hy-MT2并上线了小程序「腾讯 Hy 翻译」。翻译是 AI 最成熟的应用场景之一混元这次开源意味着开发者可以免费用上企业级翻译能力。如果你的项目需要多语言支持这值得关注。来源量子位 · 2026-05-214. 华为发布 AI DC 数据基础设施全栈方案华为在数据基础设施领域发布全栈方案加速 AI 规模化落地。国产 AI 基础设施正在补齐短板。国际动态5. OpenAI 非数学模型证明 80 年猜想本周最震撼的学术突破OpenAI 的非数学专用模型首次自主证明了埃尔德什自守素数猜想推演过程长达 125 页。菲尔兹奖得主都表示震惊。这说明大模型的推理能力正在突破模式匹配的边界开始具备真正的数学证明能力。虽然离 AGI 还远但方向是对的。来源机器之心 / 量子位 · 2026-05-216. Anthropic 即将迎来首个盈利季度TechCrunch 报道Anthropic 预计本季度实现盈利。对于一家以安全研究为旗号的 AI 公司来说这是一个重要的里程碑。背后的原因可能是 Claude 在企业市场的渗透率在快速提升。如果你在项目中使用 Claude APIAnthropic 的盈利意味着它会更稳定地持续运营。来源TechCrunch · 2026-05-207. Meta 裁员 8000一切为了 AI小扎凌晨 4 点宣布裁员约 8000 人约占员工总数 10%目的是为 AI 投资腾出资金。Meta 正在把资源从社交业务集中到 AI 基础设施上。这是今年继 Google、Amazon 之后又一波大厂 AI 重组。趋势很明确AI 不是增量是存量博弈。来源机器之心 / The Verge · 2026-05-218. 特朗普推迟 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 吗欢迎在评论区分享你的看法。