Google承认AI Mode拖累搜索收入；Anthropic调整Claude订阅定价；Gemini 4 Carbon登顶AA榜单
Google承认AI Mode的搜索收入下降对科技股产生冲击，部分媒体预测AI泡沫可能来临。Anthropic调整Claude Max和Ultra订阅计划，取消5小时限制并更名。
推荐理由：文章梳理了AI领域一周动态，对行业热点进行了分析和点评。
#推理
Latent Space精选AI 评分5858
The Verge · AI精选AI 评分7575 研究人员对 OpenAI 封锁重大科学突破感到疲惫
OpenAI 宣布在数学、计算机科学与物理领域取得突破后，选择分批通过外部专家审查公布成果，引发学术界不满。研究人员认为这种遴选专家的机制存在不公，呼吁立即公开全部 Lean 证明供大众验证，以推动研究透明化与工具普及。
推荐理由：作者梳理了 OpenAI 发布重大科研成果后的披露分歧，读者可借此观察 AI 公司在基础科学突破中的责任边界与学术界的回应。
The Verge · AI同事件AI 评分7676 OpenAI 公布三项科学发现并测试与学术界协作新方式
OpenAI 公布了三项数学、计算机科学和物理领域的重大发现，并宣布了一种让外部专家充当“引导者”的新协作方式。
同一件事，精选收录的是《OpenAI邀外部专家包括诺奖得主验证AI产出数学与物理证明》
The Verge · AIAI 评分2727 Kevin Roose：为什么你还没有“AGI-pilled”
纽约时报记者 Kevin Roose 推出新书《The AGI Chronicles》并联合创办播客 Machine Gods。他在《Decoder》访谈中探讨了从传统媒体转向 YouTube 视频优先策略的动机，并表示其新书深入报道了各大前沿实验室竞逐通用人工智能（AGI）的过程。
Import AI精选AI 评分5353 Import AI 478：数学形式化推进对齐研究，ProgramBench 显示自主编程能力跃升
Import AI 周刊第三部分汇总了多项 AI 研究进展：AI safety 公司 Resolution 利用 AI Agent 自动化实现了奇点消解定理的 Lean 形式化。
推荐理由：作者串联了数学形式化、自主编程重建与智能体漏洞发现，指出 AI 正从单点工具扩展为可加速科研全流程的基础设施。
The Decoder精选AI 评分6363 Anthropic 联合创始人 Jack Clark 将递归自我改进 AI 预测提前至 2027 年
Anthropic 联合创始人 Jack Clark 在 Import AI newsletter 中把递归自我改进可能到来的时间从 2028 年提前到 2027 年，理由是 TasteVal 等基准显示领先模型的“研究品味”进步在加快。
推荐理由：原文把 TasteVal 基准和 Clark 的最新预测联系起来，读者可以据此判断 RSI 争议当前的进展位置。
Latent Space精选AI 评分7676 为什么AI开始在数学难题上突破：从提示到验证的搜索范式转变
作者分析OpenAI和Anthropic近期在数学领域的突破，提出用提示数（k）、分支因子（b）和计算成本预测AI解题能力。核心机制是深度优先搜索配合自动验证器，使AI能在概念跳跃已明确但推导繁琐的问题上超越人类。
推荐理由：结合开源数学问题案例，提出用概念跳跃数和分支因子预测AI解题能力的可迁移模型。
Latent Space精选AI 评分7474 DeepSeek V4.1 Flash 开源权重、MiniMax M3.1 Flash 及 Anthropic 公共基金动向
DeepSeek V4.1 Flash 1017 发布，被描述为开放权重性价比代表，提供 552B 总量/16B 激活 MoE、1M token 上下文与 MIT 许可，并给出峰值 $0.30/$1.20 per M tokens 定价及多渠道可用性。
推荐理由：盘点多模型发布与安全监管动态，梳理开源本地推理与监管边界的讨论脉络。
MIT Technology Review · AI精选AI 评分6363 Goodfire研究员称神经网络或比想象中更易理解，引发AI界热议
AI初创公司Goodfire研究员Nick Cammarata发表26,000字博客，声称大型语言模型的内部机制可能比之前认为的更容易理解和监控。他以Inception v1为例，发现过去被认为“多功能复用”的神经元实际上是在识别共同形状模式（如V形）。
推荐理由：一篇探讨神经网络可解释性的长文，引发行业对模型透明度的乐观与审慎辩论。
The Verge · AIAI 评分2020 JB Pritzker认为AI可能让人活到100岁，或像核武器一样威胁我们
伊利诺伊州州长 JB Pritzker 在接受 The Verge 播客《Decoder》采访时称，AI 可能帮助人类活到 100 岁，但也像核武器一样构成生存威胁。他主张政府在数据中⼼、隐私和反垄断等领域更积极地保护公众，而非仅与商业合作。
Import AIAI 评分4747 Jack Clark 在 IMF 演讲称 AI 已进入科学前沿，奇点已开始
Jack Clark 10月17日在曼谷 IMF 发表 Per Jacobsson 讲座，称 AI 正在改变国家安全与经济轨迹，并已开始自主推进自身研发，标志着奇点的早期阶段。他以数学、生物、机器人等领域的进展为例，引用 FrontierMath 从 2% 升至 94% 等数据，主张各国需加速建设电力、数据中心与科研基础设施以分享红利，同时呼吁在生物安全与 AI 研究监督上保持审慎与克制。
Microsoft Research精选AI 评分4242 Microsoft Research 访谈：AI 的意外失败及其背后的评估教训
Microsoft Research 的 Jennifer Neville 与 Chad Atalla 在播客中探讨了当前 AI 系统在超出传统基准测试的复杂场景中的表现。
推荐理由：深入剖析 AI 在长对话和复杂任务中的意外失效模式，为开发者优化多轮交互提供可验证的洞察。
Import AIAI 评分3737 Import AI 475：Swarm 缩放、Google DeepMind 生物水印与 AI 科学经济
Google DeepMind 发布 SynthID Bio，通过调整氨基酸或原子坐标为合成生物学数据加水印，湿实验室测试显示其不影响目标蛋白的功能与多样性。该研究旨在强化生物安全，防范 AI 创造生物武器风险。此外，Toby Ord 分析指出 Swarm 虽具并行速度优势，但存在“踩脚”参数导致的收益递减。
Import AIAI 评分2222 Import AI 474：柏拉图心智空间；太空中的TPU；智谱开启新一轮外部强化学习
Michael Levin 提出"柏拉图心智空间"假说，认为心智是非物理模式，身体与机器是其在物理世界中的接口。他以异种机器人、人类气管细胞构建的anthrobots及排序算法实验为例支持该观点。该研究为AI对齐等深层哲学问题提供了新框架。
Import AIAI 评分4040 Import AI 470：AI 在赛博、数学与 AI 研究中的加速差异，以及 SPADE 自动生成训练环境
METR 研究显示 AI 对网络安全漏洞发现的加速最显著，数学研究仅有轻微加速，算法优化则无明显加速。SPADE 框架让 LLM 交替扮演环境设计师和推理智能体，通过自我对弈生成可执行训练环境。基于 Qwen3-30B-A3B-Instruct-2507 的测试显示，该方法使 AIME 等基准平均得分提升 8.1。