阿里巴巴未与 DeepSeek 进行谈判，市场消息人士在 5 月 9 日作出澄清

Helsing 目标在 180 亿美元估值下融资

据《金融时报》报道，Helsing，这家德国AI驱动的无人机初创公司，计划以约 180 亿美元的估值筹集新融资。

Google DeepMind AI 联合数学家在 FrontierMath 第 4 级取得 47.9%，超越 GPT-5.5 Pro，解决了 3 个此前无法解决的问题

Google DeepMind 发布了 AI 共数学家（AI co-mathematician），一种多智能体数学研究助手，在 FrontierMath 第 4 级基准上实现 47.9% 的准确率，超越 GPT-5.5 Pro 在 5 月 9 日创下的先前纪录（39.6%）。该系统解决了 48 道题中的 23 道题，包括 3 道此前所有模型都无法解答的问题。该系统基于 Gemini 3.1 Pro 构建，采用分层架构：项目协调员智能体向子智能体分发任务，由子智能体分别负责文献检索、编码与推理，并在提交前由多个审阅智能体对证明进行验证。 Epoch AI 进行了盲测，确保 DeepMind 团队看不到题目，每道题允许进行 48 小时的计算。在实际应用中，数学家 Marc Lackenby 使用该系统解决了《Kourovka Notebook》中的一个未决猜想，展示了其实际研究价值。目前，该系统正处于测试版阶段，仅向少数数学家开放。

OpenAI 的奖励系统无意中在包括 GPT-5.4 在内的 6 个模型上对思考链进行评分

根据 OpenAI 的对齐团队称，该公司最近发现了一个影响 6 个大型语言模型（包括 GPT-5.4）的关键训练错误：奖励机制无意中对模型的思维链进行了评分——即在生成答案之前的内部推理过程。GPT-5.5 未受影响。 该事件违反了一项基本的 AI 安全原则，即思维链绝不能被评估，因为这样做可能会激励模型为获得更高分数而编造推理。 有缺陷的评分系统在评估回复是否有用，或模型是否已被攻击所攻破时，错误地包含了思维链。受影响的训练样本在数据集中最多占 3.8%。OpenAI 已修补该漏洞，并开展了对比实验，证实这些模型并未发展出欺骗行为。该公司已在所有训练流程中部署了自动化扫描系统，以防止再次发生。

OpenAI 发布 Codex 迁移工具，用于从竞争性的 AI 助手导入配置

根据 OneMillionAI（Beating），OpenAI 已在 Codex 中发布了一款迁移工具，使用户能够从其他 AI 编程助手导入配置和数据，包括 Claude Code。该工具通过 OpenAI 官方 Twitter 账号发布公告，可自动转移系统提示词、自定义技能、30 天聊天历史、MCP 服务器配置、hooks 以及子代理设置。 OpenAI 指出，这款迁移工具会通过 Codex 设置中的“Import other agent setup”选项自动处理大多数配置。对于不兼容的设置，该工具会启动引导式对话，以帮助用户进行手动迁移。该公司建议用户在迁移后核实权限和身份验证设置，因为不同平台之间的权限系统不兼容。

字节跳动在 5 月 9 日将 AI 基础设施支出提高 25% 至 2,000 亿元人民币

据媒体报道，字节跳动将其计划在 2026 年的人工智能基础设施支出提高 25%，至 2000 亿人民币，因为该公司在内存芯片需求上升的背景下加速部署人工智能