GitHub Copilot 每周发布——9月14日
GitHub 在 9 月 14 日当周为 Copilot 加入自动模型选择的三档策略、代码评审体验升级，以及 Sentry 崩溃报告联动修复功能。这次更新的重点是让 AI 编程助手更“懂取舍”，同时把评审和排障流程接得更紧。
标签： AI应用
WhisperFeatureExtractor: one non-finite input sample makes the entire feature matrix NaN, and the pipeline transcribes it silently
当输入音频波形里出现哪怕一个非有限值（NaN/Inf），部分音频特征提取器会因对整个波形统计量做归一化，把全矩阵变成 NaN，而 ASR pipeline 仍会静默输出形如 '0' 的转写结果，不报错也不警告。优先排查数据管线里是否混入了损坏样本，并确认所用 checkpoint 的特征提取配置是否
Trail of Bits 用 Agent 为 Miden zkVM 审计自建 LSP、反编译器和 Lean 形式化证明
安全公司 Trail of Bits 在审计 Miden zkVM 时，没有直接让 AI 找漏洞，而是先用六个月时间让 Agent 从零搭出 LSP 服务器、反编译器、静态分析引擎和 Lean 形式化模型，结果工具本身先挖出一个可伪造 Falcon 签名、盗取账户资金的严重漏洞。
Justin Cormack 用 35 万行 Rust 复盘 AI Agent 评估：从证据开始
前 Docker 核心维护者 Justin Cormack 用约 35 万行 Rust 代码构建 S3 兼容对象存储，借此复盘 AI Agent 参与大型系统工程时的评估方法：真正的抓手不是 100% 覆盖率，而是可对照、可复现的证据。
如何从发现 AI 走向强制管控 AI
大多数企业的"影子 AI"治理停在盘点阶段，TechRadar 指出，企业管理 AI 的真正难点不是发现有多少 AI 在运行，而是能否在 AI 动手的那一刻拦截、降权、审批或终止它。
他因蛋白质设计获得诺贝尔奖，如今用AI创造自然界不存在的分子
2024年诺贝尔化学奖得主David Baker正领衔一个名为AI BioDesign的项目，用AI设计自然界中不存在、但物理化学上可行的蛋白质分子，目标是把新药研发周期从几十年压缩到几周。这代表AI开始从"理解已有生物"走向"创造全新生物"。
美中专家推动制定共同规则，禁止AI控制核武器
美中两国专家在特朗普与习近平计划会晤前联合提出建议，要求禁止AI系统自主决定发射核武器或攻击核指挥系统，并主张为AI事故设立直通热线。这是AI安全议题首次以具体“红线”形式进入大国核战略对话的视野。
从源码构建 Claude Code
Anthropic 的 Claude Code 随 npm 包一起发布了 source map，完整 TypeScript 源码因此被提取出来，有人据此写成一本 18 章的开源架构解读书，把这款主流 AI 编程智能体的内部设计公开拆解。
feat(valkey): metadata_filter fields not indexed in memory_index FT schema
当 CrewAI 使用 Valkey 作为向量记忆后端并通过 metadata_filter 过滤记忆时，过滤子句引用了 memory_index FT schema 中不存在的元数据字段，导致 feat(valkey): metadata_filter fields not indexed in
阿里发布 Qwen3.8-Omni-Flash：原生全模态、百万上下文，音频成本砍掉 98%
阿里 Qwen 团队发布原生全模态模型 Qwen3.8-Omni-Flash，支持文本、图像、音频、视频四类输入和 100 万 token 上下文，官方称音频输入成本下降超 98%，并在多项音频理解测试上超过 Gemini3.8Flash。