AI 编程实时动态与要闻

GitHub 11 月 3 日在官方 changelog 宣布，GitHub Copilot 已可在 JetBrains Air 中使用。集成基于 Agent Client Protocol（ACP），开发者可以在 Air 的代理选择器里选 Copilot，委派编码任务、并行跟踪多个会话并在代码旁审查改动。任务既可在 JetBrains IDE 本地跑，也可通过 Air Teams 在云端隔离环境跑，用的是 Copilot 订阅额度而不是 JetBrains AI 点数。

查看大图

OpenAI 11 月 4 日发布研究文章《A thousand fewer paths to root》：其自主漏洞发现、验证、利用和补丁生成流水线在 10 月中旬用一款即将推出的网络安全模型扫描 Linux 内核，复现 1,724 个漏洞，做出 948 个不同的本地提权（LPE）漏洞利用和补丁，总 API 成本 1,213,430 美元，约合每个 1,279 美元；已向维护者发出数百份报告与补丁。

查看大图

Ricursive Intelligence 于 11 月 4 日（UTC 18:24）发布首个模型 Ripple-65B Preview，并在 Hugging Face 以 Apache 2.0 开源指令版（BF16、NVFP4）和基座版。官方模型卡显示：65B 稠密 Transformer、12T token 预训练、最长 1M 上下文，自报 TerminalBench 2.1 80.5、SWE-bench Pro v2.0 Hard 79.1、DeepSWE 1.1 44.3，在编码 Agent 任务上超过参数大得多的美国开源模型；可在 DGX Spark 等本地硬件运行。CEO Anna Goldie 称成本约为此前同类 SOTA 的十分之一。

查看大图

webAI CEO David Stout 于 11 月 4 日（UTC 17:37）在 X 上宣布开源 TwIL-8B。官方 Hugging Face 模型卡显示：它基于 IBM Granite 4.2 8B，经全参数 SFT、GRPO/DAPO 强化学习和长度感知 RL 训练，分 balanced 与 verbose 两个版本；自报 LiveCodeBench 81.6（verbose）、MATH-500 98.2、IFBench 74.4，约为前沿模型 93%/92% 的水平，但 GPQA Diamond 仅 70.2。提供 4.98 GiB 的 Q4_K_M GGUF，可在本地运行；许可为 webAI 非商用协议。

查看大图

Conductor 的 Charlie Holtz 于 11 月 4 日（UTC 18:18）在 X 上宣布 Conductor 加入 Meta，将与 Nat Friedman、Alexandr Wang 在 Meta Superintelligence Labs（MSL）打造“下一代界面”。官方公告给出时间表：11 月 4 日起停止新用户注册、Pro 功能对现有用户免费；11 月 13 日 Cloud 只读并给活跃订阅者退款；11 月 20 日 Cloud 关停并开始删除云端数据；本地版持续更新新模型和关键修复到 2027 年初。交易金额未披露。

查看大图

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

查看大图

Google DeepMind 于 10 月 31 日宣布，与英国政府、Google Cloud 和 Faculty 共同开发的规划审查工具 PlanAssist（基于 Gemini）将新增开放给 12 个英格兰地方规划机构，参与总数达到 15 个，进入为期 12 个月的 Beta 阶段并处理真实申请。官方称，在 Barnet、Camden、Dorset 三地的早期试点中，规划官员花在住宅类申请评估上的平均时间下降 58%，超过 70% 的 AI 草拟报告无需修改即获通过；最终决定仍由规划官员作出。

查看大图

开源编码智能体 OpenCode 背后的 Anomaly 发布语音输入工具 Hex 3.0 稳定版：按住快捷键说话、松开即粘贴到光标处，语音识别在本机完成，内存占用从约 900MB 降到约 160MB，并新增词汇表、hex 命令行和可选的 OpenCode 改写。

查看大图

Stripe 联合创始人 John Collison 的 Cheeky Pint 播客 10 月 29 日上线 Sam Altman 专访。谈到内存短缺时，Altman 说很多人以为开源模型加本地推理就能绕开算力紧张，但从全球配置角度看，让每个人电脑里放着一堆稀缺 DRAM、只有约 5% 的时间在用「相当糟糕」，供给紧张时应追求云端的最大利用率。pubity 转述这段话的帖子获得 2.6 万多点赞、800 多万次浏览，大量用户反驳称 PC 内存并非只为 AI 服务，本地模型还关乎隐私和离线可用。以下按观点讨论整理，不代表已证实结论。

查看大图

Epoch AI 10 月 29 日发布报告：在刻意简化、模拟低水平攻击者的设置下，Z.ai 8 月发布的开源权重模型 GLM 5.3 读取已公开但尚未推送给用户的安全修复，自主为 9 月 17 日至 10 月 26 日的 6 个 Firefox 版本写出“打开网页即可读取本地文件”的攻击链，每个版本边际成本约 1000 美元，最快 12 小时完成。Mozilla 已在 10 月 27 日的 Firefox 159.0 中修复其中一个此前未公开的漏洞。

查看大图

LM Studio 于 10 月 29 日 15:32（UTC）在 X 上宣布，用户现在可以在 LM Studio 里下载新的 oMLX 引擎，直接用于已下载的 MLX 模型；官方更新日志把它列为 Bionic 1.1.10 的新功能，同版本还加入 MLX 模型投机解码和应用内终端。oMLX 是韩国开发者 jundot 维护的 Apple Silicon 开源推理服务器（Apache 2.0，GitHub 约 2.3 万星），主打连续批处理和内存加 SSD 的两级 KV 缓存。官方未公布 LM Studio 内的速度对比。

查看大图

月之暗面 Kimi 官方账号 10 月 30 日 03:14（UTC）发布 3D Make，称 Kimi 可连接 Blender 和 CAD 等工具来建模、组装场景和开发游戏，已在 kimi.ai 和 Kimi Work 上线。官方同步发布的 3D 教程说明，K3.1 Pro 经过专门训练，通过 Python 脚本操作 3D 软件，即使没有 MCP 支持的专业软件也能纳入工作流；人物、动物等网格模型则自动调用 Tripo 等扩散模型生成。需要本地软件的插件仅在 Kimi Work 中可用。

查看大图

10 月 29 日，阿里云在阿姆斯特丹举办首届国际云栖大会（Apsara Conference），宣布开通荷兰首个公共云区域（两座数据中心），这是其在欧洲的第四个区域。阿里云同时计划把 ACS Agent Sandbox、Agent Security Center、AI Security Guardrails 2.0、Agentic SOC 和 STAROps 等智能体服务引入该区域，并发布新一代 Apsara Stack 混合云。合作方面，JetBrains 正与阿里云探索用 Qwen 模型驱动其 AI 编码助手 Junie，覆盖云端和本地两种场景。

查看大图