Google DeepMind 发布前沿模型 Gemini 4 Carbon
Google DeepMind 发布前沿模型 Gemini 4 Carbon，在 Artificial Analysis Intelligence Index v5.0 排名第一，并在 SEC-bench Pro、ExploitGym 和 CWE-bench 等网络安全基准上取得领先。
推荐理由：原文给出了网络安全和对齐的具体评测数字与定价，读者可以据此评估其在安全工程场景中的可用性。
#安全/对齐
Google DeepMind精选AI 评分7878
Microsoft ResearchAI 评分4545 Microsoft Research 用 Magnetar 实现基于证明的通用计算
Microsoft Research 推出零知识证明系统 Magnetar，可直接为 Rust、Go 或 C 编写的程序生成执行正确性证明。其平均运行速度比此前最快的同类系统快 10 至 39 倍，安全性仅依赖标准哈希函数。验证者可在毫秒内完成校验，无需重新运行程序或信任执行方。
GitHub Blog · AI & MLAI 评分4141 GitHub 用微调 ModernBERT 分类器升级密钥检测流水线
GitHub 采用微调的 ModernBERT 分类器替换原有 LLM 流水线，用于密钥扫描中的上下文感知分类。新方案使推送后扫描的中位执行时间缩短 86%，服务成本降低超 98%，所有者加权告警精度提升 11.5%。该两阶段流水线先用正则生成候选项，再由分类器结合文件路径与周围代码过滤误报。
GitHub Blog · AI & MLAI 评分5656 GitHub 推出基于 ModernBERT 的密钥检测模型以扩展推送保护能力
GitHub 发布基于 ModernBERT 的通用密钥检测分类器，将推送保护（push protection）扩展到无结构化密钥，评估候选批次耗时低于 2 毫秒，有望使可拦截的密钥数量翻倍。