Anthropic 发布用 Claude 大规模形式化验证开源软件安全的研究
Anthropic 在 Frontier Red Team 博客发布研究，介绍用 Claude 大规模进行形式化验证的方法。团队与 Theorem Labs 合作，在数周内为超过一百个真实开源库证明了安全属性，突破了形式化验证过去仅适用于小型代码库或需大量专家人工的限制。全文见 https://www.anthropic.com/research/formal-verification。
原文：2026/10/23
最新收录
按收录时间排列 · 卡片保留原文日期，往期好文也会新收录
AIHOT 精选AI 评分5858 AIHOT 精选AI 评分7070 Wiz 披露 LiteLLM PyPI 包遭供应链攻击，恶意版本窃取凭据
Wiz 披露 LiteLLM 的 PyPI 包遭供应链攻击，10月21日11:39 UTC 上传的恶意版本 1.107.0 约被下载 49,000 次，已于13:20 UTC 被隔离，安全版本为 v1.106.2。
原文：2026/10/21
AIHOT 精选AI 评分7272 Anthropic 用 Claude 对 123 个开源库完成汇编级形式化安全证明
Anthropic 与 Theorem 合作，用 Claude 在 RISC-V 汇编层为 123 个 OSS-Fuzz 开源库的 239 个入口点生成形式化无崩溃证明，证明代码约 1.8 亿行 Rocq，典型单个证明约 60 万行。
原文：2026/10/22
AIHOT 精选AI 评分5656 Anthropic 将 Agent Skills 开放标准捐赠给 Linux Foundation 旗下 Agentic AI Foundation
Anthropic 宣布将 Agent Skills 开放标准捐赠给 Linux Foundation 旗下的 Agentic AI Foundation（AAIF），此前已向该基金会捐赠 MCP。
原文：2026/10/22
AIHOT 精选AI 评分6060 MiniMax Code 桌面端推出 Mini App 长运行应用功能
MiniMax 在 MiniMax Code 桌面端（macOS / Windows）推出 Mini App，一种带前端和 Node.js 后端、可安装为插件并与 Agent 互相调用的长运行应用，让 Agent 的工作保持在一个持续更新的页面上，而非散落在对话里。
原文：2026/10/22
AIHOT 精选AI 评分5656 OpenAI 发布 Codex 技能与开源工具自查 PHP 关键漏洞影响
OpenAI 为 PHP 关键漏洞提供 Codex 技能，引导用户运行 github.com/openai/php2shell-checker 仓库自查网站是否受影响。背景是其 Patch the Planet 计划中 OpenAI 模型帮助研究员发现 PHP 关键缺陷，修复涉及 PHP 引擎大改，经约两个月协调后披露，使用 PHP 的网站可升级版本并应用安全厂商的缓解措施。
原文：2026/10/22
AIHOT 精选AI 评分4545 研究人员用 GPT-5.6 Sol 发现 PHP 两个 CVSS 9.2 严重漏洞
AI 安全公司 Calif 用 GPT-5.6 Sol 在 PHP 中发现两个 CVSS 9.2 严重漏洞，可让无账号攻击者接管 Web 服务器，影响范围远至 PHP 5.4。PHP 提前一天紧急发布修复。
原文：2026/10/22
AIHOT 精选AI 评分7373 Anthropic 指南：何时把子智能体合并进主 Agent 循环
Anthropic 发布指南，说明何时应把子智能体合并进主 Agent 循环，并提供迁移套件（migration kit）供用户在模拟系统上先试跑。文中指出，在多个企业部署对比中，带 skills 的单智能体在质量上常优于一刀切提示词和子智能体设计，且成本与延迟更低；有客户对比多智能体框架与单循环后发现后者运行速度快约 2 倍。
原文：2026/10/22
AIHOT 精选AI 评分6060 可灵 Kling 4.0 上线 OnSolo，支持单次生成30秒视频
可灵（Kling）宣布 Kling 4.0 已在 OnSolo 上线。该模型支持单次生成30秒原生视频，快速动作和大运镜下保持稳定，提供立体声与更准的口型同步，以及21:9宽屏；单个任务可叠加最多15个参考图和10个关键帧，以保持角色、镜头与剧情一致。
原文：2026/10/22
AIHOT 精选AI 评分6060 Kling 4.0 上线 OpenArt，支持首中尾帧引导与最多 10 张参考图
OpenArt 宣布 Kling 4.0 上线，支持用首帧、中帧、尾帧引导视频生成，最多可使用 10 张参考图，并支持文本或帧生成与视频编辑，All-in-One Reference 用一个模型完成生成和编辑。11 月 20 日前 Pro 和 Wonder 套餐享 50% 折扣。
原文：2026/10/22
AIHOT 精选AI 评分5757 Sierra 发布 𝜏-Entity 基准，测试语音智能体采集实体信息的准确率
Sierra 发布 𝜏-Entity 基准，用 200 个任务、10 类实体（姓名、电话、地址、邮箱等）测试语音智能体能否正确采集、识别可能出错并修复错误。
原文：2026/10/22
AIHOT 精选AI 评分5353 Microsoft AI 发布 SDBench 基准与 MAI-DxO 诊断系统，论文登 Science
Microsoft AI 发布顺序诊断基准 SDBench 与诊断系统 MAI-DxO，相关论文登 Science。在 NEJM 304 例复杂病例上 MAI-DxO 准确率 83%， physician 无外部资料时为 22%、有资料时为 36%；在 MIMIC-IV-ED 急诊病例上为 80% 对 47%。
原文：2026/10/23
AIHOT 精选AI 评分5656 Claude 网页、桌面和移动端将默认启用 auto mode
Claude 官方宣布，下周起 Pro、Max 和 Team 套餐在 Claude 网页、桌面和移动端应用中的会话将默认以 auto mode 运行。auto mode 不再逐步请求用户批准，改由自动检查拦截高风险操作，用户可随时切回手动模式。其引用的 Claude Code 更新提到 auto mode 用独立分类器审查 shell 命令，测试中拦截了 89% 的危险命令，手动批准为 14%。
原文：2026/10/23
AIHOT 精选AI 评分5555 MiniMax 开放 M3.1 Flash 模型权重下载
MiniMax 宣布 M3.1 Flash 权重公开，总参数 428B、每 token 激活 23B，提供 Hugging Face 和 ModelScope 下载。
原文：2026/10/23
AIHOT 精选AI 评分5555 llm-d 1.0 发布：Kubernetes 原生分布式推理服务走向生产就绪
llm-d 项目贡献者在北美 PyTorch 大会上宣布推出 llm-d 1.0，这是一个 Kubernetes 原生的分布式推理服务框架，支持在任何云、任何加速器上为任何模型部署推理栈，由 Red Hat、IBM 和 Google 作为首席维护者主导。
原文：2026/10/20
AIHOT 精选AI 评分6565 Cohere 发布 Rerank 5 企业检索重排模型，分 Pro 与 Fast 两档
Cohere 发布 Rerank 5 重排模型，含 Pro 与 Fast 两个版本，API 定价分别为每 100 万 token 0.05 美元和 0.02 美元，已在 Cohere API、Model Vault、Microsoft Foundry、Amazon SageMaker 上线并面向所有 North 用户开放。
原文：2026/10/21
AIHOT 精选AI 评分6161 Tessl 博客解析编码 Agent 写码占比与人工评审瓶颈的落差
Tessl 博客引用 Jellyfish 2026 年 9 月 AI 工程趋势数据指出，中位数公司已有 22% 的合并 PR 由自主编码 Agent 撰写（90 分位达 53%），但仅约 0.6% 的 PR 由 Agent 评审合并（前 10% 公司为 9%）。
原文：2026/10/21
AIHOT 精选AI 评分6666 Google 与 Meta 联合开源 TorchTPU：PyTorch 原生 TPU 后端
Google 与 Meta 合作开源 TorchTPU，为 Google TPU 提供符合 PyTorch 设计原则的原生后端，运行时不依赖 JAX，模型只需把 .to("cuda") 改成 .to("tpu") 即可开箱运行。
原文：2026/10/21
AIHOT 精选AI 评分6060 Perplexity Computer 现可在 Mac 上完全本地运行
Perplexity CEO Aravind Srinivas 宣布 Perplexity Computer 现可在 Mac 上完全本地运行，无需云端推理和 WiFi。模型和智能体均在本机运行，可操作原生 Mac 应用和本地文件，运行任务时无需将敏感数据发送到云端，现已在 Perplexity Mac 应用中提供。
原文：2026/10/21
AIHOT 精选AI 评分6060 fal 发布 FLUX 3 Max，图生视频 Elo 达 1139 并列第一
fal Research 与 Black Forest Labs 合作推出后训练视频模型 FLUX 3 Max，在独立第三方基准测试中图生视频质量并列第一，获 1139 Elo 分。该模型约 12 秒生成一段 10 秒 720/768p 视频，未来三周享 75% 折扣，后续还将继续后训练改进。
原文：2026/10/21
AIHOT 精选AI 评分5757 蚂蚁集团与 vLLM 社区开源量化推理内核库 Humming
蚂蚁集团与 vLLM 社区开源量化推理内核库 Humming，仓库为 github.com/vllm-project/humming，已集成进 vLLM 0.29.0。
原文：2026/10/21
AIHOT 精选AI 评分6060 OpenAI API 支持 12 小时 prompt 缓存，Codex 与 Work 缓存永久保留
OpenAI 开发者账号宣布 API 现可选 12 小时 prompt 缓存，持续运行的智能体即使请求相隔数小时，也能以更低的缓存输入费率复用共享的指令、工具和上下文。Tibo 补充称，Codex 与 Work 中已登录用户的缓存会永久保留，回到旧对话或数小时后恢复会话都保证命中缓存且无额外惩罚。
原文：2026/10/21
AIHOT 精选AI 评分6262 MiniMax 开源 M3.1 Flash 模型，上线 72 小时处理 Token 超 100 万亿
MiniMax 开源 M3.1 Flash 模型权重，总参数 428B，激活参数 23B，上线 72 小时内真实用户处理 Token 超过 100 万亿。公告还提到稀疏注意力与 QAT 等效率优化细节。
原文：2026/10/23
Tw93AI 评分7373 Tw93 分享用 Mac 开发 Mole Windows 原生版的技术选型与工作流
Tw93 介绍自己如何在 Mac 上用 C# + WinUI 3、.NET 10 开发 Mole 的 Windows 原生版本，架构分四层，Core 层只依赖 .NET，ViewModel 层与 Mac 版对应，大部分编译测试可在 Mac 上完成，一个月写出 8 万多行代码和 4000 多个测试。
原文：2026/10/22
The Verge · AIAI 评分6262 Canva 发布自研图像生成模型 Craft，先规划再生成
Canva 发布自研图像生成模型 Canva Craft，采用两阶段架构，先规划设计再生成图像，官方称可提升精确度、一致性和控制力，支持最高 2K 分辨率和 30 多种宽高比。
原文：2026/10/23
AWS Machine Learning BlogAI 评分4646 Smartsheet MCP Server 正式发布：在 AWS 上为 AI 智能体接入工作流上下文
Smartsheet 推出已正式可用的 Model Context Protocol（MCP）Server，让 AI 助手通过标准化协议读取、写入和管理 Smartsheet 数据，覆盖 40 多种用于探索、创建和管理表格、行、列与自动化的工具，用户可用自然语言更新任务状态、创建行或修改项目结构。
原文：2026/10/21
TechCrunch · AIAI 评分6262 Canva 发布首个图像生成模型 Canva Craft
Canva 发布其首个图像生成模型 Canva Craft，由其研究团队开发，用于与 Google、OpenAI、ByteDance 和 Meta 的同类模型竞争。
原文：2026/10/23
OpenAI NewsAI 评分2525 用 Decisions API 构建响应更快的应用
OpenAI 推出 Decisions API，为各类应用提供快速、聚焦且低成本的决策能力。原文仅以一句"Fast, focused, low-cost decisions for any application"概括其定位，未给出具体参数、价格或性能数据。
原文：2026/10/23
Simon WillisonAI 评分5858 Anthropic 将 Agent Skills 标准捐赠给 Linux 基金会旗下 AAIF
Anthropic 宣布将 Agent Skills 标准捐赠给 Linux 基金会旗下的 Agentic AI Foundation（AAIF），该基金会由 Anthropic 与 Block、OpenAI 共同创立，此前 MCP 规范也已捐入其中。
原文：2026/10/23
AWS Machine Learning BlogAI 评分5858 AWS 教程：用 SageMaker AI 上的 Kokoro TTS 为 AI 智能体实现低延迟流式语音
AWS 官方博客介绍如何让 AI 语音智能体在生成每句话时就立即送入托管在 Amazon SageMaker AI 上的 Kokoro-82M TTS 模型开始合成，避免等待完整回复才出声。
原文：2026/10/23
AWS Machine Learning BlogAI 评分5555 AWS官方教程：如何在HIPAA适用环境中部署Amazon Quick
AWS官方博客介绍如何在符合HIPAA要求的环境中部署Amazon Quick，覆盖HIPAA适用主体、eligible与compliant的区别、PHI的结构化与非结构化两条数据路径，以及AnyCompany Health Plan虚构案例的落地架构。
原文：2026/10/23
AWS Machine Learning Blog精选AI 评分6262 Amazon SageMaker AI 推出 training session APIs：自写训练循环、免管GPU
Amazon SageMaker AI 的 serverless model customization 新增 training session APIs，把抽象边界下移到训练操作层。
原文：2026/10/23
推荐理由：文章用可运行的GRPO和Code RL示例说明了自定义训练循环如何与托管GPU配合，适合需要自定义损失或RL奖励的团队评估迁移成本。
AWS Machine Learning BlogAI 评分6060 AWS 宣布 SageMaker AI 训练会话正式可用，无需管理 GPU 即可自定义模型
AWS 宣布 SageMaker AI serverless model customization 的训练会话（training sessions）正式可用，用户可自行编写和协调训练循环，包括自定义损失函数或奖励信号，而 GPU 分配、分布式执行、故障恢复和检查点存储由 SageMaker AI 处理。
原文：2026/10/23
AWS Machine Learning BlogAI 评分5656 IskayPet 用 Amazon Bedrock Managed Knowledge Bases 构建多语言企业知识助手
伊比利亚宠物护理公司 IskayPet 基于 Amazon Bedrock Managed Knowledge Bases 构建企业知识助手，覆盖西班牙、葡萄牙、法国三国、四种语言及零售、兽医、入职、采购等业务领域，无需自管向量库、嵌入或摄取管道。
原文：2026/10/23
AWS Machine Learning BlogAI 评分6262 Amazon Polly 生成引擎升级：新增14个语音并首次支持印地语和芬兰语
Amazon Polly 生成引擎现已正式上线升级版，语音更自然准确、延迟更低，新增9个区域共14个语音，使目录达到11种语言、25个区域共57个生成语音，其中印地语和芬兰语首次在生成引擎中正式可用。
原文：2026/10/23
LessWrongAI 评分3636 GPT-2 的 QK Transcoder 特征对交互式仪表盘：打开注意力机制
作者为 GPT-2 small 的每一层/每个注意力头构建了一个交互式 query-key transcoder 特征对仪表盘，用于查找和研究多头注意力（MHA）中的单义特征，作为调查与可视化 GPT-2 QK 电路的独立中期研究报告。
原文：2026/10/23
The DecoderAI 评分4444 Google 推出 Agent Compute Engine，为每个 Gemini 智能体分配硬件隔离的微型虚拟机
Google 推出 Agent Compute Engine，为每个 AI 智能体分配独立的硬件隔离微型虚拟机，已为 Gemini 提供支撑，将在未来几个月开放预览。
原文：2026/10/23
AWS Machine Learning BlogAI 评分6262 AWS 教程：用 AtScale 与 Amazon Bedrock AgentCore 构建 Agentic AI 语义层
AWS 与 AtScale 联合发布教程，介绍如何在 Amazon Bedrock AgentCore 上托管 Strands 智能体，通过 AtScale MCP 服务器访问基于 Semantic Modeling Language（SML）建模的 Customer 360 语义层。
原文：2026/10/20
AWS Machine Learning BlogAI 评分5656 用 Strategy Mosaic 和 Amazon Bedrock AgentCore 构建 agentic AI 语义层教程
AWS Machine Learning Blog 发布教程，演示如何用 Strategy Mosaic 作为语义层，在 Amazon Redshift 与 Amazon Aurora 上建模 Customer 360 场景，并通过 Mosaic MCP 端点接入运行在 Amazon Bedrock AgentCore runtime 上的 Strands agent。
原文：2026/10/20
AWS Machine Learning BlogAI 评分5858 在 AWS 上用 Denodo 与 Amazon Bedrock AgentCore 构建智能体语义层
AWS 与 Denodo 联合撰写的教程演示如何用 Denodo Platform 作为语义层，联邦 Amazon Aurora、Amazon Redshift 与本地 PostgreSQL 的 customer 360 数据，并通过 Denodo MCP Server 接入 Amazon Bedrock AgentCore 托管的 Strands 智能体。
原文：2026/10/20