2026 年 10 月 13 日 · 星期二AI · 每日要闻每天 08:00 出刊AI 日报 · 2026 年 10 月 13 日 · 星期二SUPER INTELLIGENCE第 7 期132026 年 10 月星期二十月本月 12 期一二三四五六日4件大事4个来源1件一手发布约 1 分钟读完头条Meta 发布 Muse Wonder 系列旗舰 AI 模型Meta 发布 Muse Wonder 与 Muse Wonder Full 两款旗舰 AI 模型,宣称在推理、写作与代码能力测试中得分接近 Anthropic 顶尖模型。IT之家另有 3 家信源报道原文 01行业动态404 MediaAI 公司 Graylark 推出 Raven 新能力:警方可通过单张室内照片定位具体房屋Graylark Technologies 为其 AI 地理定位工具 Raven 增加了室内图像定位功能,允许执法人员仅凭一张室内照片即可快速识别出拍摄地点的具体房屋。原文 02论文研究The DecoderGoogle DeepMind AlphaProof Nexus 解决数十个开放数学问题并获同行评审Google DeepMind 的 AlphaProof Nexus 系统独立解决了数十个开放数学问题,相关研究已发表于 Science 并通过同行评审。该系统基于 Gemini 3.1 Pro,利用 Lean 语言进行证明起草与修正,成功破解了 9 个 Erdős 问题(其中两个悬置 56 年)、44 个 OEIS 猜想以及代数几何中的一个开放问题。原文 03技巧与观点vLLM 官方博客一手vLLM 推出双向 KV 传输以优化多轮智能体工作负载 TTFTvLLM 发布双向 KV Cache 传输功能,允许预填充节点复用解码节点保留的 KV 块,从而减少多轮对话中的重复计算并降低首 Token 时间(TTFT)。原文 前一日 · 10月12日Anthropic 报告披露 Claude 半年封禁 1140 万账号,申诉翻案率仅 10.5%后一日 · 10月14日 Google DeepMind 发布 Gemini 4 Argon 模型
404 MediaAI 公司 Graylark 推出 Raven 新能力:警方可通过单张室内照片定位具体房屋Graylark Technologies 为其 AI 地理定位工具 Raven 增加了室内图像定位功能,允许执法人员仅凭一张室内照片即可快速识别出拍摄地点的具体房屋。原文
The DecoderGoogle DeepMind AlphaProof Nexus 解决数十个开放数学问题并获同行评审Google DeepMind 的 AlphaProof Nexus 系统独立解决了数十个开放数学问题,相关研究已发表于 Science 并通过同行评审。该系统基于 Gemini 3.1 Pro,利用 Lean 语言进行证明起草与修正,成功破解了 9 个 Erdős 问题(其中两个悬置 56 年)、44 个 OEIS 猜想以及代数几何中的一个开放问题。原文
vLLM 官方博客一手vLLM 推出双向 KV 传输以优化多轮智能体工作负载 TTFTvLLM 发布双向 KV Cache 传输功能,允许预填充节点复用解码节点保留的 KV 块,从而减少多轮对话中的重复计算并降低首 Token 时间(TTFT)。原文