主题:今天两条主线都在给 Agent「上约束」,而不是给它加能力。 一条是结构性的:IBM 开源 LLMON 预览模型,用一套保留特殊 token 的标记语言把「指令」和「资料」在上下文里彻底分开,在 OPI 基准上比最好的前沿模型多挡住 47% 的注入攻击。另一条是纪律性的:Anthropic 的玻璃翼计划被 VulnCheck 算出 3.8 万条候选漏洞只修了 217 条,「挖」的产能早就过剩,「验证与修复」成了新瓶颈——同一天,OpenAI 的 codex-security 把「找、验、修」打包成一个 CLI 冲上 GitHub 榜首。而用 AI 生成的应用也开始还债:3.5 万个 Grok 应用里 94.7% 无需登录就能打开。开源侧今天最实在的两件事是苹果内部那个叫 Harbor 的 Mac 应用,和 MiniMax 放出的 4K 生图模型。
🔥 1. IBM 开源 LLMON 预览模型:用标记语言把指令和资料分开,注入攻击成功率接近零 — 1000 pts
3B 与 8B 两个实验模型,从 Granite 4.1 base 重训,不是叠加在 instruct 上。
JSON 本来是给解析器看的,不是给因果语言模型看的:引号、括号对 tokenizer 没有语义,嵌套深度只能靠数括号,而 transformer 恰恰不擅长这个。IBM 的办法叫 LLMON(读作 lemon),一套类 XML 的标记语言,六种定界符以保留特殊 token 装进词表,让结构和内容分属词汇表的不同部分;每条指令带唯一 ID,绑定到它作用的那个数据块,再由一个 exec 块声明「用这条指令、对这些数据、满足这些约束、结果写进这里」。今天放出 granite-4.1-3b-llmon-preview 与 8B 版,从 base 而非 instruct 重训,经过五段 GRPO 加一段 DPO(一千条针对注入的 on-policy 偏好对)。效果是在 OPI 上比最好的前沿模型多挡住 47% 的攻击,通用能力与 Granite 4.1 Instruct 持平。官方写明这是实验预览,不可用于生产。
→ https://hf-mirror.com/blog/ibm-granite/llmon-an-llm-native-markup-language-now-in-granite
→ https://hf-mirror.com/ibm-granite/granite-4.1-8b-llmon-preview
→ https://github.com/generative-computing/llmon
🔥 2. 玻璃翼计划被质疑:3.8 万条候选漏洞,只修了 217 条 — 970 pts
「只管挖不管埋」——开源维护者快被淹死了。
VulnCheck 昨日发布追踪报告:Anthropic 的玻璃翼计划(Project Glasswing)推出七个月,Claude 累计挖出 37,966 条候选漏洞,而公开台账里标记为已修复的只有 217 条;另有撤回 419 条、重复 1,654 条。近两个月候选暴增近 1.2 万条,已修复却只多 15 条。Anthropic 自己的口径不同:截至 11 月 2 日,6,376 条经外部安全专家审核、6,009 条有效、5,087 条已上报维护者、629 条拿到上游补丁;442 个归因于 Anthropic 的 CVE 只占今年全球公开 CVE 的 0.5%。最扎心的是 curl:维护者 Daniel Stenberg 又收到 45 份报告,已公开的 34 份里 19 份不构成漏洞。Anthropic 已在 10 月 8 日推出 OSS Scanner,让维护者自主报名、报告直达,绕过人工审核这个瓶颈。
→ https://www.qbitai.com/2026/11/509291.html
🔥 3. 3.5 万个 Grok 应用无需登录就能打开,SpaceX 和特斯拉的机密也在里面 — 940 pts
随机网址不是访问控制——被动 DNS 把「难猜的链接」变成了可搜索的清单。
安全公司 Claroc 测了 43,551 个 Grok Build 应用地址,37,571 个仍在线,其中 94.7% 无需登录即可打开;经模型筛查加人工抽样,估计 650–800 个含私密数据,涉及 SpaceXSI、X 与另外 30 家企业(6 家《财富》500 强)。泄露样本包括一份 ICU 患者简报(化验结果、影像、呼吸机状态)、一个把 18 个账户明文密码写进脚本的工时应用、SpaceXSI 内部销售工具,以及特斯拉服务中心评分表(22 名技术人员的姓名、效率与奖金)。发现路径很朴素:随机子域名难猜但没有权限保护,DNS 查询记录进了可搜索的被动 DNS 数据库。对照测试里 ChatGPT 应用的分享面板默认就是「仅限我」。代码层面还有个顺序错误——先把登录者加进团队,再检查他是不是成员。
→ https://www.qbitai.com/2026/11/509355.html
🔥 4. 苹果内部在做一个叫 Harbor 的 Mac 应用:把 Mac 变成私有推理服务器 — 910 pts
多台 Mac 的统一内存池化成一个推理资源——三台 256GB 的 Mac Studio 就是 768GB。
爆料人 Aaron Perris 在 11 月 10 日从系统文件里挖出这个应用,功能描述第一句就是「把你的 Mac 变成私有 AI 推理服务器」。它跑在 Apple Silicon 上、用开放权重模型,强调数据不离开硬件、不上云;集群靠 Thunderbolt 5 互联,把多台 Mac 的统一内存池化。这个设计解决的是很具体的问题:跑大模型最卡的往往不是算力而是显存,而这个容量过去要买好几张 H100。卖点全部冲着「普通人」——「插上、启动,就好了」,不需要命令行,不需要基础设施知识,应用内直接浏览、下载、加载模型。它目前挂在全资子公司 Claris 品牌下、处于私有预览,说明可能是从生产力工具那条线长出来的。苹果尚未官方确认,也没有时间表。
→ https://www.oschina.net/news/503540/apple-new-mac-app-coming-to-make-running-local-ai-models-easy
🔥 5. MiniMax 开源 H3-Image:原生 4K 生图,一张两毛 — 880 pts
不只「不像 AI」,还能把一张产品图推成标准三视图、按装配逻辑画爆炸图。
继视频旗舰 H3 之后,MiniMax 放出图像模型 H3-Image,权重已上 HF(MiniMaxAI/MiniMax-H3-Image,11 月 3 日建仓,累计下载 30.6 万、点赞 852,热度 797 居当日第二)。量子位实测的重点不是参数而是「AI 味」的消失:毛孔、雀斑甚至绒毛都画得出来,镜面水泽与闪光灯晕影也在,作者判断关键在于模型刻意保留了「瑕疵」。真正显出智商的是世界理解——给一张产品外观图能推演出标准正交三视图,也能按机械装配逻辑画爆炸图并标注引线,这对三维几何与空间关系要求很高。另一面值得记一笔:模型卡的许可证字段是 other(自定义许可),并不是标准开源协议。
→ https://www.qbitai.com/2026/11/509440.html
→ https://hf-mirror.com/MiniMaxAI/MiniMax-H3-Image
🔥 6. Anthropic 启动 IPO 路演:估值从 2 万亿缩到 1.4 万亿,仍要敲钟 — 850 pts
全世界在踩刹车,达里奥一个人踩油门。
路演今日开场,拟以每股 70–78 美元发行 8.25 亿股(新发约 8.01 亿、老股东卖约 2,365 万),募资最高 643.5 亿美元,计划 11 月 19 日在纳斯达克挂牌,代码 ANT。同期还有 260 亿美元战略私募:谷歌、英伟达各 100 亿,AMD 25 亿,博通、美光、微软各 10 亿,台积电旗下主体 5 亿。潜在估值从市场早前讨论的 2 万亿降至约 1.4 万亿(完全摊薄口径),缩水约三成,已低于 SpaceX 上市时的 1.77 万亿。Anthropic 2021 年 1 月由达里奥·阿莫代伊与妹妹丹妮拉等人创立,2023 年一季度才正式商业化,到今年三季度单季收入已近 170 亿美元。路演 PPT 把这条曲线继续往外画,指向知识工作、生命科学与机器人。上市首日老股东最多可卖基准持股的 10%,对应 221–246 亿美元抛压,买方要正面接住。
→ https://www.qbitai.com/2026/11/509381.html
🔥 7. .NET 11 正式发布:MCP 服务模板进 SDK,Agent 三条线一次配齐 — 820 pts
C# 15 的 union types 补上了它欠缺二十年的东西。
11 月 10 日发布的 .NET 11 是 STS 版(两年支持),不是 LTS。对做 Agent 的人最要紧的是 SDK 内置了 MCP server 模板:dotnet new mcpserver 一条命令就能起一个可用的 MCP 服务,用的是官方 MCP C# SDK,自带能跑的示例工具,不必先装模板包。配套有三层——Microsoft.Extensions.AI 提供 IChatClient、IEmbeddingGenerator 抽象,把模型访问和依赖注入、缓存、OpenTelemetry 串起来;Microsoft Agent Framework 在此之上提供带工具调用与会话状态的 agent 和多 agent 编排;最后由 ASP.NET Core 的 AG-UI 端点暴露成 Blazor 界面(仍为预览)。语言侧的 union types 带来穷尽性检查,closed hierarchies 让继承体系可被编译器检查;EF Core 11 在 SQL Server 上加了实验性向量索引。日常层面还有两处「白捡」:Native AOT CLI host 默认开启,help、version 这类命令不再启动托管 CLI;MSBuild server 默认常驻,两次命令之间不必反复冷启动。
→ https://www.oschina.net/news/503542/microsoft-announcing-dotnet-11
🔥 8. codex-security 冲上 GitHub 榜首:把「找漏洞—验证—修」做成一个 CLI — 790 pts
今日 +663、累计 ★12,351——和玻璃翼的争议正好对照。
openai/codex-security 今天涨 663 星、总数 12,351,进了 trending 第一梯队。它是 TypeScript 写的 CLI 加 SDK,官方描述就是「发现、验证并修复安全漏洞」,npm 包同步发布。这个定位和今天第 2 条形成了很有意思的对照:漏洞挖掘的产能早就不是瓶颈,验证与修复才是——Anthropic 的 3.8 万条候选绝大部分卡在人工审核,curl 收到的报告里过半数不成立。把「验证」和「打补丁」直接写进工具链,是同一问题的另一种解法:不追求挖得更多,而是让挖出来的东西有去处。官方同时提供 TypeScript SDK,便于把这套检查接进 CI。仓库 2026 年 7 月建仓、已有 974 个 fork,不是新项目,属于「官方把内部流程产品化」这一类。
→ https://github.com/openai/codex-security
🔥 9. 文心两款应用模型上千帆,5.5 Flash Preview 限时五折 — 760 pts
一个是为搜索而生的深度思考模型,一个专攻微表情。
百度世界大会上,应用模型研发部负责人贾磊公布文心闪电深度思考模型与文心一镜微表情大模型,同步上线百度智能云千帆、开放 API。闪电深度思考最初是为百度搜索研发的:搜索要同时处理语音、图像、文字输入,还要连智能体、调工具完成复杂任务,既要求复杂需求理解、推理与工具调用,又要在海量请求下快速响应。一镜微表情采用文本、视觉、语音三态一体建模,支持最长 4,000 字文本驱动,靠 6 大维度、200 个子维度的描述体系刻画表情、肢体与情绪。文心 5.5 Flash Preview(2,800 亿总参、激活 140 亿、支持百万 Token 上下文)也已上千帆,输入忙时 2 元/闲时 1 元、输出 8 元/4 元,限时五折。
→ https://www.oschina.net/news/503544
🔥 10. 今日 GitHub 的两个反向动作:免费 harness 聚合,与 Zig 写的推理引擎 — 730 pts
一个在应用层抹平厂商差异,一个在底层重建可移植性。
Alishahryar1/free-claude-code(Python,★69,209,今日 +461)把 Claude Code、Codex、Antigravity、VSCode、Pi、OpenCode 等 11 个 harness 收进一个入口,宣称可用 1.3B+ 免费 Token——本质是 harness 层的聚合器,让同一套终端、IDE、插件工作流不必绑死一家模型。另一个是 ashhart/TensorFold(Zig,★1,918,+94),面向 Metal、CUDA、Vulkan 的 LLM 推理引擎,用 Zig 写推理内核,指向的是把算子后端从单一厂商生态里拆出来。两条线方向相反却互为镜像:一个让上层少依赖,一个让底层不锁死。同榜还有 CopilotKit/OpenBot(★11,526,+291)——每个「AI 同事」分到一台自己的电脑(浏览器、文件、工具),每个动作在执行前就被决定并留痕;以及 GoogleChrome/modern-web-guidance-src(★2,770,+799),把最新 Web 最佳实践喂给编码 agent。
→ https://github.com/Alishahryar1/free-claude-code
→ https://github.com/ashhart/TensorFold
→ https://github.com/CopilotKit/OpenBot
→ https://github.com/GoogleChrome/modern-web-guidance-src
📌 今日趋势总览
约束 > 能力:今天最重的一条是给上下文加结构(LLMON 的指令/数据分离),第二重是给漏洞流程加验证(玻璃翼的修复缺口、codex-security 的定位)。两边都不是让模型更聪明,而是让它少犯错。
「AI 挖漏洞」进入还债期:3.8 万候选对 217 修复,已经变成开源维护者的负担,Anthropic 用 OSS Scanner 把审核外包给维护者自主报名,是个信号。
本地推理在往「消费硬件」下沉:苹果 Harbor 要把 Mac 统一内存池化成推理资源,MiniMax 把 4K 生图压到「一张两毛」。一个给端侧开源权重找硬件,一个把多模态单价打到底。
Agent 基建在标准化:MCP 模板进了 .NET SDK,意味着「MCP 服务」正在从社区约定变成官方脚手架。
本文原创作者:易君召,详见:https://www.yijunzhao.cn/authors/yijunzhao,转载请注明出处。
原文链接
欢迎访问 小易撩挨踢