AI 产品发布与更新

ColaMD 宣布将图表渲染引擎从 Mermaid 换成 Pele，语法保持不变。渲染器体积从 10M 降到 5.4M，一张图画好只要 20 毫秒，入口为 https://ColaMD.com。Pele 是 Obsidian 作者 kepano 新开源的图表渲染库，兼容最新 Mermaid 语法，号称比 mermaid.js 快 100-500 倍、体积小 6 倍、无依赖，将以 MIT 协议开源，并成为下一版 Obsidian 的渲染器。

面壁智能10月16日在北京发布大监督智能体，由面壁智能与星火明智联合共创，覆盖风险、内控、合规、审计、纪检“五位一体”监督能力。该产品提供50+监督技能覆盖九大业务域，五项智能体能力贯穿预警、疑点、立项、定性、整改、销号全链条闭环，并支持7×24预警巡航与云+端算力协同、数据不出域。其底座为面壁智能 MiniCPM 系列高知识密度基座模型，是“面壁+”行业伙伴计划7月发布后的落地成果之一。

作者转发 Grok bot 开放消息，称 X 与 Grok 账号已连接的用户现在可在 X 上 @bot 使用。作者补充说明 bot 只响应用户给出的实际任务，例如「@bot 把这条推文存到我的 Notion 阅读列表」，并表示自己用它做反馈转发、调查和开 PR。

亚马逊、达美航空和摩根大通正在封禁AI智能体。 还记得史蒂夫·乔布斯最初拒绝允许第三方iPhone应用吗？后来，苹果推出了App Store。这让苹果生态取得了巨大成功。 你无法阻止技术革命。要么适应，要么被颠覆。

86 版《西游记》孙悟空饰演者六小龄童 10 月 18 日在济南受访时回应“圣黛 CP”AI 魔改现象，称相关内容播放量已达 50 亿次，认为创意有意义、很好玩，能让更多人关注名著和传统文化传承。同时他强调“忠于原著，慎于翻新”，改编不能逾越政策法规和观众心中的红线。“圣黛 CP”基于《红楼梦》“石头”意象衍生设定，2025 年起因 AI 工具降低制作门槛而集中爆发。

腾讯 SSV 宣布 WorkBuddy 教育公益版正式上线，全国教师不限地区、不限学段，每人每月可领 2000 积分并连续领取 12 个月。该版本联合北京大学、北京师范大学等高校，将教学设计、课件设计、家校沟通等教育研究拆成 100 多位教育专家（陆续上线中），另上线创意教学、剧本课堂、课件制作、动画演示、素材加工 5 个工具。

大门已开启 🚀 如果你的 X 和 Grok 账号已与你的 bot 关联，现在就可以在 X 上使用此功能。 @bot 并出发！

NVIDIA 将 Run:ai 平台完整开源，源码以 Apache 2.0 协议发布在 GitHub，平台团队可检视、fork 和自托管而无需付费订阅。

现在你可以回溯一段对话，编辑提示词，并从那里继续对话。 其原理是丢弃被编辑提示词之后的消息/工具调用，以确保模型不会混淆。 这是长期被要求的功能，很高兴团队把它发布了！

pstack v0.15.27 新增 skill /create-formal-verification-skill，目前为 beta。它是 meta-skill，根据想验证的系统特性自动生成定制验证 skill 和验证套件，如用 TLA+ 验证状态机与并发、用 Kani 排查 Rust 未定义行为。

阿里通义 MAI-UI 团队开源通用计算机使用智能体完整技术栈 OpenGCUA，包含 harness、跨设备 SDK、原生 macOS 应用、评测轨迹和参考 agent 实现，地址 https://github.com/Tongyi-MAI/OpenGCUA。

第 14 天/ 小幅体验改进。现在你可以在桌面应用的对话线程中编辑此前发送的消息。这是长期被请求的功能，推出得实在太晚了。

Kotoba 的语音 API 现已在 fal 上线。 - 实时翻译语音，输出文本和音频 - 对实时流式音频进行转写 - 使用预设音色生成语音 - 转写录音，可选词级时间戳

Clef，一个来自 Cloudflare 的 27B 多模态决策模型，现已在 Ollama 上可用，用户可在本地或 Ollama 云端运行。Clef 基于 Qwen3.8-27B 微调，采用 Apache 2.0 许可，支持文本和图像输入，可一次性对每个问题打分而非逐词生成。

Hugging Face 宣布 Transformers、Diffusers、Accelerate、PEFT 和 TRL 通过 TorchNeuron 原生支持 AWS Trainium。

Amp 现已作为智能体接入 Linear，把 issue 指派给 Amp 会在 Linear 中启动新的 Agent Session 并生成一个 orb，也可通过 @Amp 触发会话。

Mastra Studio 现在支持自带认证，团队可用 WorkOS、Okta、Auth0、Clerk 或 Google 登录，并将 Studio 与 server 的认证权限分开配置。

Together AI 推出 Together Post-Training 服务，支持用户自定义完整训练循环，通过 RL 环境奖励和 SFT 数据训练专属模型。

llm-tools-datasette 发布 0.1.1 版本，修复了 LLM 0.33 改用 httpx2 后该插件因未直接依赖 httpx 而出现的故障。作者称此前切换时忽略了这一影响，该插件是受波及的插件之一，现已修复。

Simon Willison 发布 llm-echo 0.5，这个调试插件提供一个不涉及 LLM 的“模型”，只把收到的提示词原样回显。新版本更新了模拟 token 用量统计，将工具调用、系统提示词和推理 token 纳入计算。

Robinhood CEO Vlad Tenev 在 Sources 访谈中称，AI 引发反弹部分源于所有权问题，多数人无法投资推动 AI 的公司，导致公众对技术产生负面情绪。他提醒 AI 公司高管必须重视社会许可，因为如果人们反对你的技术和公司，经营会非常困难。访谈还涉及 Robinhood Agents AI 交易功能、AI IPO、代币化股票与预测市场等话题。

Anthropic 发布 Claude Code v2.1.303，本次更新以 bug 修复和可靠性改进为主，未包含新功能说明。该版本于 10 月 18 日发布，为不可变发布版本，仅发布标题和说明可修改。

Claude 正在筹备个人理财功能，将通过 Plaid 集成让 Claude 分析用户银行数据并生成多种仪表盘。该功能开发期间名为“Claude Money”，最新更新中已改名，并新增了引导页和 Plaid 集成逻辑，近期上线的可能性较高。

pstack v0.15.27 发布新技能 /create-formal-verification-skill，目前仍处 beta。该元技能可根据想验证的特性生成新技能与形式化验证套件，例如用 TLA+ 建模状态机与并发系统，或用 Rust 的 kani 检查未定义行为。作者用它以 TLA+ 建模自家代码，已发现多个 bug。

Elon Musk 转发 @BrianRoemmele 演示的 Grok Bot，它能用 Grok 语音打电话订餐厅：自行查找餐厅号码、确认时间姓名和回电号码、复述信息待确认后再拨号。通话结束后用英文汇报结果并引用餐厅原话，可写入日历或提供 Apple Calendar 文件；Bot 接入 ClawCall 免费额度（30 次通话或 30 分钟），内置不提供信用卡信息、不主动致电等护栏，并开放共享链接 https://x.ai/bot/TIMrxLJHbEEpdr25yYg…

标签页太多。市场噪音太大。 把富途连接到 WorkBuddy，让你的投资组合进入对话。询问你的持仓、深入分析财报、探索估值假设，并在一个地方比较不同情景。 少切换。多思考。

由 Perplexity Computer 打造的赛博朋克风格 Roadster 自由漫游浏览器游戏：https://2049.pplx.app

Google 发布 LiteRT Tensor API，一个轻量 C++ 模型编写层，可在 CPU、GPU（ML Drift）、NPU 上运行同一计算图，或经 XNNPACK 无需模型文件直接在 CPU 运行。

Prime Intellect 发布 prime-rl v0.10.0 与 verifiers v0.4.0，新增 RL 算法 IPO 并设为默认损失。Qwen3-235B-A22B SFT 在 4×8 B300 上比 torchtitan 快 1.15×，MFU 从 40.7% 升至 46.6%。

英伟达通过一项上游 vLLM 优化，让 2.8 万亿参数量的 Kimi K3 在 GB300 NVL72 上达到 423 tok/s/user 的推理速度，性能提升 1.68 倍。

DeepSeek 发布公告，DeepSeek API 现已支持网页搜索与抓取，按请求次数计费，单价为每 1000 次成功请求 5 元。用户在 DeepSeek Harness、Claude Code、Codex 中通过 Server 端工具调用访问的 Search/Fetch 接口目前未计费，将于北京时间 2026 年 11 月 1 日 00:00 起按次收费。

Google Cloud AI Research 开源 Harness²（v0.1.0，Apache-2.0），一个递归式 Agent harnessing 框架，在模型权重冻结的情况下迭代优化提示词、工具、记忆、技能等 8 个 harness 组件。

Voxel51 发布 3.0 版本，将搜索、筛选、标注与评估整合为一个端到端多模态数据平台，面向机器人、车辆和工厂传感器数据的训练团队。新增 Voxel51 Agent（45+ MCP 工具、80+ 操作符、18 个开源技能）、四层数据溯源和 Agentic Labeling，支持 MCAP、3D 点云、DICOM、音频等模态，检索基于 LanceDB。

Azeem Azhar 在 Exponential View 中借 Kevin 的 Swarm Intelligence 文章讨论 AI 未来形态，认为由大量专用智能体组成的"AI 超有机体"比单一全能 AI 更可能，并重提其两年前的 monocognitism 与 syncognitism 之辨。

WorkBuddy 宣布： DeepSeek-V4.1-Flash-1017 在 10.31 前限时免费 不过，是「国际版」！ 国内版还没有限免活动。

为那些以为爱因斯坦在跑自己智能体、结果回来发现是憨豆先生的人，默哀一杯。

Elon Musk 转发 @melvindvivas 的帖子，称 Grok Bot 获得大规模升级。更新包括计算机任务速度提升 3 倍、回复时间缩短一半以上、语音通话更快且记忆更好、可访问 X Chat 消息、在 X 上标记 @bot 即可完成事务、更智能的邮件自动化，并新增 Robinhood、Coinbase、Trello、PostHog、beehiiv 等连接器，同时改进了 UI 和通知。

联想宣布将于 1024 程序员日 14:30 在长沙智谷举行 AI 主机 P7 超能创享会，同日开启预约。该机基于此芯科技 P1 SoC 与后摩智能 M50 dNPU 方案，具备 190TOPS 本地 AI 算力，支持 122B LLM 本地部署、128K 上下文窗口和 50TPS 本地推理，机身仅 300g、最大功耗 30W、噪音低于 35dB(A)。

有分析称 Anthropic 按趋势将在 2027 年年中前后停止招聘技术岗初级工程师，作者认为这是博流量的表达，但 AI 确实在压缩初级工程师的生存空间。Anthropic 报告称内部 AI Agent 的工时已达人类工时的 6 倍，公司越来越看重候选人的自主推进、判断力、AI 使用能力和对结果负责的 Ownership。

政府和公司即将做出一个重大选择，因为它们正日益被大量智能体AI查询所淹没，这些查询绕过了原本限制访问的摩擦（见图表——这已经开始了！） 两个选项：你最终是让服务变得更差还是更好？