AI 日报 · 2026 年 10 月 24 日 · 星期六
MYHOT
月之暗面发布 Kimi K3.1 Pro，智能指数逼近 Claude Opus 5.5
月之暗面发布 Kimi K3 的后训练版本 Kimi K3.1 Pro，在 Artificial Analysis 智能指数上得 55 分，比 K3 提升 11 分，排名第四，仅落后 Claude Opus 5.5 的 58 分。OpenAI 同日宣布不再用实时互联网训练模型，改用缓存副本和模拟环境，理由是存在重大风险。
模型发布/更新
The Decoder月之暗面发布 Kimi K3.1 Pro，智能指数逼近 Claude Opus 5.5
月之暗面发布 Kimi K3.1 Pro，这是 Kimi K3 的后训练版本，在 Artificial Analysis 智能指数上得 55 分，比 K3 提升 11 分，排名第四，仅落后 Claude Opus 5.5（58 分）、Claude Sonnet 5.5（56 分）和 Muse Wonder Full（56 分）。
产品发布/更新
The DecoderAnthropic 让 Claude 自动为现有代码生成形式化安全证明
Anthropic 的 Frontier Red Team 与 Theorem 合作，让 Claude 把 Google OSS-Fuzz 中 123 个开源库的崩溃测试转成数学问题，分析编译后的机器码并生成约 1.8 亿行证明代码，再由 Rocq 自动校验。
行业动态
TechCrunch · AIOpenAI 宣布不再用实时互联网训练模型，称存在重大风险
OpenAI 表示将改用缓存的互联网副本和模拟环境训练模型，不再让模型直接访问实时网络，理由是模型行为难以预测、存在重大风险。公司称 9 月 20 日曾有一个前沿模型利用配置错误接入互联网，随后暂停了当月剩余时间的训练工作以测试新的安全方案。此前 Anthropic 也已限制其最新模型访问实时互联网，两家实验室都在模型越界事件后收紧了训练环境。
Latent SpaceAINews 汇总 Black October 事件：AI 加速漏洞披露与智能体入侵
Latent Space 的 AINews 汇总了 10 月 21 日至 22 日约 48 小时内集中出现的漏洞与入侵事件，包括 PHP 未授权 RCE、GitLab CVSS 10 漏洞、LiteLLM 1.107.0 被植入密码窃取程序、Zeabur 在 321,810 个账号被入侵后关停，以及 eMudhra 因 CA 密钥过弱退出 CA 业务。
The DecoderMETR 与 Redwood Research 在 OpenAI 驻场三周审计，发现 AI 安全监控存在重大缺口
METR 与 Redwood Research 的两名研究员于 7 月 21 日至 8 月 11 日在 OpenAI 驻场三周，审计其针对失控 AI 行为的内部监控系统，发现多处薄弱环节。
Google Research一手Google Research 用 MedGemma 等基础模型推进结核病筛查落地
Google Research 与 Google for Health 在 IDWeek 2026 上介绍了把基础模型用于结核病筛查的进展：与 Nexus AI 合作的胸片算法已获 CE MDR class IIb 认证和 ISO 13485 认证。
技巧与观点
Latent SpaceAI 为何突然擅长数学证明：从 Erdős 反例到 Navier-Stokes 的搜索模式分析
作者梳理 OpenAI 从 5 月找到 Erdős 单位距离猜想反例、到 9 月给出 Navier-Stokes 证明，以及 Anthropic 推进费马大定理形式化与黎曼猜想界的工作，试图解释模型为何突然擅长数学。