百度文心 5.5 Flash Preview 发布：主打快、省、开源三张牌
百度文心 5.5 Flash Preview 正式发布，已上线千帆平台，Web 端与 API 同步开放，模型权重将于11月25日前以 Apache 2.0 许可证开源，支持 SGLang 和 vLLM 部署。
#推理
雷峰网AI 评分7373 The DecoderAI 评分7272 OpenAI 研究指训练选择导致前沿模型思维链透明度下降
OpenAI 安全团队新分析系统研究了哪些训练步骤导致前沿模型思维链透明度被侵蚀，追踪了无草稿纸推理能力与思维链可控性两个预警信号。研究从 GPT-5 到 GPT-6 Astra 归纳出四类成因：静默心算随基础模型困惑度下降而上升、特定架构在多步静默推理任务上性能曲线更陡、预训练后强化学习增强模型对自身思维链的操控、学生模型会从教师模型继承高思维链可控性。
雷峰网AI 评分7474 姚期智与杨植麟联合提出 TCSExam 评测 AI 科研能力
姚期智与杨植麟等人联合研究提出 TCSExam，用 100 项理论计算机科学科研任务测试前沿 AI Agent 能否证明定理、开发 Solver、构造数学对象乃至挑战长期未解决的猜想，论文地址为 arxiv.org/pdf/2611.07962v1。
雷峰网AI 评分6262 清华赵行在 CoRL 2026 发表青年成就奖演讲：世界不会等模型
清华大学交叉信息研究院助理教授、星海图 CTO 赵行在 CoRL 2026 主会场发表 Early Career Keynote 演讲，是今年三位获奖者中唯一的中国面孔。
AWS Machine Learning BlogAI 评分5555 AWS 用反合一实现形式化策略的语义 diff 教程
AWS Machine Learning Blog 介绍用开源引擎 semi-persistent 对形式化策略做语义 diff，基于 e-graph 上的反合一找出两份策略的共享结构与真实分歧，声明代数性质与领域 rewrite 后可吸收纯表述差异。
The DecoderAI 评分6161 Google 发布 Gemini Decision 1 与 Gemini Decisions API
Google DeepMind 推出 Gemini Decisions API，底层模型 Gemini Decision 1 可在一次处理中完成最多 1,000 个独立问题，覆盖文本、图像、音频、视频和 PDF，直接给出选项评分与带置信值的概率，延迟为 150 至 250 毫秒。
The DecoderAI 评分7474 Google DeepMind 发布 AlphaProof Code，四周验证 Signal 加密核心代码
Google DeepMind 发布 AlphaProof Code，一个能数学证明软件符合安全规格的 AI 系统，并在 Signal 加密协议上完成验证，用时四周，而这类工作通常需要数年。
Microsoft Research精选AI 评分7171 微软研究 Lazarus 后门技术：重编程休眠神经元可让 AI 智能体执行恶意命令
微软研究人员发现名为 Lazarus 的后门技术，重编程 LLM 中不到 10 个休眠神经元、无需训练即可给智能体植入后门，模型通过标准评测并表现正常，直到触发条件出现（如时钟跨入 2027 年的午夜）才下载并运行攻击者代码。
推荐理由：原文说明了后门只需改动不到 10 个休眠神经元且无需训练，读者可据此理解模型权重完整性为何成为部署环节的关键风险。
Google DeepMind精选AI 评分8888 Google DeepMind 开源 Gemini 4 Carbon 模型正式开放使用
Google DeepMind 宣布 Gemini 4 Carbon 正式向开发者、企业、科学家和消费者开放，定位为最强模型，主打网络安全能力与长程智能体工作流，适用于复杂多步编码调试和开放式科学研究，消耗 token 多于 Gemini 4 Argon。
推荐理由：原文给出 Carbon 与 Argon 的分工、定价和多项基准名次，可据此判断它在复杂任务中的定位与迁移成本。
Google DeepMind精选AI 评分7676 Google DeepMind 发布 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码
Google DeepMind 发布 AlphaProof Code，一个多 LLM 智能体形式化验证框架，首次用 AI 在这一深度形式化验证广泛部署的密码学协议 Signal 的实际代码，也是任何方法首次验证此类协议的实现。
推荐理由：原文给出验证深度、耗时与人工复核比例等关键数字，读者可据此评估 AI 形式化验证相对传统方法的效率差异。
Google DeepMind精选AI 评分7676 Google DeepMind 发布 Gemini 4 Carbon 前沿模型
Google DeepMind 宣布推出下一个前沿模型 Gemini 4 Carbon，称其为迄今最强模型，具备 SOTA 网络安全与长时程能力，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。
推荐理由：原文给出了网络安全与长时任务的具体基准分数和分阶段开放路径，读者可据此判断其面向的首批用户与能力边界。
Microsoft Research精选AI 评分7777 Microsoft Research 研究者证明 31 年悬案 KLS 猜想
Microsoft Research 机器学习与优化组的 Xinzhi Zhang 与合作者 Zhao Song 证明了 1995 年提出的 Kannan–Lovász–Simonovits（KLS）猜想，表明对数凹分布的最佳平面切割与任意形状切割之差存在与维度无关的普适常数上界。
推荐理由：原文对比了人主导的智能体搜索与同等 token 预算的无引导尝试，可迁移地说明复杂问题中研究者判断的作用。
Berkeley AI ResearchAI 评分5757 Berkeley AI Research 将 K-Search 扩展到 MLX，用 CUDA 优化知识提升 Apple Silicon 内核性能
Berkeley AI Research 与 IBM Research 将 K-Search 进化式内核搜索框架扩展出 MLX 后端，并加入结构化 CUDA-to-MLX 翻译层，把 CUDA 内核作为知识库适配为 Apple Silicon 的高质量 GPU 内核。
Berkeley AI ResearchAI 评分5656 Berkeley AI Research 提出 ABBEL 框架，用自然语言信念状态替代交互历史
Berkeley AI Research 提出 ABBEL 框架，把长程交互中的摘要内容隔离为自然语言信念状态并单独监督，以替代完整交互历史作为智能体的工作上下文。
Berkeley AI ResearchAI 评分5959 Berkeley AI Research 综述自适应并行推理：从固定并行到模型自主控制
Berkeley AI Research 发布长文综述自适应并行推理（APR）这一推理扩展范式，指出其核心是让模型在推理时自主决定何时分解并行、开多少线程以及如何协调。
Berkeley AI ResearchAI 评分5656 Berkeley AI Research 提出 GRASP：面向世界模型长时域规划的梯度规划器
Berkeley AI Research 发布 GRASP，一种基于梯度的世界模型规划器，通过把轨迹提升到虚拟状态使优化沿时间并行、在状态迭代中注入高斯噪声做探索、并重塑梯度使动作获得干净信号而避开脆弱的状态输入梯度。