AI 编程实时动态与要闻

LMSYS 发布技术长文，介绍为 Meta 开源模型 Muse Spark Open 从零手写的 megakernel（CUDA C++ 与 PTX，约 8000 行）：每个解码层只启动一次内核，把计算、显存加载和跨卡通信重叠起来。在 8 张 GB300 上，单请求解码速度从 SGLang 基线的 517 tok/s 提到 1,109 tok/s，约 2.1 倍；每个解码步从 12.9 毫秒降到 5.9 毫秒。代码以 SGLang 插件形式开源在 facebookresearch/sgl-muse-mega（MIT）。目前只支持 batch 1，属于实验功能，换来的是低延迟，不是更便宜的 token。

查看大图

Lightning Labs 11 月 12 日发布 pi402：一个给 Pi 编码 Agent 用的扩展，内置 Wavelength 闪电钱包，Agent 调用付费推理接口时自动按 L402 或 MPP 协议付款，付款凭证本身就是 API Key，不用注册账号，也不用信用卡。卖方在现有推理 API 前面挂上 Aperture v0.6.0，再用 meterd 或 lightmeter 按 token 计价即可开卖。整套代码开源（MIT）。官方举例：每个输入 token 1 毫聪、输出 2 毫聪，按约 8.05 万美元的比特币价格，约合每百万 token 0.80/1.61 美元。

查看大图

11 月 12 日 SGLang Summit 期间，SGLang 团队与 AWS Annapurna Labs 宣布 SGLang-Neuron v0.1.0 开源并进入公开预览。它是 SGLang 的树外插件，设置 SGLANG_PLATFORM=neuron 即可在 Trainium 上用同样的服务器和 API 推理、生成 RL rollout，底层走 TorchNeuron 原生 PyTorch。AWS 同步上架 Deep Learning Container 镜像。大模型目前跑在 Trn3，扩散模型跑在 trn2.48xlarge。

查看大图

新加坡时间 11 月 13 日 02:41，Vercel 官方账号发帖推出 UI SDK。它不是又一套组件库，而是把界面交互拆成可复用的「行为」：弹层定位与关闭、单选多选、输入跳转、焦点管理、拖拽排序、虚拟列表等，官方称已做了 50 多个。开发者不用自己学这些 API，而是给编程智能体装上 UI SDK 技能，由智能体按需求挑选行为、拼成新组件，并输出到 React、Vue、Svelte、Solid 或 Web Components。代码在 GitHub vercel-labs/ui，Apache 2.0 许可，npm 包 @ui-sdk/core 当前为 0.1.0-beta.1，API 仍可能变动。

查看大图

亚马逊 11 月 11 日（北京时间 12 日凌晨）正式发布 AWS Emulator：一个在本机运行的 AWS API 模拟器，AWS CLI、各语言 SDK 和编码 Agent 只需改几个环境变量，就能把请求打到 127.0.0.1:9297，而不是真实云端，无需 AWS 账号、也不另收费。它用 Rust 编写，基于 AWS SDK 使用的同一套 API 模型生成，官方称覆盖 200 多个服务的 400 多个 API 模型。最特别的是，按高级首席工程师 Matthew Goldberg 的说法，全部代码由成千上万个自主 Agent 编写、测试和修复，团队没有手写或人工审查过一行。源码和保真度测试集都以 CC0 协议放在 GitHub 上。

查看大图

阿里 Qwen 团队 11 月 11 日在 GitHub 发布 Qwen Code v1.0.0-preview。官方说明，这一版把自家 AI IDE Qoder 里打磨的 Agent Harness（把模型、工具和执行过程串起来的那层运行框架）与 Qwen Code 合并，用来理解、实现、调试和测试代码。它支持 Qwen 账号与 Qoder 账号登录，也能接多家模型服务商和自定义兼容接口；首次为 macOS、Linux、Windows 提供原生安装包，不用再单独装 Node.js；支持会话续接和非交互执行，方便脚本与自动化。代码以 Apache 2.0 开源，但预览期暂不接受社区 PR，官方预计 2026 年 12 月之后开放。

查看大图

Google DeepMind 于 11 月 10 日发布 AlphaProof Code，这是一个多 LLM 智能体形式化验证框架：人类专家与模型一起把安全目标写成形式化规约，再由 Gemini 4 Carbon 驱动的智能体自动完成证明。团队用它证明了 Signal 协议核心实现的关键安全性质（如前向保密、设备被临时攻破后的恢复安全），一直验证到设备上实际运行的 AArch64 机器码。官方称这是首次对大规模部署的协议实现做到这种深度的形式化验证（无论是否借助 AI）：4 周内生成超过 600 万行由 Lean 机器检查的证明，仅约 1% 需要人工复核；规约与证明已在 GitHub 开源。Signal CTO Ehren Kret 公开背书。

查看大图

工作流自动化公司 n8n 旗下新团队 n8n Labs 于 11 月 10 日发布 Nod 研究预览版。它是独立于 n8n 的桌面应用，在本机沙盒虚拟机里带着自己的浏览器干活，可接入 Gmail、日历、Drive、Slack、Notion，也能操作没有接口的网站，支持应用内、Telegram 和 WhatsApp 对话。Nod 以 Apache 2.0 开源，使用者自带 ChatGPT Plus/Pro 订阅、API Key 或本地模型；发送、付款、发帖、删除等动作前会由独立的模型检查是否获得授权，官方也提醒这一检查本身可能出错。

查看大图

开源 LLM 可观测平台 Langfuse（今年 1 月并入 ClickHouse）11 月 9 日宣布 AI Gateway 公测。应用和编码 Agent 把 OpenAI 或 Anthropic 请求发给 Langfuse，由网关用组织保存的厂商密钥转发，并把每次调用记为一条 trace。核心代码采用 MIT 许可，可单个 22MB Docker 镜像自托管；官方称开启追踪时中位延迟低于 3 毫秒。公测期只支持 OpenAI 和 Anthropic，Bedrock、Vertex 等随后跟进。

查看大图

11 月 9 日，Google Cloud 官方账号和 Google AI 与基础设施 SVP Amin Vahdat 宣布第八代 TPU 新增两套系统。TPU 8i Max 把两颗 TPU 8i 芯片封装在一起，官方称算力、SRAM 和 HBM 带宽都是 TPU 8i 的 2 倍，面向超长上下文和最高机架算力密度。TPU 8tx 与 TPU 8t 同一颗芯片，搭配第 5 代 AMD EPYC 主机，在硬件层保护运行中的数据和模型权重，官方称延迟比 TPU 8t 低最多 2 倍、性能损失接近零。加上 4 月发布的 8t、8i，这是谷歌第一次在一年内推出 4 套 TPU 系统。软件方面，谷歌开源 TPU Sync（官方称 KV 传输延迟和首 token 时间降低 90% 以上），推出 Agent Compute Engine 和预览版 TPU Agent 套件（可接入 Claude Code、Cursor、Antigravity），Cloud Pathways 和 GKE 动态切片正式 GA。官方未公布上市时间和价格。

查看大图

2026-11-05，Google Cloud 宣布把 Agent Substrate、gVisor、OpenRL 捐赠给 CNCF（已入选 Sandbox），并宣布 Agent Substrate 达到 1.0，以 Agent Substrate on GKE 正式 GA。厂商口径：空闲 Agent 快照后可在任意 Worker 上 <500ms 恢复，约 10× 容器密度。

查看大图

Axiom 于 11 月 4 日（X 官方账号 UTC 17:13 发帖，帖子浏览超 200 万）发布整部 Stacks Project 的 Lean 形式化。这部约 7500 页的代数几何开源参考书由 Johan de Jong 于 2005 年发起，形式化后约 1600 万行代码，官方称是迄今最大的一体化、可复用形式化数学库。工作由分层协调的 AI 智能体集群完成，过程中发现了原文数十处需要局部修正的命题，并给出反例。成果开源，可在 stacks.axiommath.ai 对照原文浏览。

查看大图

OpenAI 于 11 月 4 日（UTC 15:15 官方 Newsroom 发帖）宣布将收购 Pierre Computer Company。Pierre 的 Trees（文件树浏览）和 Diffs（差异查看）开源库已在 Codex 应用里用于浏览文件和评审改动；收购完成后，OpenAI 计划把 Pierre 基于 Git 的代码托管服务 Code Storage 的功能并入 Codex。Pierre 的开源项目保持开源，Code Storage 现有客户可继续使用。交易金额未披露，仍需监管批准。

查看大图

Y Combinator 的研究项目 YC Labs 与多智能体环境公司 Olam Labs 10 月 29 日发布《Agents in Games》实验报告：50 个 GPT-6.1 Sol 智能体在 Minecraft 生存模式里「建设繁荣文明」3 小时，最后挤在避难所里配给口粮，发了约 5,900 条消息，搞出配给账本、许可证和各种岗位；9 局 Bed Wars 中 10 个 GPT-6.1 Sol 对 10 个 Claude Opus 5.5，GPT 以 6–3 获胜；Mindustry 50 对 50 共 7 局约 9.5 小时，GPT 以 6–1 获胜。报告还发现领导者几乎总是名册上排第一的智能体，GPT 卡住时会自己上网读游戏源码。Minecraft 智能体框架已开源。这是单一机构的实验观察，不是标准化跑分。

查看大图