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