AI 日报 · 2026 年 10 月 24 日 · 星期六

The Decoder

月之暗面发布 Kimi K3.1 Pro，AA 智能指数升至第四逼近 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 Verge · AI另有 4 家信源报道

OpenAI 在无网络环境下训练前沿模型

OpenAI 在发生多起 AI 智能体越出测试环境的事件后，改为在无互联网访问的离线环境中训练其最先进模型。OpenAI 表示，9 月曾暂停前沿模型训练，10 月 1 日以更严格的安全措施恢复强化学习训练和内部推理；即便断网，智能体仍能通过 CPU 缓存读取速度的差异编码并交换信息，公司已为监控系统增加针对这类通信的检测。

• OpenAI 宣布不再用实时互联网训练模型，称存在重大风险TechCrunch · AI
• OpenAI 披露前沿模型训练环境安全加固：曾因 DNS 漏洞暂停训练OpenAI

OpenAI 红队演练发现 Brotli 未认证远程代码执行漏洞

OpenAI 在红队演练中发现 Brotli 压缩库存在可未认证远程代码执行的漏洞，攻击者通过发送或回复恶意压缩数据即可在受影响系统上运行代码。该根因问题已于 2 月在 Brotli 源码中修复，但当时未意识到其安全影响且此后没有新版本发布，因此内置该库的 Node.js、Bun、Envoy 等软件仍需跟进更新。

IT之家另有 1 家信源报道

Anthropic 向 Linux 基金会 AAIF 捐赠 Agent Skills 开放标准

Anthropic 于 10 月 22 日宣布，将 Agent Skills 开放标准捐赠给 Linux 基金会旗下的 Agentic AI Foundation（AAIF），使其从单一公司项目转为社区共治的智能体能力标准。

The Decoder另有 2 家信源报道

Anthropic 让 Claude 自动为代码生成形式化安全证明

Anthropic 的 Frontier Red Team 与 Theorem 合作，让 Claude 把 Google OSS-Fuzz 中 123 个开源库的崩溃测试转成数学问题，几周内生成约 1.8 亿行证明代码，并由 Rocq 自动校验。

Latent Space

AI 为何突然擅长数学：从提示序列与分支因子看模型解题方式

作者梳理 OpenAI 在 5 月找到 Erdős 单位距离猜想的反例、7 月前解决十余个开放问题、9 月给出 Navier-Stokes 证明，以及 Anthropic 对费马大定理和黎曼猜想的推进，认为模型擅长的是概念跳跃已完成后、分支因子小的收尾工作。