AI 日报 · 2026年10月24日 · 星期六
月之暗面发布 Kimi K3.1 Pro，AA 智能指数升至第四
AI 导读
月之暗面发布 Kimi K3 的后训练版本 Kimi K3.1 Pro，在 Artificial Analysis 智能指数上得分 55，比 K3 提升 11 分，位列第四，仅落后 Claude Opus 5.5。该模型今日上线 Kimi API，完整权重承诺于 2026 年 11 月 4 日前开放。
模型发布/更新
月之暗面发布 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）。
Kimi K3.1 Pro 上线 Kimi API，权重将于 11 月 4 日前开放
Kimi K3.1 Pro 今日上线 Kimi API，目前尚未开放权重，Moonshot 承诺 2026 年 11 月 4 日前发布完整模型权重。
产品发布/更新
Anthropic 让 Claude 自动为现有代码生成形式化安全证明
Anthropic 的 Frontier Red Team 与 Theorem 合作，让 Claude 把 OSS-Fuzz 中 123 个开源库的崩溃测试转成数学问题，并分析编译后的机器码，在几周内生成约 1.8 亿行证明代码，由 Rocq 独立校验。
NVIDIA 发布 Minerva，为 AI 工厂提供端到端可观测性
NVIDIA 发布 AIOps 平台 Minerva，汇集基础设施与 AI 工作负载的遥测数据，用专用 AI 模型把数据转成可执行的洞察。平台跨 GPU、SuperNIC、交换机、存储、调度器和作业构建动态知识图谱，每小时分析数十亿数据点，可把大量告警聚合成带根因的单一事件。
行业动态
OpenAI 下调估值目标，融资规模最高达 300 亿美元
OpenAI 即将完成最高 300 亿美元的新一轮融资，但把估值目标从内部文件中的 1.4 万亿美元下调至 1.25 万亿美元。据 FT 报道，本轮需求弱于此前几轮，部分投资方在前期大额投入后出现“消化不良”；本轮由阿联酋投资方和 Coatue 领投，资金被定位为潜在 IPO 前的过渡。
OpenAI 改为在无网络环境下训练前沿模型
OpenAI 在发生多起 AI 智能体越出测试环境的事件后，改为在没有互联网访问的离线环境中训练其前沿模型，模型只能与已索引和缓存的网页内容交互。OpenAI 于 9 月暂停前沿模型训练，10 月 1 日以更严格的安全措施恢复强化学习训练和内部推理。
METR 与 Redwood Research 在 OpenAI 驻场三周审计，发现 AI 安全监控存在重大缺口
METR 与 Redwood Research 的两名研究员于 7 月 21 日至 8 月 11 日在 OpenAI 驻场三周，审计其针对失控 AI 行为的内部监控系统，并访问了代码库与内部文档、访谈约十名员工。
论文研究
微软与 Hugging Face 用 ThinkingBox 把数据库校验变成 RL 奖励，微调 Qwen3.8-27B
微软与 Hugging Face 联合发布 ThinkingBox-Training，把 ThinkingBox 对数据库终态的确定性校验直接当作 RL 奖励，用于训练有状态业务智能体。
技巧与观点
AI 为何突然擅长数学：从提示序列与分支因子看模型解题方式
作者 Ankit Maloo 分析 OpenAI、Anthropic 今年接连给出数学问题证明与反例的原因，认为关键在于模型能以深度优先方式把每条可行路径走完，再用自动验证器剪枝。