AI 编码

AI 导读一项对照研究表明，在Claude Code、OpenCode或mini-SWE-agent等编程智能体框架间切换，对任务通过率的影响与重复运行同一设置相差无几。然而，每任务成本可能增加三倍，主要原因是系统提示在每个步骤都会重新发送。

AI 选稿理由该研究揭示了编程智能体框架选择对成本效益的实际影响，为开发者提供了优化资源使用的依据。

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 导读AI创业公司Recursive发布首个语言模型Flint，该模型为400亿参数混合专家架构，专为本地编码开发。该模型由前DeepMind研究人员创建，使用公司内部AI系统"Eureka Machine"在四个月内完成训练和优化。该系统能独立测试和优化架构，但Recursive尚未证明该方法是否能实现自改进AI。

AI 导读Anthropic发布Claude Duet主动AI代理，监控应用并自主处理任务；Recursive推出Flint本地编码模型，40亿参数激活仅2.5亿，支持本地高速推理；OpenAI模型将接入Google Cloud，支持企业级代理工作流；Base Labs发布Mammoth-1和Elephant-1决策模型；Anthropic发布Claude Mods可定制人机交互界面；OpenAI与PHP维护者合作修复GPT-5.6发现的安全漏洞；OpenAI开发者上月使用1000万美元token运行AI工作负载；LiteLLM发布v1.107.0版本被植入恶意代码；Monaco推出Agent Matrix平台协调多个AI代理实现收入增长；GUI-Owl 1.5实现2B参数模型在Android手机上操作应用；Anthropic CEO回应AI安全立场。

AI 导读研究团队提出Cola2框架，通过动态文本分段、无辅助损失的负反馈控制压缩率，以及重建与生成监督结合，学习紧凑的潜在表示。在五个下游任务和约2100亿训练 tokens 的实验中验证了核心设计，显示竞争性且未饱和的扩展性。使用3460亿源 tokens 的未收敛检查点，在八项任务上平均达到60.10，超越Llama-3-8B在HellaSwag和StoryCloze的表现，尽管其预训练预算超过后者的43倍。

AI 选稿理由Cola2通过连续-离散自适应和压缩控制，在有限训练资源下实现超越大模型的性能，适用于资源受限的语言生成场景。

AI 导读研究团队发布IQuest-Q1，一个稀疏专家混合(MoE)代理基础模型，总参数320亿(激活15亿)。通过三阶段训练开发：稳定高效预训练、细粒度中训练和多支架多版本后训练，结合SFT、领域专业RL和MOPD，增强代理编码能力。模型合并不同专家和检查点，缓解参数更新冲突。IQuest-Q1在编码和通用任务中展现能力，已开源支持社区研发。

AI 选稿理由开源320亿参数代理基础模型IQuest-Q1，通过三阶段训练和模型合并技术提升编码与通用任务能力。

AI 导读研究人员开发了一种名为DirCast的单流媒体视频语言模型，能够实时进行电子竞技直播的导演和解说。该模型通过分析所有摄像机的低分辨率画面，决定何时切换镜头，并在高分辨率下读取选定镜头的内容进行解说。DirCast在导演和解说方面均优于基于规则的导演和GPT-5等模型，解说能力在Proact-VL协议下与GPT-4o相比胜出29.2%。

AI 选稿理由DirCast模型在电子竞技直播导演和解说方面展现出优于现有技术的性能。

AI 导读OpenAI 在 Patch the Planet 计划中用 GPT-5.6 Sol 发现一个影响数百万网站的关键 PHP 漏洞；安全公司 Wiz 利用 Google Gemini 4 Argon 独立找到了同一漏洞。OpenAI 同时警告，能发现漏洞的 AI 能力也可能被攻击者利用。

AI 选稿理由两个前沿模型在真实安全计划中各自独立复现同一 PHP 关键漏洞，补充了 AI 漏洞发现能力在安全场景的具体案例，但未说明漏洞细节、影响版本或修复状态。

AI 导读OpenAI与Google Cloud宣布，OpenAI前沿模型及Codex工作流将接入Gemini的Model Garden，并通过Google Cloud Marketplace提供。原文未披露具体模型版本、上线时间与价格。

AI 选稿理由OpenAI模型首次进入Google Cloud的Model Garden和Marketplace，属于跨云分发渠道的具体新增，但原帖未给型号、时间与价格。

AI 导读研究者提出了一种名为SERA（自我进化机器人代理）的方法，通过一个可编辑的约束来组织高级视觉语言动作（VLA）模型，以保持任务上下文并通过执行经验改进规划。在RoboMME测试中，SERA实现了51.38%的成功率，而未进行自我进化的版本为44.38%。这表明，具有代理规划的机器人操作是一个有前景的方向。

AI 选稿理由SERA方法在机器人操作任务中实现了显著的成功率提升，为历史依赖的机器人操作提供了新的思路。

AI 导读Cloudflare 将 OpenAI Daybreak 用于漏洞调查，把发现的问题与建议的修复方案提交人工审核；其开发者同时使用 Codex 加快构建速度并改善代码质量。

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 导读研究者追踪了七个开源强化学习训练框架，分析了它们在2025年1月至2026年6月期间对1,598篇论文的包含情况。研究发现，在180天内被包含的论文数量稳定在5到7篇，这些论文通常具有30B参数以上的训练策略，并经常修改现有损失函数的系数、clip、mask或权重。

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 导读论文提出Ask-to-Distill，把合成问题当作分布引出器，用冻结的学生-教师模型对计算问题价值：结合师生分歧、教师概率质量与学生候选支持，并加入长度和多样性控制，无需参考答案、正确性奖励或逐候选更新。生成的问题经筛选去重后进入纯提示题库供标准OPD使用，在数学推理、代码生成与Agent任务上平均性能超过未优化提示和KL过滤的真实问题。

AI 选稿理由提出无需参考答案的问题价值代理指标与生成流程，并在三类任务上给出相对真实题库和过滤基线的评测结果。

AI 导读论文提出HarnessAdapt-RL，在强化学习训练编码Agent时同步调整模型策略与执行框架（harness），不再固定框架只更新策略。冻结教师为具体任务生成机制级技能，另一教师按跨任务共性问题演化工具与hooks，仅保留不降低通过率或可训练率的改动。9B基座模型在SWE-bench Verified、Multilingual、Pro上pass@1较GRPO分别提高9.8、12.6、6.4个百分点，也优于配OpenHands人工框架的GRPO。

AI 选稿理由给出把Agent执行框架纳入强化学习训练的具体方法，并在SWE-bench三个设置上量化对比GRPO与人工框架，属可复用的Agent训练研究。

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 导读OpenAI正在改进ChatGPT对低资源编程语言的支持，新增了软件工程、SQLite和COBOL迁移的评估能力。这一进展旨在提升ChatGPT在多种编程环境中的实用性和适用性。

AI 选稿理由解决了低资源编程语言支持不足的瓶颈，开发者可更高效地进行代码迁移和维护，降低技术债务成本。

AI 导读本文提出了一种名为Vision-Language-Delta-Action（VLDA）的新范式，通过紧凑的Delta变量捕捉潜在的世界状态变化，作为视觉语言理解和动作生成之间的接口。VLDA通过统一目标学习Delta，包括局部过渡滤波器（LT-Filter）和全局过渡锚点（GT-Anchor），以改善长期一致性、鲁棒性和泛化能力。

AI 选稿理由VLDA通过紧凑的Delta变量捕捉潜在的世界状态变化，作为视觉语言理解和动作生成之间的接口，从而提高了机器人操作的长期一致性、鲁棒性和泛化能力。