AI每日精选¶

日期2026 年 11 月 5 日 · 周四时间窗口2026-11-03 16:00 至 2026-11-05 08:20覆盖完整

面向 builder 的高信号扫描：月之暗面按承诺放出 Kimi K3.1 Pro 完整权重（HF moonshotai/Kimi-K3.1-Pro，2.8T MoE / 104B 激活 / 1M 上下文）；腾讯混元 Hy4 正式版上线——首次原生视觉 + Computer Use，API 已上腾讯云 / OpenRouter，权重「近日」开源；Anthropic 开源 FlashProve（zk 证明「这条回复确实来自承诺权重」）；OpenAI 工程博客披露 monorepo Git 后端 Pando（中位 push 延迟约降 5× / ~80%，日送近 1PB Git 数据）。旁注：日本开发者 YASAKANI 自称单卡 RTX 5090、Qwen3.8-27B 单流解码约 1,220 tok/s。11/04 的权重空间编程 / Hume 音频决策 / Pulse·Crouton 本日不重开。

1. 开源权重日历兑现¶

Kimi K3.1 Pro：承诺日当天，权重上 Hugging Face¶

发生了什么：@Kimi_Moonshot（verified）11 月 4 日 16:00 UTC 发帖「Releasing the model weights of Kimi K3.1 Pro」，指向 https://huggingface.co/moonshotai/Kimi-K3.1-Pro 。模型卡：MoE 2.8T 总参 / 104B 激活、上下文 1,048,576、原生多模态（MoonViT-V2）、MXFP4/MXFP8；推荐引擎 vLLM / SGLang / TokenSpeed。Databricks CEO Ali Ghodsi 同日跟帖「Zero Day Launch」，官方 @databricks 称 day-0 上架。许可为 Kimi K3.1 Pro License（社区摘要：大额 API 转售 / 高 MAU 有附加条款——以 HF 许可原文为准，勿写成纯 MIT）。
为什么值得关注：昨日简报还是「承诺 11/04 前」；今日变成可下载权重——国产开源日历从口号落到仓库。本地跑成本仍极高（社区称 ~1.56TB 分片、多卡级），但评测 / 蒸馏 / harness 对照立刻可开。
原帖与互动：Kimi_Moonshot｜约 36.3 万浏览、5,928 赞、629 转发、335 引用、277 回复、748 书签；alighodsi｜约 3.3k 浏览、78 赞。
核验：verified — 官方 X + HF 模型卡存在；基准数字出自模型卡自报；许可细节以 HF License 文件为准。
判断：写「权重已放」可以；写「人人可本地畅跑」不行。别把内部榜（Kimi Code Bench 等）当成第三方独立排行。

2. 国产旗舰正式版¶

腾讯混元 Hy4：会看图、会操作电脑，权重「近日」开源¶

发生了什么：@TencentHunyuan（verified）11 月 4 日宣布 Hy4 正式版——「new with vision」「Firmly among the leading open models」；产品页 https://hy.tencent.ai/research/hy4 ；腾讯官网稿称将「在未来几天」放出权重与 system card，并与 vLLM / SGLang 社区合作。首次加入视觉理解 + Computer Use；已上腾讯云、OpenRouter、CodeBuddy、WorkBuddy、Hy AI Studio。社区二次数字（770B MoE、OSWorld 等）多为转述官方/自测，引用前回对产品页。
为什么值得关注：同一窗口「Kimi 已放权重 / Hy4 API 先发、权重待放」——开源话术与可下载事实要分开写。Computer Use + 办公/金融/游戏场景是产品向叙事。
原帖与互动：TencentHunyuan｜约 44.9 万浏览、2,652 赞、303 转发、268 引用、231 回复、518 书签；TencentAI_News｜约 3.9 万浏览、887 赞；testingcatalog｜约 9.6k 浏览、123 赞；TencentGlobal。
核验：verified — 官方账号 + 腾讯官网稿 + 产品页；「最强开源」为厂商口径；权重尚未在本稿窗口内现身 → 写「即将/近日开源」。
判断：别写成「Hy4 权重已可下」；WorkBuddy 限免与 TokenHub 折扣以产品页为准。社区「用户更爱 DeepSeek 拥堵」属 anecdotal。

3. 可证明推理¶

Anthropic FlashProve：用密码学证明「就是这套权重在答」¶

发生了什么：@AnthropicAI（verified）介绍 FlashProve——基于既有密码学技术，让开发者验证某条回复是否来自特定已承诺模型；相对先前开源方法显著更高效。研究文：https://www.anthropic.com/research/provable-inference ；代码 Apache-2.0：https://github.com/anthropics/FlashProve 。文中示例：Llama 4 Maverick（约 400B MoE、4-bit）单卡 H100 证明吞吐约 110 tok/s，每 1024 token 请求证明约 19 MB，约为同模型 vLLM 推理 GPU 时间的 70–95×。应用场景包括防劫持会话、安全评测方核对「测到的就是线上那套」。
为什么值得关注：API 路由换模 / 中间人篡改的信任缺口，第一次有可跑的开源原型；成本仍高，但叙事从「相信供应商」转向「可审计承诺」。
原帖与互动：AnthropicAI｜约 60.7 万浏览、4,998 赞、519 转发、459 引用、603 回复、2,057 书签。
核验：verified — 官方研究页 + GitHub；吞吐/证明体积为官方自报；标注为研究原型、非生产 SLA。
判断：别写成「Claude API 已默认附带证明」；隐藏权重架构不是目标；70–95× 开销意味着短期更偏合规/审计，不是日常聊天默认路径。

4. Agent 时代的源码控制¶

OpenAI Pando：为 Codex 并发推送重做 Git 后端¶

发生了什么：OpenAI 工程博客（2026-11-02）Scaling Git at OpenAI：https://openai.com/index/scaling-git-at-openai/ ——自研 Git 后端 Pando，保留 Git 协议与客户端，专为工程师 + Codex agent 高并发 push/fetch。官方：中位 push 延迟约降 5×（近 80%），日送近 1PB Git 数据；packfile 进 blob、按分支独立协调、跨客户端复用 pack；约 10 周用 Codex 助手落地，自 4 月起服务生产。X 新闻摘要与二次消化在 11/03–04 持续扩散。
为什么值得关注：agent 写代码的瓶颈开始从「模型」挪到「仓库基础设施」——与 Anthropic 自研 Scion 叙事对照：一边换后端、一边换协议。
原帖与互动：以 OpenAI 官网为准；X 二次：AINativeF 等。
核验：verified — 官方工程博客；X 帖为二次传播。
判断：Pando 是 OpenAI 内部系统，本稿未见对外开源承诺；别写成「已可替换你的 GitHub」。数字用「近 5× / ~80%」跟原文口径。

5. 推理引擎旁注¶

YASAKANI：自称 5090 单卡 1,220 tok/s（Qwen3.8-27B）¶

发生了什么：日本开发者 @yasakani_dev 晒自研推理引擎 YASAKANI，称单卡未超频 RTX 5090、Qwen3.8-27B 单流解码约 1,220–1,260 tok/s，并自称在同条件公开记录上相对 SGLang / vLLM / llama.cpp 全胜（最大约 2.5–2.86×）。英文二次：Oluwaphilemon1；原帖样本：yasakani 相关引用链。
为什么值得关注：消费级单卡「tok/s 军备」仍是本地 agent 延迟叙事的一部分；但需独立复现。
原帖与互动：作者帖（含引用链）浏览约 25 万级量级见二次；英文二次约 3.7k 浏览。
核验：author-claim — 自测录屏/自报榜；未见本稿窗口内第三方盲测。
判断：写「自称/自测」；别写成「已取代 vLLM 默认」。 speculative decoding / 批大小条件若未公开，数字不可横向硬比。

6. 中文圈轻量旁注¶

许可条款与「开源」话术；DeepSeek V5×昇腾仍是规划报道¶

发生了什么：Kimi 权重许可被社区读成「可改可商用，但大规模 API 转售 / 高 MAU 需另谈」——属 author-claim/社区解读，以 HF 许可为准。另有媒体称 DeepSeek 拟用华为昇腾 950 预训练 V5（约 2027）——双方未见本稿窗口内官方确认。miHoYo「三年最高约 150 亿美元 AI 投入」属财报/报道向，非模型发布。
为什么值得关注：开源日历热时，许可证与算力供应链往往比榜单分数更决定能不能进私有化栈。
原帖与互动：许可讨论见 vreskai 等；昇腾报道为二次新闻摘要。
核验：许可解读 author-claim；DeepSeek×昇腾 unverified 相对官方；miHoYo 为报道向。
判断：勿把规划写成已开工/已训练完成。