2026-11-04
Anthropic 推出 FlashProve 可验证推理研究
Anthropic 公布可验证推理研究 FlashProve，基于成熟密码学技术让开发者验证某条回复是否来自指定 AI 模型，效率显著高于此前开源方法。该证明可用于防止攻击者劫持对话，也能让安全评估者确认被测模型与线上服务模型一致。Anthropic 已开源 FlashProve 代码。
主题
第 17 页
2026-11-04
DGX Spark 上 5 秒 480p 视频生成耗时 59.5 秒
(4/6) 在你的桌面上也能跑。一段 5 秒 480p 首尾帧片段在单台 DGX Spark 上耗时 59.5 秒。Blackwell 从 Spark 一路覆盖到 RTX 5090。@NVIDIARTXSpark
2026-11-04
NVFP4量化让视频模型提速且不掉质量
(3/6) 4-bit 量化，质量不打折。 NVFP4 QAD 以 BF16 Flex 为蒸馏目标，与它的差距比普通量化缩小 14-17%。 长片段受限于注意力计算，因此 FP4 注意力将 768p 15 秒的耗时从 101.8 秒降至 85.3 秒。
2026-11-04
Hao AI Lab 将 Pika 开源的 MiniMax H3 Flex 接入 FastVideo，推理最高快 7 倍
Hao AI Lab 宣布 Pika 上周开源的 MiniMax H3 Flex 已进入 FastVideo。相比官方开源推理代码最高快 7 倍，在单张 NVIDIA GB200 上 5.8 秒生成 5 秒 480p 视频+音频；开放权重和完整训练配方…
2026-11-04
Stanford 研究：44% 被广泛引用的 LLM 结论已失效，推理类缺陷消失最快
Stanford 研究者 Owen Queen 和 James Zou 用 2024 年 7 月至 2026 年 9 月间八家开发商的 20 个模型检验 50 条广被引用的 LLM 结论，发现 44% 已失效，34% 明显减弱，仅 16% 仍成立。
2026-11-04
Disruptive 募集 100 亿美元 AI 基金，对话 Alex Davis
Alex Davis 为低调的 Disruptive 募集 100 亿美元新基金，计划投向约 10 家公司、单笔最高 10 亿美元，团队约 30 人、常驻达拉斯。
2026-11-04
国行 Apple 智能与 Siri 随 iOS 27.3 开发者预览版上线，iPhone 15 Pro 及更新机型可用
苹果面向 iPhone 发布 iOS 27.3 开发者预览版，IT之家实测国行「Apple 智能与 Siri」如期上线，用户更新后可在设置中找到该功能。国行版与阿里巴巴合作接入千问，用户可在 Siri、写作工具和视觉智能中调用千问的文本与图像理解能力，登录千问账户或通过「通过 Apple 登录」即可使用，无需跳转独立应用。
2026-11-04
OpenAI 用 GPT-6 Astra 设计 Codex 设备原型
两名 OpenAI 团队成员与 GPT-6 Astra 合作，在不到一周的时间里设计出一款用于与 Codex 对话的原型设备，这只是一个副业项目。 Astra 设计了外壳、电路板、界面和软件。要将其投入制造，仍需经过数轮评审和迭代。
2026-11-04
Netflix 推出 AI Discover 标签页，按心情推荐内容
Netflix 于周二宣布推出新的 AI Discover 标签页，首个实验功能可根据用户当前心情推荐内容，用户可从 light、scare me、family movie night 等主题中选择。
2026-11-04
Apple watchOS 27.3 开发者测试版上线 Audio Intelligence 常听功能
Apple 在 watchOS 27.3 开发者测试版中推出 Audio Intelligence 功能，Siri 可接入 Apple Watch 麦克风。新增的 Siri Recap 通过“环境聆听”自动生成对话摘要，Live Rewind 可生成过去 15 秒音频的文字记录，双击 Digital Crown 即可查看。
2026-11-04
Steam 审核积压导致独立游戏错过发售日期，开发者归因于 AI 内容激增
多家独立游戏开发商反映 Steam 审核等待时间异常延长，部分作品因此错过预定发售日：Studio Daimon 的 Food Devils 于 10 月 12 日提交构建，原计划今日开启抢先体验，但仍在等待审核，加急工单也未获回应；发行商 2 Left Thumbs 的 Wheel Make It 因此推迟了近两周。
2026-11-04
Claude 支持登录时自动连接插件
一大痛点已解决。
2026-11-04
Claude 支持登录时自动连接插件
用户现在登录 Claude 时即可自动连接插件，前提是 MCP 服务器接受 Claude 作为可信签发方。 如果你正在为 Claude 构建插件，请添加相应支持，让用户更快上手，并保持连接而无需重新授权。
2026-11-04
ChatGPT Voice 接入 Finances，可语音讨论消费与储蓄
OpenAI 官方账号宣布 ChatGPT Voice 支持财务功能 Finances，用户可通过 Finances 安全连接账户后，用语音谈论消费、储蓄等财务问题。入口为 https://chatgpt.com/finances。
2026-11-04
Netflix 电视端推出“AI Discover”标签页，用 AI 推荐主题内容
Netflix 电视应用新增“AI Discover”标签页，首批实验功能按“Something Light”“Family Movie Night”“Quick Watches”等主题推荐影视内容，用户可反馈不喜欢并让应用记住。该功能由 Netflix 构建的新智能层驱动，实时响应用户反馈并持续学习，目前在美国面向在受支持电视上使用英文的会员逐步上线。
2026-11-04
Google 允许学校关闭 AI 工具，但须一并放弃 Google Search
Google 宣布其教育产品将在未来几个月内默认关闭 AI 工具，由学校管理员手动开启，涉及 Gemini、Gemini Notebook、Gemini in Classroom 和 Google Search，且只能整体开关、不能单独选择。
2026-11-04
Claude Code 新增跳过权限与后台超时设置
即使在 bypass permissions 模式下，Claude Code 在运行少数风险特别高的 rm 命令前仍会询问。这是有意为之，但如果你身处一次性容器中、且可以接受这些命令不经询问直接运行，现在可以设置 CLAUDE_CODE_EVEN_MORE_DANGEROUSLY_SKIP_PERMISSIONS=1。
2026-11-04
Claude Code 优化闲置会话压缩并在 Pro/Max 增加用量提醒
Claude Code 现在会在 prompt cache 约一小时过期前自动压缩长时间闲置的会话，之后恢复时只需重新处理摘要而非整段对话，降低用量消耗。此外在 Pro 和 Max 套餐上，恢复超长对话若会占用 5 小时限额的较大比例，会先给出提醒。
2026-11-04
StateBench：测试语言模型如何在长文档中追踪状态变化
研究者推出 StateBench 基准，用于评测语言模型在长文档中追踪实体状态变化的能力，按 R-trivial、Aperiodic、Soluble、General finite 四个难度级别构建。
2026-11-04
Grok Bot 可电话预约医生
Grok @Bot 可以帮你调研所在地区哪些医生最优秀，打电话给他们并预约就诊！
2026-11-04
Google Antigravity 用化学信息学技能加速药物发现
Google Antigravity 新增 Cheminformatics Skills，可在约一小时内完成从文献检索数千化合物、matched molecular pair 分析到提出带合成路线的新型刚性化大环分子的流程。
2026-11-04
OpenRouter 限免 HeyGen Voice Turbo
你的应用刚刚找到了自己的声音。实际上有超过 2,900 种声音 🎙️ HeyGen Voice Turbo 在 OpenRouter 上免费至 11 月 30 日。$0，无需额度，39 种语言。 https://openrouter.ai/heygen/heygen-voice-1-turbo:free
2026-11-04
Meta 推出 F3 Lightning：广告 ML 特征独立发布提速约 3.6 倍
Meta 推出构建在 F3 之上的基础设施层 F3 Lightning，将特征发布与共享执行解耦，使每个特征可独立编译、验证、部署和回滚。相比原 F3，同类特征进入生产环境的速度提升约 3.6 倍，且基础设施计算成本没有增加。F3 目前支撑广告排序模型单次请求超 20,000 个特征。
2026-11-04
Google 将在拒绝 AI 功能的学校完全关闭 Search
Google 告知《纽约时报》，对于不接受其 AI 功能的学校，将完全关闭 Search。K-12 学生账户的 Gemini、Gemini Notebook、Gemini in Classroom 和 Search 将默认全部关闭，但管理员无法只关闭 Gemini 功能而保留 Search。
2026-11-04
Pragmatic Engineer 刊发获奖文章：工程师从 PostHog 到 AI 原生创业公司 Tano，月合并 PR 提升约 11 倍
Pragmatic Engineer 刊发征文挑战获奖文章，作者 Neil Kakkar 对比自己月均合并 8-20 个 PR 的 PostHog 时期与如今在 AI 原生创业公司 Tano 月均 200+ 个 PR 的工作变化。
2026-11-04
Perplexity Computer 自动化电商业务
Perplexity Computer 能自动化电商业务的每一个环节。 在 Computer 中直接投放 @Meta 广告、通过 @klaviyo 做邮件营销，以及管理 @Shopify 店铺。 开始使用：https://pplx.ai/ecommerce
2026-11-04
IBM Research 发布 Palette：用 20B 开源模型按你的设计语言生成幻灯片
IBM Research 介绍 Palette，通过 LoRA 微调 20B 开源模型生成符合 IBM Design Language 的幻灯片，采用设计师加程序员的双角色分解，并配检查修复 harness。
2026-11-04
Google 宣布明年起默认关闭 K-12 学生的 AI 工具，学校若禁用 AI 将同时失去 Google Search
Google 于周二宣布，明年起 K-12 学生的 AI 工具将默认关闭，需学校管理员显式开启。此举涉及 Gemini、NotebookLM、Gemini in Classroom 和 Google Search，因为 AI 功能已与搜索深度整合，学校若完全限制 AI，学生将无法使用 Google Search。
2026-11-04
Google DeepMind 与 Stanford 论文：提示词中红心图形可让 VLM 转向递归解法
Google DeepMind 与 Stanford 的论文发现，提示词中加入与任务无关的简单彩色图形（如红心）会隐式改变 VLM 的行为。在二叉树编码题上，红心使 Claude Opus 4.7 和 GPT-5.4 的递归解法占比从 0% 升到 100%；Gemini 3.1 Pro 被图形影响时，71.5% 的思考痕迹称图像无关。
2026-11-04
中国 AI 出口新规解读：Kimi K3.1 Pro 主动削弱安全敏感能力与监管收紧并行
10 月月之暗面发布 Kimi K3.1 Pro 时主动删除训练数据中的网络攻击内容，使软件漏洞利用测试通过率从 90.5% 降至 81.0%，以降低开放权重后的滥用风险。
