今天最值得读的 AI 新闻，来自正在塑造 AI 的实验室、创业公司和研究者。
Hugging Face Blog精选7171IBM 在 Hugging Face 发布 LLMON（LLM 对象符号）标记语言，并推出基于 Granite 4.1 的 granite-4.1-3b-LLMON-preview 和 granite-4.1-8b-LLMON-preview 两个实验性预览模型，同时开源 GitHub 工具包。
推荐理由: 原文给出 LLMON 标记语言的设计动机与两个预览模型，读者可据此理解指令与数据分离如何降低间接提示注入风险。
The Decoder精选8585谷歌 DeepMind 发布 AlphaProof Code，一款符合安全规范的 AI 数学证明软件，并在四周内完成了通常需要数年才能在 Signal 加密协议上完成的验证工作。
推荐理由: AlphaProof Code 将形式化验证从理论设计推进到实际运行代码，四周完成通常需数年的工作，并给出人工复核比例。
MarkTechPost精选同一件事 · 3 家8282Anthropic发布Claude Fable 5.2和Claude Mythos 5.2，两者基于同一个底层模型，Fable 5.2增加了分类器拦截高风险网络安全任务和大部分生物学研究任务，Mythos 5.2去掉了这些限制，需要通过Cyber Verification Program和Life Sciences Verification Program访问。
各家口径不同：TechCrunch指出Fable的输入价格降至每百万token 8美元；其他报道没有提及价格。
推荐理由: 将同一底层模型拆分为两档安全护栏，并提供与 Opus 5.5、GPT-6 Astra 的对比表格及成本差异。
量子位精选7171360 自研 AI 安全攻防系统图龙锋在 CyberGym 榜单上以 99.4% 的漏洞复现成功率登顶，三轮独立评测成功率分别为 99.27%、99.47% 和 99.40%。
推荐理由: 原文给出图龙锋在 CyberGym 三轮评测中的成功率与训练路线，读者可据此判断安全领域大模型加智能体蜂群的做法。
OpenAI News精选同一件事 · 3 家7575OpenAI 发布 GPT-6 Cyber，这是一款用于发现可利用漏洞并开发修复方案的网络安全模型，训练中要求其行为保持在授权范围内。
推荐理由: OpenAI 发布面向漏洞发现与修复的专用模型，并强调授权范围约束，可观察安全智能体的能力边界。
Mistral AI精选同一件事 · 2 家8282Mistral 发布旗舰万亿参数原生多模态模型 Mistral Large 4（Le Chonk）的开放权重版本，此前已公开预览三周。
推荐理由: 官方给出万亿参数开源模型的编码、安全与推理效率数据，以及权重下载和自托管路径。
Latent Space精选8282Google DeepMind 发布 Gemini 4 Carbon，距 Argon 仅两周，宣称在网络安全与长周期任务上达到 SOTA，在 Artificial Analysis Intelligence Index v5 上以 59 分位列第一。
推荐理由: 汇总了 Gemini 4 Carbon 在多个独立榜单上的位置与定价，并列出编码、幻觉率等与竞品的差距。
Google DeepMind精选同一件事 · 7 家8282Google DeepMind 发布 Gemini 4 Carbon，称其在网络安全与长周期任务上能力最强，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一
推荐理由: 官方提供 Carbon 在网络安全与长周期编码任务上的基准及内部数据，可参考两周前发布的 Argon 能力提升进度。
Google AI Blog精选9090Google 发布了 Gemini 4 Argon，面向开发者、企业和科研人员开放，API 定价为每百万输入 token 2 美元、每百万输出 token 10 美元，缓存输入 token 享 95% 折扣。
推荐理由: 官方给出定价、基准排名和多个内部落地案例，可据此判断它在编码与科研工作流中的位置。
