AI 日报 · 2026 年 11 月 15 日 · 星期日
热点时间线
Anthropic CEO Dario Amodei在拟议IPO前警告算力投资回报存在巨大不确定性
Anthropic CEO Dario Amodei在拟议11月19日IPO前夕表示，未来一年存在巨大不确定性，核心问题是提前一至两年采购的算力能否获得收入回报。公司已承诺近$901 billion，其中约$71 billion将在2027年9月前到期；计划通过IPO和私募最多筹资$64.4 billion和$26 billion，并利用现货市场、现金储备与毛利率缓冲算力采购风险。
产品发布/更新
llama.cpp v1.0.0 发布，清理公开 API 并扩展多模态与服务能力
llama.cpp v1.0.0 发布，移除 35 个弃用函数并将 NextN/推测 API 提升至 llama.h，同时更新 ggml 至 v1.0.0。新版本加入 OCP FP8 KV cache、可配置 CPU 占比的 MoE 专家缓存、外部 PLE 分片加载，以及 Kimi-K3.1-Pro、 Ripple、xing4_0 等架构和视觉模型支持。
GitHub 新星仓库caos-agent-harness 提供可审计的 AI 智能体任务板与策略层
caos-agent-harness 提供用于运行 AI 智能体的任务板和策略层，每个任务按智能体进入独立队列，并在关闭前获得 ok、redo 或 verify 复核结论。
GitHub 新星仓库Bot Team 开源本地多 Bot 协作工作台
Bot Team 是一款本地多 Bot 工作台，每个 Bot 可配置独立模型后端、记忆、工作区，并支持私聊、群聊和任务转交。项目以 MIT License 开源，提供 macOS 与 Windows 安装包，同时支持 OpenCode、Codex、Claude Code、Antigravity、WorkBuddy、Qoder 和自定义 API 后端，并附有架构、API、权限与签名公证说明。
DeepSeek 开放联网搜索、语音与文件处理等应用 API
DeepSeek 正式开放联网搜索、深度思考、文件上传、链接阅读及语音识别、语音合成等应用 API，支持独立调用和分别计费。开发者可通过 Search、Fetch、OCR、ASR、TTS 等接口自由组合能力，V4.1-Flash 已在 Messages、Responses 和 Chat Completions 接口支持相关对话扩展功能。
Anthropic 更新 Claude Code Projects，支持并行 AI 工作线程自动汇报
Anthropic 为 Claude Code Projects 增加主动协调汇报、只读线程分享、提醒、分支命令和改进的产物导航。每个线程作为独立的 Claude Code 云端会话运行，拥有各自的仓库副本和 Git 分支；并行代码改动在合并分支时会产生常规 Git 合并冲突。
AGI HuntRSSHub 作者 DIYgod 开源 Pinky，让 MCP agent 操控真实手机
RSSHub 作者 DIYgod 发布免费开源应用 Pinky，使 Claude Code、Claude Desktop、Codex、Cursor 等 MCP agent 可直接操控真实的 iPhone 或 Android 设备。Pinky 运行于 macOS，银行类应用会对 agent 隐藏，Android 13 则在隐藏的第二屏上运行以供 agent 操作。
行业动态
英伟达黄仁勋辞职，员工请愿要求其回归并重启CEO继任者搜寻
英伟达在黄仁勋于当地时间11月12日辞去总裁、CEO和董事职务后，员工等发起请愿要求其回归并恢复CEO职位。独立请愿已有6万多人签署，提出独立调查、公开调查框架及解释董事会决策依据三项诉求；董事会据报接触Arm CEO Rene Haas，但英伟达称具体候选人猜测仍“为时过早”。
AGI HuntCursor 复盘 Fireworks 密钥泄露与 Claude Code 被篡改事件
Cursor 发布安全事件完整调查报告，称合作方 Fireworks 的访问密钥泄露后，攻击者复制其共享基础设施并篡改 Claude Code，导致用户凭证外泄。后续调查确认，被盗的 LLM 对话记录包含静态凭证，成为凭证泄露根源；Vercel CTO Malte Ubl 借此呼吁行业停止长期使用静态密钥。
Nvidia 两大股东敦促董事会评估 Jensen Huang 潜在回归
Altimeter Capital 和 Atreides Management 致信 Nvidia 董事会，要求以审慎方式评估未来领导层安排，其中包括创始人 Jensen Huang 的潜在回归。信件未要求立即恢复 Huang 职务，并支持由临时 CEO Colette Kress 暂时领导公司。
论文研究
Hacker NewsLexifina 用 Lean 形式化美国税法并查找漏洞
Lexifina 将美国税法逐条转为 Lean 形式化模型，用于检查交叉引用、验证 2025 年联邦所得税计算并搜索可能的税务漏洞。团队在 2026 年 11 月 3 日版本的 Title 26 中确认 138 处真实错误，并通过对 5,000 个家庭的四套计算结果比较，发现 3 个此前未见实务资料的税务问题。