Google DeepMind 发布 AlphaProof Code，四周内数学验证 Signal 加密核心代码
Google DeepMind 发布 AlphaProof Code，AI 系统可数学证明软件符合安全规格且无错误。团队用它验证了 Signal 实际运行在用户设备上的加密核心代码，而非止步于理论设计，将通常需数年的工作压缩到四周。
#产品更新
The DecoderAI 评分6161 Hacker News：AI 热帖AI 评分5454 Griyd 发布面向开发团队的多智能体协作看板
Griyd 推出多智能体协作看板，让团队各自使用 Claude Code 或 Codex 在同一看板上规划规格、创建故事并构建功能。智能体通过 MCP 创建故事并 @ 成员，写规格前会读完看板上所有打开的故事，CI 结果由 Griyd 转发给构建该故事的智能体以复现修复。定价为每开发者每月 $15，无智能体成员免费，另支持 $500/年 Docker 自托管。
Hacker News：AI 热帖AI 评分4242 Show HN：AI Spar 让 Claude、GPT 和 Gemini 就一个问题互相辩论
开发者在 Hacker News 展示 AI Spar 工具：让 Claude、GPT 和 Gemini 先各自回答问题，再互相辩论对方的观点，暴露单一模型容易遗漏的分歧与漏洞。多个模型的交锋能汇总出更完整的答案。目前该工具正演示查询模型的流程，可通过其示例问题试用。
Hacker News：AI 热帖AI 评分4646 Show HN：用 FN2 AI 将 Claude Code 接入 1060 万条财报电话会议嵌入向量
FN2 AI 发布 Show HN 帖子，演示让 Claude Code 通过 fn2 skill 检索约 10,602,684 条嵌入段落、覆盖 142,758 场财报电话会议，用 Qwen3-Embedding-8B（4096d）做语义搜索。
Hacker News：AI 热帖AI 评分6363 PrashnaLabs 开源 agent-blast-radius：为进入断网环境的 AI Agent 做边界与爆炸半径审计
作者发布 agent-blast-radius，一个读取 AI Agent 代码库、在部署到断网环境前回答边界与爆炸半径两个问题的 Agent 技能。
Hacker News：AI 热帖AI 评分5252 Dedoomify 上线：把 AI 新闻中的末日表述改写成软件问题口吻
作者推出开源工具 Dedoomify，粘贴任意 AI 新闻链接即可把「模型对齐失效」等末日式表述改写成「模型有 bug」这类普通软件问题口吻。每处改写都会高亮，悬停或点击可查看原文；可用快捷短语规则运行，也可通过 WebGPU 在浏览器中调用本地 AI 模型，代码开源于 GitHub。
Google Developers Blog精选AI 评分7070 Google 发布 A2UI 1.0 稳定版开源协议，让智能体用原生交互界面回答
Google 发布 A2UI 1.0，这是其生成式 UI 开放协议的首个稳定版本，让 AI 智能体以表单、图表等交互屏幕而非纯文本回答，提供覆盖 Web、Android、iOS 的开源渲染器 SDK 和 Python、TypeScript、Dart 的 Agent SDK。
推荐理由：官方发布开源生成式 UI 协议的 1.0 稳定版，给出渲染器与 Agent SDK 清单和 Atlassian、ByteDance 等落地方式，读者可评估是否接入自己的智能体工作流。
MarkTechPostAI 评分5353 Marktechpost 发布 GPU Leaderboard 与 Deploy It Chrome 扩展
Marktechpost 推出免费云 GPU 价格对比站点 GPU Leaderboard 和配套的 Chrome 扩展 Deploy It，面向推理场景汇总各供应商页面上的按需和竞价价格。
Hacker News：AI 热帖AI 评分7171 Chrome 团队发布 Modern Web Guidance 1.0，并总结 AI 编码智能体最常犯的 10 类 Web 开发错误
Chrome 团队发布 Modern Web Guidance 1.0，这是一套将 Web 平台最佳实践和浏览器兼容性数据嵌入编码智能体的技能，可通过 npx modern-web-guidance@latest install 安装。
Hacker News：AI 热帖AI 评分6464 开源自托管 AI 短视频工具 OpenShorts 发布，可替代 OpusClip
开发者发布 MIT 协议的开源工具 OpenShorts，可将长视频转为 9:16 的 TikTok、Reels 和 Shorts，支持自托管或使用 openshorts.app 云版（免费 20 分钟/月带水印，付费 $12/mo 起）。
Databricks：BlogAI 评分5757 Databricks 推出新一代 Genie：面向复杂企业工作的自主 AI 智能体
Databricks 发布新一代 Genie，定位为可主动承担长周期企业工作的自主 AI 智能体，持续追踪进度、跟进缺失输入并采取行动，用户可通过 Genie One、邮件、Slack 和 Teams 布置任务并设置审批。
The DecoderAI 评分5555 Helsing 发布 Clarity 智能体平台，称每次打击决策都将留有负责人姓名
德国防务科技公司 Helsing 在柏林发布基于智能体的 Clarity 情报平台，将传感器数据、开源情报和报告整合为目标建议，供人类审核后接入武器系统。平台运行在客户自有基础设施上，遵循北约标准，并承诺由人类授权每次打击并记录负责人姓名。
TechCrunch · AIAI 评分4141 Databricks 发布新版 AI 智能体 Genie，CEO Ali Ghodsi 用它获取“不加修饰的真话”
Databricks 发布更新版 AI 智能体 Genie，可依托平台数据构建的 ontology 获取上下文，无监督地完成多步长时任务。CEO Ali Ghodsi 现场演示自己如何用它分析员工满意度低分项、总结失败的销售提案并准备播客访谈，称员工超 150 人（Dunbar's number）的公司都能从中受益。
OpenRouter：Announcements精选AI 评分6767 OpenRouter 推出 Extractions API，可从文本、图片和 PDF 按字段抽取类型化数值
OpenRouter 在 alpha 阶段上线 Extractions API，用户通过描述字段名即可从文本、图片和 PDF 中抽取每字段一个类型化数值。
推荐理由：官方发布公告，说明三款抽取模型的字段类型、置信度与 p_null 机制差异，便于按文档形态选择合适模型。
Hacker News：AI 热帖AI 评分5959 BlobCap 上线：追踪 AI 实验室购买数据的真实价格
BlobCap 上线，汇总 AI 实验室购买训练数据的交易记录，目前已追踪 51 笔交易，其中 19 笔披露价格，涉及 13 个买家。
Hacker News：AI 热帖AI 评分4949 AI Code Rating：用 3 个字符披露仓库中 AI 的使用情况
AI Code Rating 在 Hacker News 发布，是一个用 3 个字符（如 A2b）披露仓库 AI 使用情况的标准。三个位置分别表示维护者的专业水平（A–E）、AI 生成代码占比（0–4，如 2 表示 26–50%）以及合并前的人工审查程度（a–e）。
Databricks：BlogAI 评分5050 Databricks 推出 Genie 插件，将企业业务上下文接入 ChatGPT、Claude、Microsoft Copilot Cowork 与 Grok Bot
Databricks 推出新的 Genie 插件，让 ChatGPT、Claude、Microsoft Copillow Cowork 和 Grok Bot 原生访问 Genie Ontology 企业上下文层，通过受治理接口获取业务术语定义与数据关系。
Databricks：BlogAI 评分5353 Databricks 宣布 Genie Ontology 正式发布（GA）
Databricks 宣布 Genie Ontology 正式发布（GA），它由 Agent 从仪表板、SQL 查询、notebook 和 Power BI 等语义模型中自动学习业务上下文，并由人通过 Unity Catalog 治理关键定义，经 Genie MCP 可供 ChatGPT、Claude、Microsoft Copilot 等外部 Agent 使用。
Databricks：BlogAI 评分5050 Genie One：面向所有人的 AI 同事之家
Databricks 宣布 Genie One 升级为企业的 AI 同事之家，所有对话、产出物和工作流都基于 Genie Ontology 的企业上下文，并通过 Unity Gateway 治理。
Databricks：BlogAI 评分4949 Databricks Genie Agents 新增分析更多数据源，从企业上下文走向实际行动
Databricks 介绍 Genie Agents 的新能力：该智能体从生成 SQL 洞察进化为理解企业全部业务上下文的无代码智能体，新增非结构化文档分析、MMP 连接器（应为 MCP connectors）与 OpenSharing 支持，可自动完成文档解析、索引与上下文检索并给出带具体引用的答案。
The DecoderAI 评分5757 DeepL 发布 Aure 语音模型，实时翻译将保留语气、语速和情绪
DeepL 推出 Aure 语音模型，在 DeepL Voice 实时翻译中把原说话人的语气、情绪、强调和语速带入目标语言，取代此前仅依赖开场静态声音采样的做法。
AWS Machine Learning Blog精选AI 评分6666 AWS 宣布 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 上可用。
推荐理由：AWS 官方公告同时给出能力说明、数据保留选项和 Bedrock 调用示例，读者可据此评估迁移与接入成本。
IT之家·人工智能AI 评分4848 DeepL 推出语音 AI 翻译模型 Aure，实时复现说话者语气与情绪
DeepL 于 11 月 11 日推出语音 AI 翻译模型 Aure，官方称其为迄今最具动态感、最逼真的 Voice AI 模型，暂不支持中文。作为 DeepL Voice 的底层核心，Aure 可实时复现说话者的语气起伏、情绪流转、重音及语速，并建立在近期推出的声音保留技术之上。模型已支持网页会议版、面对面交谈版和语音 API，首发覆盖英语、德语、西班牙语、法语、意大利语、日语、葡萄牙语及韩语。
Hacker News：AI 热帖AI 评分6060 Neo4j 发布开源内存嵌入式数据库 Relate，专为 AI Agent 打造
Neo4j 于 2026 年 11 月 11 日发布开源（Apache 2.0）AI 原生内存嵌入式数据库 Relate，用 Rust 构建，启动和安装可在毫秒级完成。
Hacker News：AI 热帖AI 评分4848 NIST 发布 SP 1353 ipd：用 AI 进行 Cybersecurity Framework 2.0 分析与报告的快速入门指南（征求意见）
NIST 发布 SP 1353 ipd 初始公开草案《QuickStart Guide for Using AI for CSF Analysis and Reporting》，8 月 19 日公开征求意见，截止 2026 年 10 月 15 日 11:59 PM，意见发送至 csf[at]nist.gov。
Hacker News：AI 热帖AI 评分6868 Tensward 0.4.2 发布：本地 LLM 推理自动调优工具开源
Tensward 0.4.2 开源发布，本地测量 vLLM 或 llama.cpp 的推理表现，每次只提出一处改动，仅当更快且答案通过检查时保留。
The Verge · AIAI 评分4646 Ring 室内无人机摄像头 Drone Cam 上手体验
Ring 在纽约发布活动中展示新款室内无人机摄像头 Ring Drone Cam，计划 2027 年 1 月 27 日以 $249.99 发售，可响应 Ring 传感器触发沿预设路线巡航，提供 2K 分辨率、148 度视场并支持 360 度覆盖。
The Verge · AIAI 评分4747 Adobe 在 Max 大会让 Photoshop、Lightroom、Premiere 更易移除不需要的对象
Adobe 在 Max 大会上为 Photoshop、Lightroom、Premiere 和 Firefly 推出多项 AI 编辑功能，重点是自动移除画面中不需要的对象。
TechCrunch · AIAI 评分4848 Ring 推出家用安防无人机 Ring Drone Cam 与企业安防机器人 Ring Rover Cam
亚马逊旗下 Ring 于周二宣布成立 Ring Robotics 部门，发布两款安防设备：家用安防无人机 Ring Drone Cam 和企业安防机器人 Ring Rover Cam。
TechCrunch · AIAI 评分4545 Spotify AI DJ 新增多种声音与个性，并可减少插话
Spotify 为 AI DJ 推出可自定义的声音与个性选项，Premium 用户可在英语和西班牙语的多种声音中选择，包括 7 种英语口音（英、美、爱尔兰、澳、印度）和 2 种新的西班牙语声音（Nico、Fabi）。
TechCrunch · AIAI 评分5353 Cyanogen 联创 Kirt McMaster 创办 Kora Systems，打造面向 AI 时代的 Linux 桌面操作系统
Kora Systems 发布一款面向重度 AI 用户的 Linux 桌面操作系统，将 AI 模型和智能体直接集成进系统，支持跨应用工作、访问文件和保留任务上下文，预计 2027 年免费推出，支持 Intel、AMD 和 Qualcomm Snapdragon 设备。
TechCrunch · AIAI 评分6262 Adobe 在 MAX 大会为 Photoshop、Premiere 和 Firefly 加入 AI 功能并发布本地 MCP
Adobe 在迈阿密 MAX 大会宣布为 Photoshop、Premiere、Illustrator、InDesign 和 Firefly 增加多项 AI 功能，并发布本地 MCP，让 ChatGPT、Claude、Gemini 等聊天机器人调用其 Creative Cloud 功能。
TechCrunch · AIAI 评分4949 Meta AI 智能体 Muse 登陆 Apple Watch 和 Android Wear OS
Meta 宣布将 AI 智能体 Muse 带到 Apple Watch 和 Android 的 Wear OS，用户可在智能手表上通过语音通话、短信或口述与 Muse 交互。此前的 9 月 Muse 已登陆 App Store，一个月前还推出了 iPad 版。上线不久后，Muse 成为 40 天内美国下载量突破 1000 万的仅有的 12 款移动应用之一。
TechCrunch · AIAI 评分4343 Google 推出 TPU 8tx 和 TPU 8i Max 两款专用芯片，扩充 AI 硬件产品线
Google 周一发布两款新的 TPU 变体芯片 TPU 8tx 和 TPU 8i Max，属于今年 4 月推出的第八代芯片，用于扩充机密推理和大内存工作负载等场景。TPU 8tx 与 AMD 合作设计，基于 TPU 8t，在硬件层保护敏感数据和模型权重，并支持边推理边训练以随时蒸馏小模型；TPU 8i Max 将两颗 4 月发布的 TPU 8i 合并为单封装，内存容量、算力和带宽翻倍。
Hacker News：AI 热帖AI 评分6464 Editmamei 发布桌面 MCP 服务器，让 Claude 等 AI 直接编辑 Photoshop 和 GIMP 图片
作者发布 Editmamei，一个本地 MCP 服务器，让 Claude Desktop、Claude Code、Cursor 等 AI 应用直接驱动桌面版 Photoshop 2026 或 GIMP 3.2 编辑照片，共 112 个工具（Photoshop 83 个、GIMP 29 个）。
Hacker News：AI 热帖AI 评分5454 Unfix 发布 C/C++ 修复验证工具，10 个 AI 补丁中 6 个未通过检验
Unfix 是一款不写代码的 C/C++ 与固件修复独立验证工具，通过复现 bug、应用补丁重跑测试、撤销补丁确认 bug 复现，并扫描关闭 sanitizer、削弱断言、加延迟等掩蔽手法，给出 VERIFIED、REJECTED 或 NOT VERIFIABLE 的确定性判定。
Hacker News：AI 热帖AI 评分5555 Outlier 发布可在 Mac 上完全离线运行的本地 AI 应用
开发者 Matt 发布 Outlier，一款在 Apple Silicon Mac 上本地运行模型的应用，默认完全离线、无 token 限制、无账号，聊天和文件留在本机，作者用 lsof 抽样 22 次验证零外连。
Hacker News：AI 热帖AI 评分5959 Kodelyth ECC v2.31.1 发布：71 个 AI agent、MCP 服务与 55% token 削减
Kodelyth ECC 发布 v2.31.1，提供 71 个专家 agent、196 技能、104 条 slash 命令和 MCP server，可自动接入 Claude Code、Cursor、Windsurf、Gemini、Codex、Kiro 六个 IDE。
Hacker News：AI 热帖AI 评分4343 Model Desk 0.4.1 发布：本地优先的多 provider AI 工作台
开源桌面应用 Model Desk 0.4.1 提供 Rust + Tauri 构建的本地优先 AI 工作台，支持通过 lumo-tamer 接入 Lumo、直连 DeepSeek 及任意 OpenAI 兼容端点，并内置 OpenCode 编码智能体、Bonsai 本地图像生成、附件 OCR、记忆和带权限控制的工具。
AWS Machine Learning BlogAI 评分4343 Moonshot AI Kimi K3.1 Pro Highspeed 上线 Amazon Bedrock
月之暗面（Moonshot AI）的 Kimi K3.1 Pro Highspeed 现已在 Amazon Bedrock 上可用。该模型基于 Kimi K3 的 3T 级开放权重架构后训练而来，保持 1 百万 token 上下文窗口，官方称输出速度达 Kimi K3.1 Pro 的 2–3 倍，强化了长程智能体任务、金融建模和游戏引擎等编码能力。