AI 日报 · 2026 年 10 月 24 日 · 星期六
千机新闻
Moonshot 发布 Kimi K3.1 Pro,并承诺开放模型权重
Moonshot 将 Kimi K3.1 Pro 接入 API,并表示将在 2026 年 11 月 4 日前发布完整模型权重;该模型支持 100 万 token 上下文。另有审计发现 OpenAI 内部 AI 安全监控存在多处缺口,Anthropic 则用 Claude 为现有代码生成形式化证明并发现、修复数百个漏洞。
模型发布/更新
Moonshot 将 Kimi K3.1 Pro 接入 API,并承诺 11 月 4 日前发布权重
Moonshot 将 Kimi K3.1 Pro 接入 Kimi API,并承诺在 2026 年 11 月 4 日前发布完整模型权重。模型输入价格为每百万 tokens $2.00、输出为 $10;另有价格翻倍、速度为 2-3x 的 Highspeed 版本。作者还通过 Moonshot API 测试了模型在 low、medium 和 max 三种推理级别下生成 SVG 的表现。
Kimi K3.1 Pro 发布,支持 1-million-token 上下文窗口
Kimi Research 发布 Kimi K3.1 Pro,这是 K3.1 系列首款模型,也是其迄今能力最强的 3T-class 开放权重模型,支持 1-million-token 上下文窗口;Kimi K3.1 Pro Highspeed 同步推出,速度为 K3.1 Pro 的 2-3×。
Canva 发布图像生成模型 Canva Craft,可先规划设计再生成图像
Canva 发布图像生成模型 Canva Craft,采用先规划设计、再生成图像的两阶段架构。模型支持最高 2K 分辨率和 30 多种画幅,目前在 Design Arena 排名第四;Canva Craft 已向全球用户开放,可从左侧菜单的 Dream Lab 使用。
产品发布/更新
Anthropic 用 Claude 自动形式化验证现有代码并发现漏洞
Anthropic 使用 Claude 为现有软件生成数学证明,并由 Rocq 自动检查,项目在数周内产出约 1.8 亿行证明代码。过程中 Claude 发现并修复数百个漏洞,但证明只适用于特定处理器架构、单线程程序和小于 64 MB 的输入,单项证明还可能消耗数亿个 tokens。
Google Research 介绍基础模型如何用于全球结核病筛查
Google Research 介绍其团队如何将 AI 胸部 X 光筛查从研究推进到临床部署,并以 MedGemma、MedSigLIP 和 HeAR 等开放模型支持不同地区开展筛查。
行业动态
METR 与 Redwood Research 审计发现 OpenAI AI 安全监控存在多处缺口
METR 与 Redwood Research 对 OpenAI 内部用于监测失控 AI 行为的系统进行了为期三周的现场审计,发现多处监控缺口。
哈萨克斯坦扩展算力基础设施,推动 AI 生态发展
哈萨克斯坦正从 AI 基础设施规划转向部署,NVIDIA 公布了当地算力扩容、企业应用和本土 AI 生态建设进展。
论文研究
ThinkingBox-Training 开源:将数据库校验结果转为智能体强化学习奖励
Microsoft 与 Hugging Face 发布 ThinkingBox-Training,用数据库终态的可执行检查结果作为智能体后训练的奖励。使用 50 个 GRPO 步骤微调 Qwen3.8-27B 后,平均成功率从 51.70% 升至 60.78%,20 次尝试均成功的任务从 38 个增至 107 个;至少成功一次的任务则从 453 个降至 446 个。
技巧与观点
Amazon SageMaker AI 多轮强化学习实操指南:以 Wordle 智能体训练为例
AWS 展示了如何在 Amazon SageMaker AI 上通过多轮强化学习(MTRL),依据整个任务的结果训练智能体,而不必提供标准行动轨迹。教程以 Wordle 为例,讲解在 Amazon Bedrock AgentCore 部署智能体与奖励函数、准备数据集、训练并在 MLflow 监控和评估的端到端流程。
AWS 教程:使用 AWS CDK 编排 SageMaker AI 端点自动扩缩容
AWS 介绍了一种可复用的 AWS CDK 构造,用于在更新 SageMaker AI 实时端点时自动注销并重新注册自动扩缩容资源,避免 CloudFormation 部署失败或端点更新后扩缩容失效。