NVIDIA 在 KubeCon 捐赠 OpenShell 并发布 DSX AI Factory Platform 三项新组件
NVIDIA 在 KubeCon + CloudNativeCon 上宣布向 CNCF 捐赠用于保护和治理自主智能体的开源运行时 OpenShell，并参与 Google 主导的开源框架 Agent Substrate。
推荐理由：原文给出三项新组件的具体性能数字与生态伙伴，读者可据此评估其对 GPU 基础设施部署与推理扩容的实际影响。
精选
当前热点
完整榜单NVIDIA Blog精选AI 评分6161 Google DeepMind精选AI 评分8888 Google DeepMind 开源 Gemini 4 Carbon 模型
Google DeepMind 宣布 Gemini 4 Carbon 正式面向开发者、企业、科学家和消费者开放，定位为最强模型，主打网络安全能力与长程智能体工作流。
推荐理由：原文给出定价、基准排名与安全数据，读者可据此对比 Carbon 与 Argon 的分工和迁移成本。
Hugging Face Blog精选AI 评分6262 Hugging Face 推出 Decision Models 决策模型接口与生态支持
Hugging Face 介绍决策模型（decision model）概念及其在生态中的落地：模型接收 state 与 questions，直接返回带概率的结构化决策而不生成文本，接口包含 choice、score、noul 三种原语，并给出 confidence 计算方式。
推荐理由：原文梳理了决策模型的接口设计与三种原语，并说明 Transformers 和 llama.cpp 如何通过同一 API 提供服务。
Google DeepMind精选AI 评分7474 Google DeepMind 发布 Gemini Robotics 2.5 视觉-语言-动作模型
Google DeepMind 发布 Gemini Robotics 2.5，称其为迄今最强的视觉-语言-动作（VLA）模型，提升机器人可学技能的广度与获取速度。
推荐理由：原文给出 Mercedes-Benz 产线 96% 成功率与越狱防御基准，读者可据此评估其工业落地与安全水平。
Google DeepMind精选AI 评分7676 Google DeepMind 发布 AlphaProof Code，用 AI 代理形式化验证 Signal 协议代码
Google DeepMind 发布 AlphaProof Code，一个多 LLM 智能体形式化验证框架，用它对 Signal 协议的实际代码给出了关键安全性质的数学证明，称这是首次用 AI 在这一深度形式化验证广泛部署的密码协议，也是任何方法首次验证此类协议的实现。
推荐理由：原文说明了形式化验证从设计层下沉到编译代码层的做法与四周耗时，读者可据此评估 AI 代理在真实密码协议上的验证能力边界。
TechCrunch · AI精选AI 评分8888 Anthropic IPO 定价每股 70 至 78 美元，隐含估值 1.404 万亿美元
Anthropic 在更新的 IPO 文件中宣布以每股 70 至 78 美元发行 8.25 亿股 A 类股，若按区间上限定价，完全摊薄后估值达 1.404 万亿美元，高于其 5 月融资时的 9650 亿美元，但低于此前据报道瞄准的 2 万亿美元。
推荐理由：原文给出定价区间、募资规模与关键财务数字，便于读者对照其估值与同期 OpenAI 融资情况。
Latent Space精选AI 评分8888 Anthropic 发布 Claude Fable 5.2 与 Mythos 5.2，夺回榜首
Anthropic 发布 Claude Fable 5.2 与 Claude Mythos 5.2，官方称其在几乎所有已评估能力上超过 Opus 5.5，并登上多数独立排行榜首位。
推荐理由：原文汇总了独立评测与成本数据，读者可据此判断新模型在能力与实际开销上的取舍。
AWS Machine Learning Blog精选AI 评分7575 Claude Fable 5.2 与 Claude Mythos 5.2 在 Amazon Bedrock 上线
AWS 宣布 Claude Fable 5.2 和 Claude Mythos 5.2 现已在 Amazon Bedrock 与 Claude Platform on AWS 上可用，通过 US Geo CRIS 和 Global CRIS inference profiles 提供。
推荐理由：原文同时给出模型能力定位、数据保留策略与迁移路径，读者可据此评估在 Amazon Bedrock 上接入新模型的实际门槛。
The Decoder精选AI 评分8888 Anthropic 发布 Claude Fable 5.2 与 Mythos 5.2，基准成绩领先
Anthropic 发布 Claude Fable 5.2 与 Mythos 5.2，两者共享同一模型基础，定价为每百万输入 token 8 美元、输出 40 美元，低于前代的 10 美元和 50 美元，输出速度比 Fable 5.1 与 Mythos 5.1 快最多 30%。
推荐理由：文章汇总了新模型的基准分数、定价与安全限制，读者可据此比较它与前代及竞品的差距。
NVIDIA Blog精选AI 评分7474 NVIDIA 在 CoRL 发布 GR00T 2 世界动作模型与 Isaac Lab 3.0 等开放机器人技术
NVIDIA 在 CoRL 大会发布一系列开放机器人技术，包括基于 Cosmos 的开源世界动作模型 GR00T 2、Isaac Lab 3.0、Isaac Lab-Arena 0.4 开发者预览，以及 DexBench、VABAR 两个新工业评测基准。
推荐理由：原文系统梳理了从世界动作模型到仿真训练与评测基准的完整技术栈，可据此理解 NVIDIA 在机器人仿真训练上的整体布局。
TechCrunch · AI精选AI 评分7676 耶鲁教授评黄仁勋去留：留任概率约五五开
Nvidia 董事会宣布就黄仁勋向员工承认婚外不忠一事启动独立调查，涉及被美方怀疑为中国间谍的 Megaspeed 高管 Alice Huang，董事会称未发现国家安全或公司机密受损，黄仁勋留任。
推荐理由：借耶鲁教授之口拆解了黄仁勋危机的多重约束与先例缺失，便于理解此事为何难有简单出路。
The Verge · AI精选AI 评分8181 METR报告揭示Anthropic用AI加速研发引发安全争议
AI安全研究组织METR发布报告，基于在Anthropic内部为期11周的调查发现，Anthropic的模型改进速度约为一年前的两倍，且截至10月多数加速“来自AI”本身而非算力扩张。
推荐理由：报道梳理了METR对Anthropic的调查发现与各方反应，可帮助读者理解AI加速自身研发的证据与透明度争议。
AWS Machine Learning Blog精选AI 评分6262 Amazon SageMaker Inference 支持 GPU 分区以提升端点 GPU 利用率
Amazon SageMaker Inference 现支持基于 NVIDIA MIG 的 GPU 分区，可将一张物理 GPU 切成多个硬件隔离的分区，让一个端点容纳多于 GPU 数量的模型，并可选择较新型号 GPU 的一部分而非整卡。
推荐理由：原文给出分区配置方法与实测对比数据，读者可据此判断如何为自己的负载选择合适分区规格。
The Decoder精选AI 评分7676 Frontier Radar #5：AGI 临近之际，27 家新实验室的六大技术押注
文章梳理了从大厂出走的创始人创办的 27 家独立 AI 实验室（neolabs），并按主要技术押注分为六组：改变学习方式（如 SSI、Core Automation、Ineffable Intelligence）、改变学习数据来源（如 AMI、World Labs、Physical Intelligence）、押注非互联网数据（如 Basecamp Research、Periodic Labs、Prometheus）、押注算力效率（如 Liquid AI、Inception、Unconventional AI）、自动化研究本身（如 Axiom Math、Discovery Loop、Recursive），以及押注模型可解释性与可控性（如 Goodfire、Reflection、Thinking Machines Lab）。文中列举了各组代表公司的融资与估值，例如 SSI 获 Nvidia 报道的 5 billion 投资、Prometheus 融资超 18 billion、World Labs 被 AMD 以约 8.2 billion 收购等。
推荐理由：文章把散落的独立实验室按六类技术押注归类，读者可据此看清大厂之外的创新方向分布。
Hugging Face Blog精选AI 评分6363 Hugging Face 推出 ToyBlocks 受控仿真框架用于机器人学习与评测
Hugging Face 与 AllenAI 推出 FoundationWorlds 框架及其首个基础世界 ToyBlocks，一个围绕机械臂与桌面积木的开源仿真环境，可自动生成任务与演示数据，无需人工遥操作。
推荐理由：通过受控仿真环境把数据生成、训练与评测打通，读者可据此理解机器人泛化与失败归因的可复现研究路径。
The Decoder精选AI 评分7676 METR审计称Anthropic或已于7月越过自身AI加速预警阈值
METR发布对Anthropic的审计结果，称自2025年10月以来Anthropic模型测试分数爬升速度约为此前的1.9倍，按AECI指标年增从约15点升至29点，可能在7月15日就已越过自身预警阈值。
推荐理由：报告披露了加速归因与删改细节，读者可据此理解独立审计在AI安全承诺中的实际约束力。
Latent Space精选AI 评分7878 Thinking Machines 发布 Inkling 2 Small：594B 总参数多模态 MoE，68 小时完成预训练
Thinking Machines 发布 Inkling 2 Small，一个 594B 总参数 / 17B 激活参数的多模态 MoE 模型，支持文本与图像输入、文本输出，具备原生视觉能力，上下文窗口和最大输出均为 1M tokens，现已在 Tinker 和 Tinker Playground 上开放微调与推理，Apache 2.0 权重将在外部安全测试完成后于下周发布。
推荐理由：原文汇总了训练成本、独立评测与安全披露，读者可据此判断这款开源权重模型的真实定位与短板。
NVIDIA Blog精选AI 评分6262 NVIDIA Vera CPU 发布：兼顾 Agent 速度与每瓦容量
NVIDIA 宣布 Vera CPU 同时提供快速的 Agent 性能和高每瓦容量，让服务商用单一 CPU 覆盖各类 Agent 工作负载，无需混搭快与密集的 x86 部件。
推荐理由：原文用多家伙伴的实测数据说明 Vera 在速度与每瓦容量上的表现，便于评估其对 AI 工厂选型的影响。
Hugging Face Blog精选AI 评分6262 NVIDIA 为 Cosmos 3 开源模型家族新增四个交互式世界仿真检查点
NVIDIA 为 Cosmos 3 模型家族新增四个开源权重检查点，用于生成交互式世界仿真和多传感器多视角驾驶场景：Cosmos3-Nano-Transfer-Auto 生成多视角驾驶数据。
推荐理由：四个检查点分别对应驾驶数据生成、流式仿真、模拟器渲染和双臂机器人动作预测，读者可据此判断各自适配的落地场景。
Microsoft Research精选AI 评分6262 Microsoft Research 推出 PDD Kit，用形式化验证约束智能体生成的全栈 Web 应用
Microsoft Research 与 GitHub Next、RiSE 合作推出 PDD Kit，把形式化验证引入日常软件开发：它在 GitHub Next 的 Chopin 规划环境中与开发者协作，把自然语言意图转成 Verus 形式化规范，自动为智能体生成的代码生成证明，证明覆盖每个输入，证明触及不到的部分则回退为测试。
推荐理由：原文完整展示了从意图到形式化规范再到证明的七步工作流，可迁移之处在于它把代码审查重心移到了意图审查。