01
人工智能
谷歌的 Gemini 应用月活跃用户数已超过 10 亿。首席执行官桑达尔·皮查伊（Sundar Pichai）在 X 上公布了这一数字，并提到这是谷歌第 14 款达到 10 亿用户的产品，也是公司历史上增长最快的产品。
就在几周前，OpenAI 的 ChatGPT 也跨过了同样的门槛。OpenAI 在 8 月 6 日的一篇博客中低调提及“超过 10 亿人正在使用 ChatGPT”，但外部数据曾显示其月活用户在 6 月就已达到这一规模。OpenAI 发言人表示，ChatGPT 的月活用户数此前已突破 10 亿，7 月的周活用户也达到了 10 亿。
谷歌的 10 亿数字特指 Gemini 应用本身，不包含通过搜索、Workspace 等其他渠道使用 AI 功能的用户。谷歌发言人透露，Gemini 在 2 月时月活为 7.5 亿，7 月底财报电话会上更新为 9.5 亿，上周正式突破 10 亿。
从使用习惯看，谷歌分享了一些具体数据：63% 的 Gemini 用户会直接使用语音功能与助手对话，Gemini 现在每天生成超过 1.5 亿张图片。在 iOS 平台上，Gemini 的月活用户也已超过 1 亿。考虑到 Gemini 预装在安卓手机上，这意味着绝大多数用户来自安卓生态。
ChatGPT 与 Gemini 相继迈过 10 亿用户，但两者的增长节奏有所不同。ChatGPT 从 2 月的 9 亿周活到 7 月达到 10 亿周活，增速有所放缓；而 Gemini 的月活用户在过去几个月增长更快。目前 ChatGPT 整体规模可能仍更大，但 Gemini 的追赶势头明显。
接下来，谷歌预计会在即将举行的 Made by Google 活动上，为 Pixel 设备带来更多由 Gemini 驱动的功能。
02
科学
黎曼猜想是数学界悬置超过150年的难题，至今仍有一百万美元的悬赏等待一个完整的证明。Anthropic 本周一公布，一款尚未发布的模型在这个问题上取得了显著进展——它大幅提高了黎曼猜想成立的下界。
更特别的是取得进展的方式。一位没有深厚数学背景的 Anthropic 员工让模型“认真尝试”证明黎曼猜想，随后模型在接下来的一天半里自主协调了整个任务。它总共测试了650种解题思路，调动了60个子代理，消耗了3100万个输出 token。
根据论文脚注，60个子代理中，两个负责提出关键数学思路，13个为它们贡献想法，30个尝试但未能发展出新思路，13个担任验证者检查论证的正确性，最后两个协助撰写初稿。结果由 Anthropic 内部两位数学家确认，并用开源证明助手 Lean 做了形式化。
这是大语言模型在数学领域一系列突破中的最新一例。今年以来，已有多个 Erdős 问题被 AI 模型解决，OpenAI 近期也公布了其内部模型“Astra”证明的十项重要结果，Anthropic 的另一项工作则否定了长期存在的雅可比猜想。
这些成果在数学界引发了兴奋与担忧。今年六月，一群知名数学家发表公开声明，担心 AI 可能削弱数学领域的核心价值——尤其是“真正的数学证明应归属于特定的作者，他们因发现而获得荣誉，并为正确性负责”这一标准。但领域内对如何对待这些新研究技术仍有分歧。菲尔兹奖得主蒂莫西·高尔斯（Timothy Gowers）在回应声明的博客中写道：“如果我们进入一个数学定理不再与数学家个人关联的世界，也许这并不比星星不以天文学家命名、大多数星星根本没有名字更成问题。”
03
公司
AI 初创公司 River AI 宣布完成 11 亿美元种子轮及 A 轮融资，由 General Catalyst 和 AMP PBC 领投，英伟达、AMD Ventures、Y Combinator 和淡马锡等参投。
River AI 由 xAI 联合创始人伊戈尔·巴布什金（Igor Babuschkin）创立，今年 6 月才结束隐身状态。巴布什金此前曾在 DeepMind 和 OpenAI 担任 AI 相关职位。他的目标是从训练方法开始，彻底重塑 AI，让智能体成为可被个人训练的助手，而非替代人类劳动力的工具。
他在发布博客中写道：“我们认为必须端到端地重建整个技术栈：训练、模型、产品层，以及让个人 AI 贴近你的新硬件。”他设想中的智能体更像是“守护天使”——安静地陪伴，站在你这边，帮你处理真正重要的事，而不是今天那种需要时才召唤的助手。
River AI 已推出 API，按每百万 token 计费，费率取决于所使用的开放模型。该 API 允许开发者对模型进行强化学习和低秩适配微调，意在替代提示工程。产品说明称：“提示词只能操控一个你不拥有、也无法改进的模型。River 让你把开放模型训练成真正属于你自己的模型，并像其他端点一样提供服务。”
这笔巨额融资出现在企业对掌控自身 AI 模型命运需求觉醒的时机。River AI 承诺通过其新云服务解决训练后环节的专业难题，在融资公告中称：“任何企业都能在 15 到 20 分钟内完成一次复杂的强化学习运行，无需基础设施团队，成本比闭源方案节省两到四倍。”
River AI 的更大愿景是让每个人都拥有自己训练的智能体，为自己工作。这一概念已随着 OpenClaw 等本地运行的个人智能体兴起而初现端倪，英伟达也在与戴尔、微软、惠普等厂商合作推出 AI 硬件。River AI 的技术将如何差异化，还有待观察，但它已带着充足的资金开始尝试。
04
公司
在 OpenAI 工作八年的布拉德·莱特卡普（Brad Lightcap）宣布离职。他曾在公司担任首席财务官四年，2022 年起任首席运营官，今年早些时候转任特殊项目负责人。
莱特卡普在内部信中写道，离开是为了“开始一些新的事情”。他回顾了自己从零搭建财务、法务、人事、安全、市场拓展、政府关系等多个业务团队的经历，并表示“看着这些团队在出色的领导者带领下走向成熟，是这段旅程中最让我感到欣慰的部分”。
关于下一步，莱特卡普没有透露具体方向，只提到过去几个月他一直在思考“下一个阶段世界需要做对的几件重要新事”，并说会从不同的角度继续支持 OpenAI 的使命。
莱特卡普是近期又一位离开 OpenAI 的高管。今年七月，负责通用人工智能开发的二号人物菲吉·西莫（Fidji Simo）宣布离职；四月，首席营销官凯特·鲁什（Kate Rouch）因健康原因卸任。此外，前 Sora 视频生成项目负责人比尔·皮布尔斯（Bill Peebles）、科学副总裁凯文·韦尔（Kevin Weil）等人也已离开。
OpenAI 正在为上市做准备，公司内部也在持续调整组织架构，总裁格雷格·布罗克曼（Greg Brockman）已接管产品侧，公司表示将聚焦核心收入来源，削减非核心项目。
05
产品
谷歌将在北京时间 8 月 13 日早间正式发布新一代 Pixel 11 系列手机。不过，如果你是一位密切关注 Pixel 的发烧友，可能不用等到发布会直播就能知道全部细节。
谷歌商店的预购倒计时将在发布会开始前 8 小时结束，也就是北京时间 8 月 12 日晚 10 点。按照惯例，届时新机的完整信息就会在官网上线。发布会直播本身则定于北京时间 8 月 13 日早 6 点开始，由喜剧演员特雷弗·诺亚（Trevor Noah）主持，嘉宾包括篮球明星斯蒂芬·库里、播客主播亚历克斯·库珀（Alex Cooper）、印度板球运动员舒布曼·吉尔（Shubman Gill）和日本演员中条彩未（Ayami Nakajo）等。
这种安排延续了谷歌近两年的策略：用明星和娱乐化形式吸引更广泛的观众。去年由吉米·法伦主持的 Pixel 10 发布会在 YouTube 上获得了 840 万次观看，而前一年的发布会只有 140 万次。
但对硬件爱好者来说，今年最让人在意的可能是一个小细节：通知灯回来了。
谷歌在预热中展示的 Pixel 11 Pro 摄像头模组里，闪光灯的位置被一颗 RGB 灯珠取代。它既能当闪光灯和手电筒，也能像多年前的 Nexus 和 Pixel 2 那样，用不同颜色和闪烁模式提示充电状态、来电或通知。在安卓早期，用户甚至可以通过第三方应用为不同联系人或应用设置专属的灯光颜色和闪烁频率。
通知灯在近年几乎从主流手机上消失，被常亮屏幕和屏幕边缘光效取代。唯一坚持做背部灯效的是 Nothing 手机，从 2022 年的 Nothing Phone 1 开始，它就把复杂的灯带和点阵显示做成了设计标志。Pixel 11 Pro 上的这颗灯更小巧，但色彩似乎更丰富。目前谷歌还没有说明它的具体功能，泄露信息显示它可能在唤醒 AI 助手或特定联系人通话时亮起，不过用户更期待它能像 Nothing 那样支持按应用和联系人自定义。
除了通知灯，Pixel 11 系列预计会带来常规的芯片升级、相机改进和设计微调。谷歌还可能同步推出新一代折叠屏手机 Pixel Fold、Pixel Watch 5 手表（四种配色），以及一款类似 AirTag 的物品追踪器 Pixel Tag。
在把发布会做得越来越像综艺节目的同时，谷歌在硬件上悄悄回应了老用户的念想。至于 3.5mm 耳机孔、microSD 卡槽和可拆卸电池，大概还是只能留在愿望清单里。
06
产品
雅培（Abbott）与谷歌健康（Google Health）达成一项多年合作，将其非处方连续血糖监测仪Lingo的数据接入谷歌健康App。用户可以在App内查看自己的代谢数据，并获得谷歌健康教练（Google Health Coach）基于个人信息的AI建议。
Lingo明确面向不使用胰岛素的成年人。不过，非糖尿病人群使用连续血糖监测仪（CGM）到底有多大益处，目前的研究并不充分。约翰·霍普金斯大学布隆伯格公共卫生学院今年早些时候的文章也指出，对非糖尿病患者来说，CGM的健康收益相当模糊。
这类设备或许能让人更关注营养信息，从而做出更好的饮食选择。但非糖尿病人的身体本就能调节大多数血糖波动，过度关注血糖读数反而可能让人为了把数值压得不必要地低，养成不良饮食习惯。而且，普通人很难从监测结果中得出有用的解读。
作为合作的一部分，两家公司还将开展一项大规模真实世界代谢健康研究，整合连续血糖、可穿戴设备、实验室和问卷数据，探索活动、睡眠、健康状态与代谢健康之间的关联，为更个性化的日常健康指导提供依据。
在改变包括饮食在内的任何健康习惯之前，还是应该先咨询自己的全科医生。
07
产品
OpenAI 本周发布了 ChatGPT 的 Linux 桌面应用预览版，补上了此前在桌面端缺失的一块。
新应用支持 ChatGPT、ChatGPT Work 和 Codex，首批适配的发行版包括 Ubuntu 24.04 和 26.04 LTS、Debian 13，以及 Fedora 43 和 44。这些发行版也是许多下游桌面版本的基础，因此兼容范围会更大一些。
OpenAI 表示，Linux 是桌面应用呼声最高的平台之一，这次发布后，ChatGPT 和 Codex 已覆盖所有主流桌面操作系统。
一个多月前，Anthropic 已先一步为 Linux 推出了 Claude 桌面应用，支持 Ubuntu 22.04 及以上、Debian 12 及以上版本。
08
政策
美国管理和预算办公室（OMB）发布备忘录，正式允许联邦政府雇员在政府设备上使用TikTok。这份备忘录撤销了2022年禁止在多数政府设备上安装该应用的法律。
OMB的备忘录引用了司法部此前的意见，认为2022年的禁令已不再适用，因为当前美国版TikTok由美国实体所有，且使用的推荐算法与字节跳动运营时期不同。备忘录明确写道：“TikTok可以在政府设备上使用。”
2022年，因担忧TikTok母公司与中国的关系，拜登政府禁止其在联邦政府设备上使用。时任FBI局长克里斯·雷（Chris Wray）等人称该应用构成国家安全威胁，但情报官员从未公开具体风险细节。去年，拜登签署法律要求字节跳动出售TikTok美国业务，否则将面临禁令，导致该应用在美国短暂下线。特朗普就任后，TikTok恢复服务，美国版的分拆交易于今年早些时候完成。
目前，美国版TikTok由TikTok USDS合资企业控制，投资者包括甲骨文、银湖等，字节跳动保留19.9%的股份。司法部意见发布后，交通部、财政部、卫生与公众服务部等联邦机构已在上月开设官方TikTok账号，白宫则于去年开设了账号。
09
科学
1977年发射的旅行者2号，已经在太空中飞行了近50年。NASA最近完成了一次名为“大爆炸”的远程操作，让这艘老探测器能在当前状态下再多运行一年。
旅行者2号的电力来自放射性同位素热电发生器，通过钚的衰变热发电。随着钚逐渐消耗，探测器每年会损失约4瓦的功率。发射时它携带了10台科学仪器，如今只剩3台还在工作——NASA不得不陆续关闭其他设备来省电。按原计划，今年晚些时候还得再关一台。
“大爆炸”操作的核心，是同时关闭某些耗电设备，并切换到低功耗替代方案。NASA还需要确保即便关掉这些设备，探测器仍能保持足够的工作温度。调整成功后，剩下的三台仪器可以继续采集数据，至少撑到明年。
旅行者2号比它的孪生兄弟旅行者1号早发射约两周，最初的任务是观测太阳系的气态巨行星。它1979年抵达木星，随后十年内造访了所有气态巨行星。2018年，它进入星际空间，此后一直在传回太阳风层外等离子体的密度和温度数据。
