AI 编程实时动态与要闻

Google 发布 Gemini 4 Carbon:Argon 两周后再推前沿模型,Artificial Analysis v5 指数 59 居首,网络安全与长程编码 SOTA,先向 Fairwind 计划内的网络防御者开放

Google DeepMind 10 月 28 日发布 Gemini 4 Carbon,称其为目前最强模型,距 Gemini 4 Argon 上线仅两周。官方博客称它在 Artificial Analysis 智能指数 v5.0 以 59 分排名第一,并在网络安全三项评测领先:SEC-bench Pro 找漏洞 88.2%、ExploitGym 漏洞利用 54.8%、CWE-bench 打补丁 71.0%;WebDev Arena 涨 89 分至第 4(1769)。本周起先向 Fairwind 计划中的部分网络防御者开放,之后再面向开发者、企业和消费者。介绍期价格与 Argon 相同,每百万输入 / 输出 token 2 / 10 美元,之后为 4 / 20 美元。

Google 发布 Gemini 4 Carbon:Argon 两周后再推前沿模型,Artificial Analysis v5 指数 59 居首,网络安全与长程编码 SOTA,先向 Fairwind 计划内的网络防御者开放

核心要点速览

  • 定位:Google 称其为「最强模型」,主打网络安全和长程智能体任务,内部团队观察到它可连续运行数天,在大型代码库和底层系统中定位并修复隐蔽 bug
  • 官方跑分(无护栏评测):SEC-bench Pro 88.2%、ExploitGym 54.8%、Collinear CWE-bench 71.0%;Artificial Analysis 智能指数 v5.0 为 59 排名第一;WebDev Arena +89 至第 4(1769)
  • 安全与对齐:Terminal-Bench 4.0 作弊成功率降到 0.0%(尝试率 0.4%),内部实测高严重度失准告警降近 80%,无依据陈述约为 Argon 的一半,Gray Swan 间接提示注入攻击成功率从 Argon 的 0.7% 降到 0.0%
  • 内部案例:生成安全代码成功率是 Argon 的 2 倍以上;Chrome 团队称其生成高质量补丁的表现比另一家实验室的大型前沿模型好 10 倍以上
  • 开放节奏:本周先给 Fairwind 计划内部分网络防御者,并参与美国政府自愿的发布前测试;开发者 API 尚未开放,介绍期 2 / 10 美元每百万 token,缓存输入按输入价的 5% 计,之后 4 / 20 美元
阅读全文

“氛围编码”安全警钟长鸣!Last Secure Code 基准发布:前沿 Agent 仅 25.1% 生成代码同时兼顾功能与安全

随着 AI 编程智能体在“氛围编码”(Vibe Coding)热潮中广泛接管软件生产,生成代码的安全性成为行业焦点。新加坡国立大学与莫纳什大学等团队发布 Last Secure Code Benchmark,这是首个全面评估编程智能体安全代码生成能力的权威基准。涵盖 7 种主流编程语言、24 类 CWE(包括 2025 CWE Top 25 中的 21 类及 Top 10 KEV 中的 8 类)以及 450 项源于 150 个真实 CVE 漏洞的实战任务。评测揭示:前沿模型在功能测试上通过率达 73.6%~91.3%,但即使最强的 Claude Fable 5,在同时满足“功能可用且无安全漏洞”的严苛检验下通过率仅为 25.1%,其余主流 Agent 仅为 16.4%~24.7%。

“氛围编码”安全警钟长鸣!Last Secure Code 基准发布:前沿 Agent 仅 25.1% 生成代码同时兼顾功能与安全

核心要点速览

  • 首个氛围编码安全基准:基于 150 个真实 CVE 漏洞构建 450 项多语言任务,覆盖 2025 CWE Top 25 中的 21 类高危缺陷及 8 类 KEV 漏洞
  • 功能可用假象与安全断层:前沿 Agent 的功能通过率高达 73.6%~91.3%,但兼顾功能与安全性的双合格率仅为 16.4%~25.1%
  • 全流程漏洞场景堪忧:在完整的全仓库或跨文件工程场景中,最强模型仅能抵御 12% 的漏洞风险,凸显自动化安全扫描门禁的极端紧迫性
阅读全文

代码智能体不仅会修 Bug,还能手搓静态分析器!华东师大、北大等发布 CheckerBench:首个静态检测器端到端合成基准

当前代码智能体(Coding Agents)的评测基准大多聚焦于局部的单步补丁合成(如 SWE-bench)或漏洞定位,却从未检验过智能体能否从零到一在真实代码仓库中独立研发出一款可复用、高精度的“静态代码分析检查器(Static-Analysis Checker)”。研发检查器需要智能体理解缺陷规范(Defect Specification)、检索跨文件 AST 语法树、编写分析器特定逻辑,并通过反复编译与静态反馈闭环重构。华东师范大学、上海交通大学与北京大学等团队联合发布了里程碑式基准 CheckerBench(arXiv:2610.07557)。CheckerBench 包含从 167 个开源仓库、85 类 CWE 漏洞、297 个真实 CVE 中精心提炼的 300 个完整可执行任务,横跨 C/C++、Go、Java、Python、Rust 等 5 大语言生态。依托标准化沙箱框架 CheckerLab,系统全面评测了涵盖 Claude 3.5 Sonnet、GPT-4o、DeepSeek 等 21 种模型-Harness 组合。实测显示,当前顶尖智能体在 Checker 合成上的平均 Pass@1 仅为 32.30%,最佳配置仅达 45.33%,深刻揭示了代码智能体在跨文件逻辑分析与编译器交互上的核心短板。

核心要点速览

  • 华东师大、北大等发布全球首个静态分析器端到端合成基准 CheckerBench(300 个任务、167 个仓库、85 类 CWE)
  • 横跨 C/C++、Go、Java、Python、Rust 五大语言,首创 CheckerLab 独立编译与假阳性对比评估框架
  • 21 种模型-Harness 组合实测均值 Pass@1 仅 32.30%(峰值 45.33%),揭示代码智能体从修 Bug 跃迁至工具创造的深层瓶颈
阅读全文

Google DeepMind 发布 Gemini 4 Argon:DeepSWE 77.9%、1M 输出;Fairwind 可信防御方首发

DeepMind 官宣前沿模型 Gemini 4 Argon,面向长程编码、企业知识工作与网络防御;首发经 Fairwind 向可信防御方开放。官方:DeepSWE v1.1 77.9%、AutomationBench 51.3% 第一、LVBench 91.7%、CWE-bench v1 并列 68%;引进价 $2/$10 每百万 token,输出上限 1M。

Google DeepMind 发布 Gemini 4 Argon:DeepSWE 77.9%、1M 输出;Fairwind 可信防御方首发

核心要点速览

  • 模型:Gemini 4 Argon;长程编码 / 企业知识工作 / 网络防御;见 官方博文
  • Benchmark(官方):DeepSWE v1.1 77.9% SOTA;AutomationBench 51.3% #1;LVBench 91.7%;CWE-bench v1 并列 68%;Fairwind 图:漏洞发现 85.8% / Wiz 渗透 70.9%
  • 容量与定价:输出上限 1M tokens(自 ~64K);引进价 $2/$10 每百万 in/out(缓存 input ~95% off),引进期后 $4/$20
  • 准入:今日仅 Fairwind 可信防御方;随后优先付费 API 与 Google AI Ultra;公开 AI Studio 尚不可用
  • 内部实证:量子子程序时空优化一例优于基线 40%;libgav1 Rust 端口较原 Rust 快 2.7×;数据中心已释放 300+ TiB 内存
阅读全文
AD赞助内容

Claude Security 公测:Mythos 5 扫描 GitHub 仓库,建议补丁直达 Claude Code

Anthropic 把 Claude Security 扫描切换到最强安全模型 Claude Mythos 5,面向全部 Claude Enterprise 客户公测。指向 GitHub 仓库即可跨文件追踪数据流并给出 CWE、置信度、严重级别与修复建议,补丁在网页版 Claude Code 中打开。

核心要点速览

  • 无需单独申请 Mythos 5 权限:模型在扫描后端运行,只回传漏洞发现,按现有套餐 Token 计费
  • 每条结果含 CWE 分类、置信度与严重级别,建议补丁在网页 Claude Code 中用团队已有模型打开
  • 配套动作包括 3500 万美元 Defender Advantage 开源安全积分,以及即将扩大的 Cyber Verification Program
阅读全文