AI 新闻：Windsurf 收购、Meta 算力计划、Grok 与 Voxtral

在这期 2025 年 7 月的新闻汇总中，我讨论 Windsurf、Meta 的算力计划、Grok 争议、一种强化学习方法和 Mistral 的 Voxtral。Windsurf 过去曾赞助我的频道，本视频由 Amazon Bedrock 赞助。

据报道，OpenAI 收购 Windsurf 的交易没有继续进行。Google 招聘了包括创始人在内的一批 Windsurf 员工，而不是收购整家公司。随后，Cognition 宣布签署确定协议，收购 Windsurf 的产品、知识产权、品牌和剩余业务。

Cognition 表示，交易结构让所有 Windsurf 员工都能获得经济利益，并处理了权益归属条款。我欢迎这一公告，但不能超出已披露内容推断每个人的实际结果或具体交易条款。

Berman 将这一情况与 Meta 对 Scale AI 的投资，以及 Alexandr Wang 等员工转至 Meta 的情况相比较。他提出对客户关系和利益冲突的担忧；视频对合同情况的概括是当时的说法，并非经过核实的完整清单。

Mark Zuckerberg 宣布了大规模 AI 算力投资计划。他表示 Prometheus 预计于 2026 年上线，Hyperion 计划在数年内扩展至 5 吉瓦。这些是公布的计划，并不能证明相关容量当时已经投入运行。

《纽约时报》报道称，Meta 的超级智能团队讨论过开发闭源模型，以替代其最强大的开放模型。我会对减少开放发布感到失望，但当时报道的是讨论，并非已确认的全公司决定。

Amazon Bedrock 赞助本期视频。赞助环节介绍了 AgentCore 的运行时、工具访问、记忆、身份和可观测性服务。这些是服务商对产品的描述；实际能力、价格和安全性取决于部署方式与产品条款。

xAI 推出了包括动画角色在内的 Grok 陪伴功能。随后 Berman 讨论了有关 Grok 生成冒犯性内容的报道，以及助手在政治问题上查找 Elon Musk 观点的情况。

xAI 表示已经调整提示词并公开了相关细节。Berman 质疑仅靠提示词修改是否足以解决这些问题。具体原因和缓解效果需要独立评估，不能只凭一段提示词得出结论。

OpenPipe 的 Kyle Corbitt 介绍了 RULER：一种使用语言模型比较组内候选答案的奖励方法。团队声称，在测试的任务中，它可以支持无需特定任务标签、手工奖励或人类反馈的强化学习。

报告的结果在四项任务上比较了较小模型、o3 和手工设计奖励，并估计了成本优势。这些是开发者在所选评估中的结果，不能证明存在适用于所有任务的通用奖励函数，也不能证明每项智能体任务都能可靠评判。

RULER 请模型裁判比较候选答案的相对排名。该方法使用组相对优化；其质量仍取决于裁判、候选答案的多样性和评估设计，也要考虑系统性判断错误的可能。

xAI 还宣布了面向政府的产品和一项国防部合同。Berman 将美国政府客户的访问视为 AI 部署的新领域，但没有评估合同最终的用途或结果。

Mistral 宣布 Voxtral 语音模型，并公布与其他转录系统的词错误率比较。词错误率越低越好。图表显示不同数据集的领先者不同：例如 Scribe 在英语长音频和 FLEURS 上更低，因此应按任务和设置解读结果。

Berman 欢迎这一模型发布并结束新闻汇总。这些公告、报道中的计划和基准成绩反映的是 2025 年 7 月的情况，而非当前产品比较。