每小时自动抓取 OpenAI、DeepMind、Hugging Face、TechCrunch、Ars Technica、HackerNews 等信源，由 AI 按信息价值打分，只保留过线的那几条，写成中文速览并附上一句点评。
内容由程序自动抓取、AI 筛选与改写，未经人工逐条核实。以原文链接为准。
Anthropic 宣布，一款尚未发布的模型在黎曼猜想上取得显著进展，提高了该猜想成立解的下界。该模型在一天半内协调60个子代理、测试650个思路、输出约3100万令牌，研究成果由两位公司内部数学家确认并用开源证明助手 Lean 形式化。对开发者和使用者而言，这表明大型模型能在复杂数学问题上进行大规模试验与形式化验证，值得关注但并非已给出最终证明。
对独立开发者和 AI 产品使用者而言，这件事值得关注：大型模型已能组织大量尝试并进行形式化验证，适合用于探索复杂数学思路，但目前还不是可宣称的完整解法。
Google CEO Sundar Pichai 在 X 上表示，Gemini 每月活跃用户已达 10 亿，成为 Google 增长最快的产品。OpenAI 在 8 月初的博客中披露 ChatGPT 也已超越 10 亿用户，OpenAI 称 ChatGPT 几周前就已达到这一规模并在七月曾达成每日 10 亿使用次数。两者的增长节奏和统计口径不同，但竞争明显加剧。对读者而言，主流对话式 AI 平台已进入大规模用户化阶段，产品间的增长与商业化竞争将更为关键。
主流对话式 AI 已进入十亿级用户时代，开发者和产品方应关注平台差异与商业化机会，值得尽早布局但不用急于盲目迁移。
River AI 由 xAI 联合创始人 Igor Babuschkin 创立，宣布完成由 General Catalyst 和 AMP PBC 领投的 11 亿美元种子/A 轮融资，其他投资方包括 Nvidia、AMD Ventures、Y Combinator 和 Temasek。River 的目标是重建训练到硬件的整套堆栈，让代理成为“可个人训练”的助手，并已推出按每百万 tokens 计费的 API，支持强化学习和 LoRA 微调。对开发者和企业这意味着有一家主打可定制/可训练开放模型的初创公司获得了大量资金，与当前企业对可控模型的需求相契合。
如果你是追求可定制、可训练开放模型的开发者或企业，River AI 值得关注；其大额融资表明短期内有资源推进工具与云服务，但能否实现承诺还需观察。
Google CEO Sundar Pichai 宣布，聊天与生成式 AI 产品 Gemini 的月活用户（MAU）已达10亿，成为达到此规模最快的 Google 产品。Google 表示，这10亿用户是指打开 Gemini 应用或网页版并输入提示或使用 Gemini Live 的用户；63% 活跃用户使用语音输入，且每天生成约1.5亿张图像。对开发者和用户而言，这意味着 Gemini 已广泛嵌入 Google 产品并有大量使用，但 Google 正在继续推进新功能和模型更新。
对于独立开发者和产品用户，这说明现在值得关注 Gemini 的广泛可用性与大量用户基础，但在核心模型性能持续改进前，不必急于全部迁移或依赖其高级功能。