本次抓取窗口近 30 小时，命中 235 篇（各源：机器之心 8、36氪 185、量子位 4、新智元 8、智东西 7、爱范儿 7、少数派 4、InfoQ 12；极客公园超时）。与当日最后一期早报已做增量比对。

🔥 必读

1. Gemini 4 Carbon 全球全量开放：4 周生成 650 万行 Lean 证明，为 Signal 做完形式化安全验证

Google DeepMind 把 Gemini 4 Carbon 从限量开放转为全球全量开放（此前 10 月 28 日仅通过 Fairwind 计划给一批安全人员）。消费者经 Google AI Ultra 在 Gemini App 与搜索 AI Mode 使用；开发者与企业经 Google AI Studio、Android Studio 的 API 及 Gemini for Business；科研人员可申请 6 个月免费资格。

Carbon 的定位是不追求快速给答案，而是愿意消耗更多时间与算力把复杂任务做完。核心机制是 Extended Verification Loops：投入更多 Thinking Tokens 探索多条路径，执行中反复检查修正。在 CursorBench 4.0、Perplexity WANDR、Zapier AutomationBench 三项独立工作流基准上均列第一，单项任务成本比最好的下一款外部模型低两倍以上。

同日的 AlphaProof Code 研究更具说服力：团队把 Signal 的安全目标转成 Lean 规格（约 2.6 万行经专家审核），并建立 AArch64 指令集形式化语义，把验证范围从源码推进到编译后机器码。Carbon 驱动的多个 Agent 在四周内生成了约 650 万行经机器检查的证明代码，仅约 1% 需额外人工关注。研究还把两个历史真实漏洞重新植入隔离版本，模型均产出通过检查的反例证明——说明它也能识别错误实现。

机器之心：Gemini 4 Carbon 全球全量开放 ｜ 智东西：谷歌 Gemini 新旗舰全面上线 ｜ 爱范儿：Gemini 4 Carbon 正式上线

2. aiXcoder 开源 aiXcompact-4B：上下文压缩专用小模型，推理成本降 78%、API 成本降 97%

孵化自北京大学软件工程研究所的 aiXcoder 开源上下文压缩专用模型 aiXcompact-4B，参数量 4B，支持单张 A100-40GB 私有化部署。

背景有具体量级：一项覆盖 8 个前沿模型的研究显示，SWE-bench Verified 中 Agent 编程任务平均消耗约 417 万 Token，是单轮代码推理的 3500 倍，输入 Token 占绝大部分。aiXcoder 的做法不是简单摘要，而是结构化判别三类处理：完整保留关键原始消息（需求/约束/决策）、精简工具返回（保留调用、替换冗长输出）、删除失效记录并校验关键信息已进摘要；最后生成结构化任务摘要，保持工具调用与返回配对。训练走教师模型蒸馏 + 4B 学生 LoRA 微调，数据全部来自真实研发轨迹。

效果：接入 OpenCode 在 Terminal-Bench 上准确率不降；私有化部署单次 GPU 推理成本直降 78%；API 单次压缩请求 0.019 元，相对 DeepSeek-V4-Pro、GLM-5.3、Qwen3.8-Max 分别降低 97.30%、97.08%、97.98%；上下文压缩至原长度的 25.89%。

机器之心：aiXcoder 开源 aiXcompact-4B ｜ 智东西：推理成本降 78%

3. Anthropic 端出 AI 办公全家桶：Claude Sheets / Whiteboards / Data 上线，微软当日跌 2.2%

Anthropic 发布三款办公工具：Claude Sheets 可用一句提示词生成带标签页、公式、格式与下拉菜单的表格，支持单元格内编辑与改动概述，需要完整 Excel 能力时可导出 xlsx/CSV；Claude Whiteboards 面向会议共创，把头脑风暴转成带时间线、责任人、日期的看板，复盘时按主题分组笔记并为每人起草行动项，结束后转文档或 PPT；Claude Data 正式上线，核心是认证指标定义（图表带”已认证”标识）、基于指标撰写解读与生成带解说视频、以及让无连接器权限的同事也能看实时看板但只能看已核准查询。

同时升级交互式连接器：合作方可把自家应用直接嵌入 Claude，开发者无需切换标签页即可在 Adobe、Atlassian 等产品内工作。市场反应直接——当日美股收盘微软跌 2.20%，市值 3.96 万亿美元。

路线分野已经清楚：OpenAI 把 ChatGPT Work 当 Agent 去连接用户已有的 Excel、文档与业务系统；Anthropic 选择自建原生工作台，把思考、推演、协作、数据查询与业务系统串成一条链。

智东西：Claude 奇袭 Office ｜ 36氪：Anthropic 进军 AI 办公软件

📌 值得看

4. Anthropic IPO 定价区间与上市日敲定：最高募资 643.5 亿美元，估值上限 1.405 万亿

11 月 10 日晚启动路演：发行 8.25 亿股、价格区间 70–78 美元，基础发行规模 577.5–643.5 亿美元，按上限计完全稀释估值约 1.405 万亿美元；11 月 18 日定价、11 月 19 日纳斯达克交易，代码 ANT。另有 260 亿美元私募配售给七家科技公司（谷歌、英伟达各 100 亿，AMD 25 亿，博通/美光/微软各 10 亿，台积电 5 亿），两笔合计最高约 904 亿美元。截至 10 月 31 日年化收入运行率 810 亿美元，高盛预测 2030 年营收超 6000 亿。七位创始人合计套现约 18.45 亿美元，仍通过 F 类股控制约 51.1% 投票权。风险点：未来算力采购与租赁承诺累计约 8954 亿美元。

智东西：史上最大 IPO 启动路演 ｜ 36氪：Anthropic 发布 IPO 路演视频

5. 上智院开源 REMORY：1.9B 记忆模块让小模型连续工作数日，工具报错近减半

上海科学智能研究院联合上海创智学院、复旦大学，核心开发仅两人，用 1.9B 参数与两张 H800 完成自监督训练。思路是越过 Harness 里 /compact 的”生成摘要”：原始上下文与 summary 一起经交叉注意力进入记忆模块，产出 residual tokens（连续向量软记忆）拼在概要之后，专门拟合压缩造成的记忆残差。效果：Qwen3.8-27B 在 Terminal-Bench 2.1 上工具报错 933→568 次、重复输出 459→377 次、单任务生成开销 4.29→2.86 美元；BrowseComp 工具报错减少 49.7%。换 GLM-5.3-Flash 同样有效，两项得分 84.3→87.6、84.9→89.0。

机器之心：上智院开源 REMORY ｜ 论文 arXiv 2610.11287

6. GEAR：把 RSI 做成 Scikit-learn 式的模块化框架，DSH harness 进化后代码任务 52.8%→62.9%

Imperial College London、Duke 等机构开源 GEAR，把父版本选择、修改规划、任务采样、评分与候选排序拆成可替换模块，候选的代码版本、运行条件与评测证据由共用设施记录。论文以 harness 进化为验证对象（提示词/工具/技能/工作流/上下文管理可改，模型权重不动）：固定 GPT-5.6 Luna medium 档，进化后的 DeepSeek Harness 让营销任务通过率 27.0%→40.0%、客服 17.0%→25.0%、代码 52.8%→62.9%，且在不同推理档位与模型上同样有效。

机器之心：GEAR 模块化 RSI 框架 ｜ 项目主页 ｜ 代码

7. 腾讯元宝搜索上线：千亿级索引 + 157 个权威信源，可直接搜公众号

腾讯推出独立搜索产品”元宝搜索”（独立网站 + QQ 浏览器入口），主打权威信源优先与 AI 融合：AI 总结、连续追问、原始信息溯源，接入微信公众号与视频号，设学术科普、组织机构、主流媒体等频道，汽车/影视/健康提供结构化卡片。底层为千亿级索引、13 个垂直行业 157 个权威信源、向量与倒排融合检索、大模型排序与低质识别，并引入 RSI 自进化（不满意结果→自动标注→模型增训）。产品负责人明确不朝 AI 助手方向演进，专注搜索本身。实测广告存在感很低，不足是部分公众号链接打不开、内容库更新偏慢。

智东西：腾讯版搜索引擎来了

📄 其他

  • 智元发布终身具身智能框架 LIFE：结合持续感知、长期记忆与能力复用；论文、项目主页、RoboBeats 系列（0.8B/2B/4B）权重与 SSS-Bench 已开放。36氪
  • 文心 5.5 Flash Preview：总参 2800 亿、每 Token 激活 140 亿，支持最长 100 万 Token 上下文。36氪
  • 北京印发具身智能机器人行动方案（2026—2028）：新增超 5 万 PFlops 专用算力集群，2028 年培育不少于 5 家国际一流整机企业。36氪
  • OpenAI 第三季度营收 100 亿美元：环比增近 50%，新轮融资估值有望达 1.25 万亿美元。36氪
  • 微软 10 月安全更新修复 1400 余个漏洞，其中一个已遭在野利用。InfoQ

本期为 2026-11-11 起「单期模式」首期（每日仅 19:00 一期）。已推内容不再重复：Claude Fable 5.2 / Mythos 5.2、MiniMax H3-Image、英伟达 GR00T 2、平头哥 IPO 见当日早报。