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

美国法官裁定 DOGE 资助削减在使用 ChatGPT 和 DEI 关键词后属违法，并于周四阻止执行

据 ABC 新闻报道，周四一名美国联邦法官裁定，由埃隆·马斯克支持的 DOGE 执行的拨款削减是违法的。纽约的美国地区法官科琳·麦克马洪表示，工作人员使用 ChatGPT 以及包括“DEI”“Equity”“Inclusion”和“LGBTQ”在内的关键词搜索，来协助终止面向美国国家人文基金会（National Endowment for the Humanities）的资助项目。该法官下令，禁止特朗普政府执行这些存在争议的取消决定，并表示审查流程未能类似任何正常的联邦拨款审查体系。麦克马洪写道，使用受保护的身份和与多样性相关的术语作为取消资助的理由，可能违反了法律。

欧洲央行官员称 AI 风险促使周六对金融基础设施进行审查

José Luis Escrivá，欧洲央行管委会成员兼西班牙央行行长，上周六表示，鉴于人工智能的兴起，央行必须审查金融基础设施的韧性和网络安全。“人工智能的近期发展迫使我们重新评估金融基础设施的稳健性以及我们的网络安全，”Escrivá在塔拉戈纳的一场活动上表示。他还强调，央行作为最终担保方，在应对稳定币带来的风险方面发挥作用。

Cloudflare 股价在 5 月 8 日盘中大跌 23.62%，因 Q1 财报后宣布裁员 1,100 人

Cloudflare 的股价在 5 月 8 日下跌 23.62%，至每股 196.13 美元，此前公司发布了第一季度财报，并宣布约 1,100 人裁员。尽管第一季度营收为 6.4 亿美元，凭借同比增长 34% 超出预期，但第二季度营收指引为 6.64–6.65 亿美元，低于此前市场预期的 6.66 亿美元。裁员规模约占员工总数的 20%，是公司向“AI-agent-first 运营模式”转型的一部分，预计成本为 1.4 亿–1.5 亿美元。

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》中的一个未决猜想，展示了其实际研究价值。目前，该系统正处于测试版阶段，仅向少数数学家开放。