外观
AI 导读月之暗面发布Kimi K3.1 Pro，2.8万亿参数模型在Artificial Analysis智能指数中排名第四，得分55，接近Fable 5.1。模型支持百万Token上下文，在代码、3D创作和长程Agent任务中表现优异，计划11月4日开放权重。同时推出Highspeed API，输出速度提升2-3倍，价格翻倍。独立评测显示其在网络安全测试中得分64%，为公开最高。
AI 选稿理由Kimi K3.1 Pro成为首个接近Fable-5.1级性能的开放权重模型，缩小了中美模型差距，并在网络安全领域取得突破性进展。
AI 导读Anthropic让Claude生成数学证明来验证现有代码的正确性，为123个开源库生成了约1.8亿行证明代码。在此过程中，该模型发现了多年测试都未能发现的错误。Anthropic的目标是使AI形式验证像标准测试一样成为常规流程。
AI 选稿理由Claude首次实现大规模自动代码形式验证，为123个开源库生成1.8亿行证明代码并发现传统测试遗漏的错误。
AI 导读研究团队发布IQuest-Q1，一个稀疏专家混合(MoE)代理基础模型，总参数320亿(激活15亿)。通过三阶段训练开发：稳定高效预训练、细粒度中训练和多支架多版本后训练，结合SFT、领域专业RL和MOPD，增强代理编码能力。模型合并不同专家和检查点，缓解参数更新冲突。IQuest-Q1在编码和通用任务中展现能力，已开源支持社区研发。
AI 选稿理由开源320亿参数代理基础模型IQuest-Q1，通过三阶段训练和模型合并技术提升编码与通用任务能力。
AI 导读AI创业公司Recursive发布首个语言模型Flint，该模型为400亿参数混合专家架构，专为本地编码开发。该模型由前DeepMind研究人员创建，使用公司内部AI系统"Eureka Machine"在四个月内完成训练和优化。该系统能独立测试和优化架构，但Recursive尚未证明该方法是否能实现自改进AI。
AI 导读OpenAI 在 Patch the Planet 计划中用 GPT-5.6 Sol 发现一个影响数百万网站的关键 PHP 漏洞；安全公司 Wiz 利用 Google Gemini 4 Argon 独立找到了同一漏洞。OpenAI 同时警告，能发现漏洞的 AI 能力也可能被攻击者利用。
AI 选稿理由两个前沿模型在真实安全计划中各自独立复现同一 PHP 关键漏洞，补充了 AI 漏洞发现能力在安全场景的具体案例，但未说明漏洞细节、影响版本或修复状态。
AI 导读OpenAI针对COBOL、Fortran、Visual Basic等低资源编程语言优化了最新模型。在新基准MultiLangBench上，GPT-6 Astra在20种语言的测试通过率达到87.4%，而GPT-5.6 Terra约为38%。在COBOL迁移任务中，GPT-6.1 Sol准确率最高达97.9%，可能影响关键金融基础设施的现代化改造。
AI 选稿理由把COBOL等老旧语言的代码迁移准确率从约38%提升到87%–98%，可帮助金融机构和政府部门用AI改造难以维护的关键系统。
AI 导读本期主线包括：MiniMax M3.1 Flash 面向 Agent 与编码任务，称在线推理快近三倍、使用成本降 70%，权重后续开放；Inception Labs 的扩散语言模型 Mercury 3 称在多项基准上超过 GPT-6 Luna 与 Claude Haiku 5.5，生成速度超每秒 1000 token；Cloudflare 介绍不生成 token 的抽取模型 Clairic，输出带置信分数。工程侧，Meta 披露千兆瓦级 Prometheus 超算集群与“薄编排器”Agent 路由架构；PyTorch 原生后端 TorchNeuron 与 vLLM 推式 KV 传输分别面向 Trainium 和分离式推理。此外还有 Exa 3.0 搜索、OpenAI 改进 COBOL 等老旧语言编码、Anthropic 据称再谈 450 亿美元算力交易等条目。
AI 选稿理由合集内 MiniMax M3.1 Flash 的成本与速度数据、Mercury 3 的扩散模型基准结果、Clairic 的非生成式抽取方法均属可复用新事实，但均需按厂商自报口径看待。
AI 导读MiniMax发布M3.1 Flash模型，在Artificial Analysis Intelligence Index上得分42，较前代提升13分，成本减半。该模型在DeepSWE v1.1编程基准测试中达到73.7%准确率，每任务成本低于0.3美元，与Deepseek V4.1 Flash 1017性能和价格相当。
AI 选稿理由中国AI模型性能持续提升的同时价格持续下降，展示了AI成本效益的突破性进展，使高质量AI服务更加普及。
AI 导读麻省理工学院的研究人员创建了一个多模态 AI 模型，该模型结合了 3D 原子结构和自然语言描述，以从实验研究论文和第一原理计算数据库中创建关于结构的丰富语言描述。该模型能够识别比仅使用文本流训练的模型更好的材料设计，并展示了其在新材料发现和材料科学中的应用潜力。
AI 选稿理由该模型通过结合 3D 原子结构和自然语言描述，解决了现有 AI 模型在处理材料数据时的局限性，有助于加速材料科学的发展。
AI 导读Anthropic的AI模型Claude解决了存在25年的密码学难题。该问题涉及NIST标准曲线的神秘种子，这些种子由NSA提供但未解释，引发了对后门的担忧。Claude在30分钟内确定这些种子来自"lrand48"简单C随机数生成器，大幅降低了故意植入后门的可能。
AI 选稿理由AI模型在短时间内解决了长期存在的密码学疑虑，增强了密码学标准的可信度。
AI 导读Reflection公司发布501B参数开源模型Beam，采用混合专家架构(MoE)，每激活23B参数，支持1M token上下文窗口。模型专注于编码和智能体应用，提供多种部署选项和微调方法，并举办$10,000开发竞赛。
AI 选稿理由原文提供了开源501B模型的部署和微调方法，读者可据此评估私有化部署大模型的可行性。
AI 导读DeepSeek V4.1 Flash 更新至 V4.1-Flash-1017 版本，性能与成本实现帕累托改进，支持从零开始构建完整项目，新增开放自研搜索 API，模型权重已开源。
AI 选稿理由新版本实现了从零开始构建完整项目的'许愿式'编程能力，并开放了自研搜索 API。
AI 导读Reflection AI发布了Beam，一个用于智能体编码和长程任务的开源权重大模型，总参数量501B，激活参数23B，上下文长度达100万tokens。Beam通过Apache 2.0许可证在Hugging Face发布，提供BF16、FP8和NVFP4三种格式，可在AWS SageMaker JumpStart或HyperPod上部署，支持Kubernetes原生控制。
AI 选稿理由原文提供了在AWS上部署Reflection Beam模型的两种路径和详细配置步骤，读者可以直接参考实施。
AI 导读本期主要围绕三条线索：Anthropic 发布 Claude Haiku 5.5 并回顾 Sonnet 5.5，独立评测显示 Haiku 5.5 智能指数 43 排第 13、速度最快，但成本与延迟随推理等级大幅变化；Mistral 发布 1.05 万亿参数 MoE 模型 Large 4 的 API 预览，在 CyberGym-E2E-AA 上以 82% 居公开模型首位，权重将随后开放；Apple、Nvidia、Microsoft 推出面向本地 AI 的桌面与笔记本，Tom's Hardware 用 AgentPerf-Local 测试表明 Nvidia 硬件快于 Apple 与 AMD。此外，清华、蚂蚁与人大提出 CausalMix，用因果方法将数据配比与数据质量分离来优化微调数据选择。
AI 选稿理由Mistral Large 4 成为中美国之外最强开源权重候选并在漏洞修复任务领先，Claude Haiku 5.5 刷新速度与价格结构，本地硬件与 CausalMix 分别为端侧部署和数据配比提供了可复用的量化参考。
AI 导读Meta 的编码优化开放权重模型 Muse Spark Open 已在 Amazon SageMaker JumpStart 上线，支持 100 万 token 上下文窗口，可在自己的 AWS 账户中部署到 SageMaker AI 端点。
AI 导读谷歌 Gemini 4 Argon 正式 GA，覆盖编码、知识工作与企业工作流，API 入门价每百万输入/输出 2/10 美元，11 月 30 日后翻倍；Cursor 默认 52.8% CursorBench，Cognition 报告 FrontierCode 1.1 达 60.5%。AI Engineer NYC 吸引约 2 万人，Anthropic、Vals AI、Coatue 分别分享金融服务栈、模型基准原则与新闻转投资决策。Meta 发布 Muse Wonder，主打 Active Focus 与 Active Memory，但订阅限额与部署问题引发早期争议；Fish Audio 开源 35B MoE 语音模型 Drama 3，Drama 3 Preview 以 93.2% 领跑发音鲁棒性。Anthropic 披露日合并量从 5 月 2500 增至 9 月 3 万并弃用 Git；NVIDIA 开源 Run:ai。
AI 选稿理由Gemini 4 Argon 是本周头号前沿模型发布，其入门价仅为 GPT-6 Astra 约六成、幻觉率 15% 为高分区最低，开发者可直接通过 Cursor、Copilot 与 Gemini API 用它做编码、文档与智能体任务，成本与能力窗口值得立即评估。
AI 导读Google DeepMind 发布 Gemini 4 Argon，面向开发者、企业和消费者开放，通过 Gemini API、AI Studio、Google Antigravity 以及 Gemini 应用和 Search 的 AI Mode 提供，入门价每百万输入 token 2 美元、输出 token 10 美元。
AI 选稿理由官方给出 Argon 在编码、科研与安全对齐上的具体案例和定价，可据此判断前沿模型在长程任务中的落地方式。
AI 导读智谱（Z.ai）的 GLM 5.3 已在 Amazon Bedrock 上线，这是一个 753B 参数的 MoE 模型，面向编码与长程智能体任务，可通过全托管 API 调用，支持跨区域推理、提示词缓存和服务层级，目前面向符合条件的企业客户开放。
AI 选稿理由原文给出 GLM 5.3 在 Bedrock 上的接入方式与提示词缓存配置，可据此评估自建推理与托管调用的取舍。
AI 导读Google DeepMind 发布新前沿模型 Gemini 4 Argon，先通过 Fairwind Program 向受信任的网络安全防御方开放，之后再面向开发者、企业和消费者推出。
AI 选稿理由Gemini 4 Argon 的发布信息包含输出上限、定价与多项基准成绩，可用于对比前沿模型的能力与成本。
AI 导读AWS 宣布 Claude Sonnet 5.5 在 Amazon Bedrock 和 Claude Platform on AWS 上线，定位为更高效、单任务成本更低的 Sonnet 模型，适合聚焦的编码与知识工作。
AI 选稿理由原文给出 Sonnet 5.5 在 Amazon Bedrock 上的能力定位与调用方式，便于判断它与 Opus 5.5 的分工。