Helsing 目标在 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 已修补该漏洞，并开展了对比实验，证实这些模型并未发展出欺骗行为。该公司已在所有训练流程中部署了自动化扫描系统，以防止再次发生。

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

据《财新》5月9日报道的市场消息，阿里巴巴并未就融资与 DeepSeek 进行谈判。此澄清是在此前媒体报道称两家公司会谈已破裂之后作出。DeepSeek 于4月发起一轮重要的融资，吸引了腾讯和阿里巴巴的关注。

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 亿人民币，因为该公司在内存芯片需求上升的背景下加速部署人工智能