谷歌 Gemini 应用月活用户突破 10 亿，与 ChatGPT 并驾齐驱

谷歌 CEO Sundar Pichai 通过 X 宣布，Gemini 应用已成为公司增长最快的产品之一，月活跃用户数近期突破 10 亿。这是谷歌第 14 个达到 10 亿用户里程碑的产品。这一数字紧随其 2026 年第二季度财报电话会议之后公布，当时公司庆祝月活用户超过 9.5 亿，日活用户在过去一年里增长了两倍。

Gemini 的快速增长使其与 OpenAI 的 ChatGPT 并驾齐驱，后者在 6 月份月活用户达到 10 亿。谷歌一直在将 Gemini 整合到其产品线中，从搜索、Workspace 到 Android 和独立应用。其中，搜索中的 AI Mode 已拥有超过 10 亿月活用户，但今日公布的数字特指 Gemini 应用，不包括其他渠道的 AI 用户。谷歌还继续推出新模型和功能，包括 Gemini 3.5 Flash，据称旨在改进编码和自主 AI 代理任务。

谷歌还分享了用户使用方式的数据：63% 的 Gemini 用户使用语音功能与助手直接对话，Gemini 每天生成超过 1.5 亿张图片。此外，Gemini 在 iOS 上拥有超过 1 亿活跃用户。这一里程碑发布在 Made by Google 活动之前，预计届时 Pixel 设备将推出更多 Gemini 驱动的功能。

黎曼猜想是数学界 150 多年来未解决的主要问题之一，关乎素数的分布，目前悬赏 100 万美元征求完整证明，但无人领取。当代 AI 模型仍无法解决它，但能取得比预期更多的进展，这一发现可能重新引发关于 AI 发现新科学和数学思想能力的长期讨论。

周一，Anthropic 宣布一个尚未发布的模型在黎曼猜想上取得了显著进展，显著提高了该猜想成立解的下界。更令人印象深刻的是进展方式：一位没有深厚数学训练的 Anthropic 员工提示模型“认真尝试”证明该猜想，然后让模型在接下来的一天半里协调任务。该模型共测试了 650 个不同的解题思路，协调 60 个子代理，总共花费了 3100 万输出 token。论文脚注解释，60 个子代理中，两个负责提出关键数学思想，13 个为这些代理贡献想法，30 个尝试但未能提出新想法，13 个作为验证者检查论证正确性，最后两个帮助撰写初稿。

这一发现由 Anthropic 内部两位数学家确认，并使用开源证明助手 Lean 形式化。这是大语言模型带来的一系列数学突破中的最新一例。今年已有多个 Erdos 问题被 AI 模型解决，更强模型的发布带来了更令人印象深刻的结果。OpenAI 最近发布了其内部“Astra”模型证明的 10 项重大成果，而 Anthropic 的另一项工作则反驳了长期存在的雅可比猜想。不断增长的研究成果在数学界引发了兴奋与担忧。六月签署的一份公开宣言中，一群著名数学家担心 AI 可能削弱该领域的关键价值观，特别是数学证明应“可归属于特定作者，他们为发现负责并承担正确性责任”的标准。但领域内对如何对待新技术仍存在分歧。菲尔兹奖得主 Timothy Gowers 在回应宣言的博客文章中质疑，AI 的影响是否可能以更复杂和积极的方式改变数学。他写道：“如果我们到达一个数学定理不再与数学家关联的世界，也许这不会比星星不以天文学家命名、大多数星星根本没有名字更有问题。”

ChatGPT 已遍布全球桌面，但 Linux 社区一直缺乏官方应用。开源开发者社区的某些部分一直呼吁 OpenAI 将聊天机器人带到他们的平台。本周，OpenAI 弥补了这一遗漏，推出了专为 Linux 设计的 ChatGPT 应用。

OpenAI 周二表示：“Linux 一直是桌面应用最受请求的平台之一，此次发布将 ChatGPT 和 Codex 扩展到所有主要桌面操作系统。”该应用以预览版形式发布，自周二起全球上线，允许 Linux 用户在不同发行版上使用 ChatGPT、ChatGPT Work 和 Codex。支持的发行版包括 Ubuntu 24.04 和 26.04 LTS 的桌面版、Debian 13 以及 Fedora 43 和 44。Linux 社区包含数百个发行版，但 OpenAI 选择的这些发行版是各种“下游”桌面发行版或“风味”的基础，因此这些衍生版也应兼容。

OpenAI 在时间上落后于 Anthropic，后者大约一个月前发布了 Claude Linux 桌面应用。Anthropic 的应用支持 Ubuntu 22.04 或更高版本以及 Debian 12 或更高版本。

OpenAI 长期高管 Brad Lightcap 宣布离职，将“开始新事业”。他在周二（原文为 Tuesday）发布的内部信中告诉员工，离开 OpenAI 是“苦乐参半”的决定。Lightcap 于 2018 年加入公司，担任首席财务官四年，2022 年起任首席运营官，今年早些时候在管理层调整中转任特别项目负责人。此前，他曾与 CEO Sam Altman 在风投公司 Y Combinator 共事。

Lightcap 在信中回顾了从财务、法务到人事、公司秘书、政府关系、合作伙伴等团队的组建历程，并暗示未来将有新动作，但未透露具体方向。他说：“我相信进入下一阶段，世界需要做好几件重要的事。我很快就会分享更多。”OpenAI 正筹备具有行业意义的 IPO，高层持续变动：7 月，负责 AGI 开发的二号人物 Fidji Simo 宣布卸任；前 Sora 负责人 Bill Peebles 和科学部门副总裁 Kevin Weil 也近期离职。

由 xAI 联合创始人 Igor Babuschkin 创立的 AI 初创公司 River AI 获得 11 亿美元融资，由 General Catalyst 和 AMP PBC 领投，Nvidia、AMD Ventures、Y Combinator、Temasek 参投。River 于 6 月结束隐身状态，Babuschkin 曾在 DeepMind 和 OpenAI 任职，他打算从头重建 AI 技术栈，包括模型训练方式，目标是让智能体成为个人可训练的助手，而非替代人类工作者。

River 已提供 API，按每百万 token 计费，支持强化学习和 LoRA 微调。公司称，企业可在 15 至 20 分钟内完成复杂强化学习运行，无需基础设施团队，成本比闭源方案节省 2 至 4 倍。Babuschkin 在博客中设想智能体“像守护天使一样安静陪伴”。此轮融资规模对初创公司而言相当可观，也反映 AI 投资热潮。

Spotify 周二宣布，将为 AI 生成的艺人档案添加“AI Persona”标签，并默认将其音乐排除在编辑推荐、算法推荐和个性化推荐之外。9 月中旬起，部分艺人主页将出现该徽章，表明其身份由 AI 生成。Spotify 表示不会仅依赖艺人自我申报，还会审查艺人档案，识别名字和形象疑似由 AI 生成的照片级身份，并优先处理达到一定收听量的档案。

被标记的 AI Persona 徽章将显示在艺人主页横幅、关于部分、搜索和播放列表曲目行。除非用户主动关注，否则不会收到相关推荐。Spotify 称艺人可对错误标签提出申诉。公司表示，此标签针对艺人公开身份而非音乐制作方式，音乐制作信息仍通过 AI Credits 和 SongDNA 提供。艺人可于 2026 年 8 月 11 日起通过 Spotify for Artists 自我申报，标签下月上线。

Anthropic 表示将为其模型（包括 Claude）生成的文本添加水印，以符合欧洲法规。公司在一份更新的支持页面中确认了该举措。欧盟《人工智能法案》透明度规范于 8 月 2 日生效，要求 AI 公司以其他系统可识别的方式标记 AI 生成或编辑的内容。Anthropic 称，8 月 2 日后发布的所有模型将自动具备水印技术，覆盖计算机生成文本和文件，文件采用 C2PA 开放标准。

Anthropic 将把水印支持扩展到旧模型，水印会随文本复制粘贴而传播，并可能在某些编辑后保留。支持页面称：“水印是文本的一部分，复制粘贴到别处时会随之传播，可能在某些编辑后仍然存在。”水印将在模型层面应用，无论文本来自 Claude 平台 API、Claude、Claude Code、Claude Cowork 还是 Claude Tag。公司未说明需要多少编辑才能去除水印，Anthropic 已询问但未获回应。其他公司如 Black Forest Labs、Google、Meta、Microsoft、OpenAI 和 Synthesia 也已承诺遵守欧盟规范。