OpenAI · 安全
OpenAI 公开内部监控系统嵌入评估
OpenAI 表示，今年夏天邀请了 METR 与 Redwood Research 对其内部监控系统进行为期三周的嵌入式评估，并为此提供了对基础设施的深度访问。两家机构的发现帮助团队在扩展系统的过程中加固了防护，也将在塑造后续系统扩展方向上发挥作用。这是前沿实验室主动接受外部评测机构检验的一次公开尝试。
Anthropic · 论文
Anthropic 用 Claude 大规模形式化验证软件
Anthropic Frontier Red Team 在博客中介绍，正利用 Claude 对大型代码库进行形式化验证，目标是证明代码不存在特定缺陷。形式化验证长期只能作用于小代码库，或需要投入大量专家时间；借助 AI 模型之后，这一方法有望首次被推进到规模化场景。
产品 · Agent
Replit 推出 Monitoring Agent
Replit 为 AI 应用开发者推出 Monitoring Agent，充当随叫随到的值班工程师：生产环境一旦告警，它能自主调查、定位根因、制定并验证修复，再自动部署回生产并回报处理经过。此前 Replit 的应用监控只做健康检查与告警，如今补上了从告警到修复的完整闭环。
前沿实验室在推进 AI 生物学能力，却用一道广泛而浅层的护栏，挡住了科学家与公益机构去使用、研究和理解它。
—— Clément Delangue，Hugging Face 联合创始人兼 CEO
Claude API 全面接入 Google Cloud
用户可在 Google Cloud 账户调用完整 Claude API，含 Managed Agents、代码执行与 Opus 5.5 快速模式。
OpenAI 发布 Decisions API 正式版
近实时分类文本与图像、评估输入并决定下一步，无需生成完整模型回复。
腾讯混元发布 WorkForge 训练框架
从真实世界资源构建可验证的长时程工作 Agent 训练环境，自动生成工作空间与可核查事实。
vLLM 首日支持 Sage-A1.5
上海 AI Lab 的 35B MoE、3B 激活模型获 Day-0 支持，可本地部署 Agent 智能。
SGLang 推出 AWS Trainium 插件 Beta
与 AWS 合作，基于 TorchNeuron，支持推理服务与 RL rollout，覆盖 Trainium2/3。
Perplexity Agent API 上线批处理
单文件最多 5 万请求，每条运行完整 Agent 循环，支持批模式网页搜索与抓取。
10 万美元挑战加速 Muse Spark
奖励让 Meta Muse Spark Open 运行最快者，从 GPU kernel 优化到 SGLang serving 加速。
模型 · 行业 · 纵深
标准
Agent Skills 捐给 Agentic AI 基金会
Anthropic 将 Agent Skills 标准捐出，已有 70 多个 Agent 平台集成，包括 ChatGPT、Cursor、GitHub Copilot 与 VS Code。
模型发布
Ideogram 发布首个矢量模型
可从文本或图片生成干净、可编辑的 SVG，支持平滑渐变与清晰字体，已在 Ideogram 与 API 上线。
推理框架
SGLang v0.5.22 发布
版本含 950 个 PR，InstantTensor 带来最高 10 倍权重加载加速，DeepSeek-V4.1-Flash 在 Hopper 上吞吐提升最高 2.3 倍。
文档解析
LlamaIndex 发布 OCRia-1 文档解析模型
在准确率、速度与成本上推进帕累托前沿，对复杂表格、图表等文档解析达到 SOTA。
生物模型
Hugging Face 发布 Carbon-X DNA 模型
14B 模型首次将 DNA 与自然语言结合，在 DNA 基准上超过所有开放语言模型，接近 GPT-6.1 Sol 且推理成本低逾千倍。
硬件
华为昇腾 950PR 规格曝光
SemiAnalysis 获得昇腾 950PR_9579 规格：600W、325 TFLOPS BF16，约为 H100 的 44%、B300 的 21%。
安全
AI 发现 PHP 核心漏洞引发补丁竞赛
PHP2Shell 漏洞由 OpenAI 与 Wiz 的 AI 安全项目独立发现，影响 WordPress 等广泛系统，协调响应历时约两个月。
地理 AI
DeepMind 发布 10 米森林类型地图
ForTy 以 10 米分辨率区分天然林、人工林和农用林，帮助识别毁林并保护关键森林。
Uber 全员部署 ChatGPT Work
OpenAI 与 Uber 合作，把 Agent 能力带入全公司。
Vercel 为 Agent 推出即时部署
tmp.now 让 Agent 即时发布软件，甚至无需注册。
LM Studio 新增本地朗读功能
由本地 TTS 模型 Phonon 驱动，可在本地生成朗读。
Higgsfield 推出 Content Factory
把任意想法转化为病毒式短视频与广告钩子。
Cohere 发布 CulturalRiddles 基准
衡量模型对文化交织经验的理解，揭示文化推理短板。
Modal 完成 7.5 亿美元 D 轮
创始人披露 D 轮并讨论 GPU 市场与沙盒基础设施趋势。
中国 AI 算力达 2.6 ZFlops
按 FP16 口径折合约 260 万 H100 等效。
Microduck 预订单将破 2 万台
399 美元开源机器人，受 Jensen 演讲带动。
DeepSeek 投资方硬件色彩浓厚
从宁德时代、SMIC 到吉利，引发对融资结构的讨论。
Chollet 批评 AI 末日论文化
把部分末日论描述为“千禧年死亡教派”心态。