北京月之暗面科技有限公司上周发布了有 1 万亿总参数、320 亿激活参数的混合专家模型 Kimi K2。基准测试显示它能在部分领域打败 OpenAI 的 GPT-4.1。Kimi K2 在软件工程测试 SWE-bench Verified 中的正确率达到了 65.8%，超过了大多数开源模型，能与私有模型相媲美；在编程测试 LiveCodeBench 中，Kimi K2 的正确率达到了 53.7%，超过了 DeepSeek-V3 的 46.9% 和 GPT-4.1 的 44.7%；在数学推理测试 MATH-500 中的得分为 97.4%，超过了 GPT-4.1 的 92.4%。相比 OpenAI，月之暗面投入的成本更低，速度更快更便宜。

xAI 的新模型 Grok 4 被发现在回答敏感问题前会先检查马斯克（Elon Musk）的观点。在这之前 Grok 一度宣称自己是机械希特勒（MechaHitler）。AI 研究员 Simon Willison 问 Grok 在巴以冲突中它站在哪一方？模拟推理过程的“思维轨迹（thinking trace）”显示它搜索了 X 平台上马斯克的帖子——from:elonmusk (Israel OR Palestine OR Gaza OR Hamas)，然后回答以色列。Grok 称鉴于马斯克的影响力其立场可以作为参考。Grok 并不总是会去搜索马斯克的帖子，因此 Willison 猜测 Grok 的这种行为是基于一系列推理：它知道 Grok 4 是 xAI 构建的，马斯克是 xAI 的所有者, 因此在寻求建议时它通常会更多考虑马斯克的想法。

英伟达宣布恢复向中国出口 H20 芯片，并表示将会推出一款特供中国市场的新型号芯片。H20 此前是英伟达能向中国出口的最先进 AI 芯片，美国政府于 4 月 9 日通知英伟达，H20 芯片需要获得许可证才能出口到中国。英伟达现在表示它已经申请了许可，已经获得政府承诺，预计将会很快获得批准，准备开始向中国公司交付芯片。英伟达同时表示，正在为中国市场开发一款新的特供 AI 芯片，完全符合美国的出口管制规定。根据早些时候的报道，新芯片将是基于 Blackwell 架构的 RTX Pro 6000D，使用 GDDR7 而不是 HBM 等更先进的高带宽显存，预计售价在 6,500-8,000 美元之间，低于 H20 的 10,000-12,000 美元。