微软研究院发布生物学 AI 研究系统 Quine
微软研究院推出面向复杂生物学研究的 AI 系统 Quine，由生物多模态世界模型与交互式实验调度框架组成。在与 Broad 研究所合作的胰腺癌研究中，系统在一个周末内预测并筛选出能诱导肿瘤细胞状态转换的候选化合物，并在湿实验中完成验证。微软同步启动了 Quine Fellows 访问计划，并计划未来通过 Microsoft Discovery 等产品逐步扩大访问权限。
#推理
#推理
今日 2 条Microsoft ResearchAI 评分5858 AWS Machine Learning Blog精选AI 评分6363 xAI Grok 4.7 正式上线 Amazon Bedrock
xAI 的 Grok 4.7 模型已正式登陆 Amazon Bedrock，提供 500K token 上下文窗口并支持 low 至 xhigh 四档推理强度调节。该模型主打长任务自我验证与代码及专业知识工作，在 Bedrock 上通过跨区域推理配置文件提供服务。调用端兼容 OpenAI SDK 与 AWS Converse API，同时支持隐式提示词缓存和 Bedrock Guardrails。
推荐理由：该集成提供了跨区域推理与四档推理强度控制，开发者可直接在云端现有合规框架内调用长上下文模型。
Hugging Face BlogAI 评分4646 用 LFM2.5-VL-DSpark 加速视觉语言模型
Liquid AI 推出投机解码草稿模型 LFM2.5-VL-DSpark，专为 3B 视觉语言模型 LFM2.5-VL-3B 设计，仅增加约 280M 参数（8.9%）。
AWS Machine Learning Blog精选AI 评分6363 OpenAI GPT-6 Sol 与 GPT-6 Luna 正式上线 Amazon Bedrock
OpenAI 的 GPT-6 Sol 与 GPT-6 Luna 正式在 Amazon Bedrock 全面上线，两款模型的 API 定价显著低于前代 GPT-5.6 系列。
推荐理由：文章详细说明了两款模型在研发与高并发流水线中的分工和显式缓存机制，有助于开发者规划多阶段任务的推理架构与成本。
Hugging Face BlogAI 评分5757 英国 AISI 与 EvalEval 如何实现基准评测结果的可复现
英国人工智能安全研究所与 EvalEval 联盟合作，通过 Evaluation Cards 平台与统一规范公开发布评测运行记录与配置细节。公开数据覆盖 Claude Opus 4/4.5/4.6 及 GPT-5/5.2/5.4 等 6 款前沿模型，涉及 FrontierMath、Humanity's Last Exam 等 5 项基准。
NVIDIA BlogAI 评分5757 NVIDIA Vera Rubin NVL72 在 MLPerf Inference v6.1 评测中展示性能表现
NVIDIA 公布 MLPerf Inference v6.1 评测结果，其 Vera Rubin NVL72 系统在 Qwen3-VL 上的吞吐量达到 GB300 NVL72 的 3.7 倍，在 DeepSeek-R1 上达到 2.5 倍。
NVIDIA BlogAI 评分5252 黄仁勋在 Dreamforce 演讲称 AI 让人类能知晓一切并做任何事，Salesforce 推出推理模型 Koa
黄仁勋在 Salesforce Dreamforce 大会发表演讲，Salesforce 同期宣布基于 NVIDIA Nemotron 3 Super 构建其首个 CRM 推理模型 Koa。黄仁勋指出 AI 安全本质上是工程问题，企业未来都将转向智能体架构。Koa 完全由 Salesforce 在自有基础设施上采用合成数据训练，计划于 10 月展开客户试点并在 2026 年冬季正式上线。
Google ResearchAI 评分3838 Google Research 提出 Retrieve-for-Train：用离线 RL 编译扩散检索器绕过推理瓶颈
Google Research 提出 Retrieve-for-Train 框架，通过离线强化学习发现符合奖励的 fan-out 查询并编译为监督信号，再蒸馏进一个 53.9M 参数的扩散检索器，在推理时以单次非自回归前向直接生成完整结果集，无需 CoT 推理 token。
Google DeepMind精选AI 评分8282 Google DeepMind 推出 Gemini 3.8 Live 与 3.8 Live Extended Thinking 语音对话模型
Google DeepMind 正式推出 Gemini 3.8 Live 与 Gemini 3.8 Live Extended Thinking 实时对话模型，主打近实时推理与语音智能体任务执行能力。
推荐理由：官方展示了实时多步推理与边思考边交谈的交互机制，为语音智能体的落地架构提供了参考范式。
NVIDIA Blog精选AI 评分6363 NVIDIA 在 AI Infra Summit 发布 Vera Rubin 与 DSX 平台进展
NVIDIA 在 AI Infra Summit 公布 Vera Rubin 与 DSX 平台的系列进展，覆盖 Vera Rubin NVL72 系统、Dynamo 推理软件、NVLink 6、DSX MaxLPS 与 DSX Flex。
推荐理由：文中给出多组厂商实测数字与软硬件协同路径，可据此判断 AI 工厂按每兆瓦 token 计价的工程方向。
Hugging Face Blog精选AI 评分6767 Hugging Face 展示基于 Jobs 与 LoRA 的跨节点异步 GRPO 训练方案
Hugging Face 介绍了在 HF Jobs 上结合 TRL 与 vLLM 运行异步 GRPO 训练的架构实践。
推荐理由：方案给出了无需跨节点NCCL进行强化学习训练的轻量架构，读者可以参考其对象存储同步与KV缓存前缀路由的工程实现。
OpenAI News精选AI 评分7676 OpenAI 发布企业级模型 GPT-6 Astra
OpenAI 推出面向企业场景的模型 GPT-6 Astra，定位于其能力最强的工作智能模型。该模型具备更高级的推理能力与计算机操作功能，同时提升了写作和设计判断表现。
推荐理由：原文列出面向企业场景的核心能力演进，读者可据此了解其在计算机操作与推理层面的定位。
OpenAI News精选AI 评分7676 OpenAI 提出纳维-斯托克斯千禧年大奖难题的 AI 解答与 Lean 形式化证明
OpenAI 分享了由 AI 生成的纳维-斯托克斯千禧年大奖难题解决方案。该成果包含完整的技术说明报告，以及使用交互式定理证明工具 Lean 编写的形式化数学证明。
推荐理由：文中给出了 AI 求解千禧年数学难题的研究报告及 Lean 形式化证明，读者可据此查验机器在数学定理证明中的实际表现。
Google DeepMind精选AI 评分7979 Google DeepMind 发布 Gemini 3.8 Flash 与 3.8 Flash Cyber
Google DeepMind 正式推出 Gemini 3.8 Flash 及专注于网络安全防御的 Gemini 3.8 Flash Cyber，在保持与 3.7 Flash 相同速度和低成本的同时强化了推理与编码能力。
推荐理由：新模型在保持原有推理成本和低延迟的基础上，显著强化了长程编码智能体能力并推出了防御型安全版本。
Hugging Face BlogAI 评分5555 BenchMIRT：大语言模型评测基准到底在衡量什么
AllenAI 推出大语言模型评测审计方法 BenchMIRT，利用多维项目反应理论在题目层面上拆解评测基准实际衡量的底层能力。该研究对 100 个模型在 16 个基准上的表现进行分析，发现 BBQ 和 WMDP 等通常归类为安全的基准实际上受通用推理能力驱动更深。实验还表明，仅筛选保留 10% 高区分度的题目，即可基本复现全量基准区分模型安全与推理能力的效果。
Hugging Face Blog精选AI 评分7373 IBM Granite 4.2 推理大模型如何构建
IBM Granite 团队开源了首个 Dense 架构推理大模型家族 Granite 4.2，涵盖 3B、8B 和 30B 三种尺寸并采用 Apache 2.0 协议。
推荐理由：文章详细拆解了从五阶段预训练到多阶段异步 GRPO 强化学习的完整流程，为开源智能体与推理模型的端到端训练提供了具体工程参考。
Hugging Face BlogAI 评分4949 LFM2.5-DSpark 推理速度最高提升 3.2 倍
开源发布了面向 LFM2.5 系列（包含 LFM2.5-1.2B-Instruct、LFM2.5-2.6B 和 LFM2.5-8B-A1B）的 DSpark 推测解码草稿模型。
Google DeepMind精选AI 评分8383 Google DeepMind 发布 Gemini 3.7 Flash
Google DeepMind 正式推出面向编程与 AI 智能体的工作流模型 Gemini 3.7 Flash，在软件工程、知识处理和 Web 开发上均有提升。
推荐理由：原文给出了编程和复杂工作流的实测基准数据与首发半价方案，读者可以据此评估在生产环境中替换现有轻量模型的性价比。
Microsoft ResearchAI 评分4747 MindTopo 揭示 VLM 的空间推理能力
新评测基准 MindTopo 评估了多模态模型在连通性、包围、顺序、分离及打结等维度的拓扑推理与规划能力。评测显示，现有开源与闭源模型在静态图像识别上的表现普遍明显优于交互式规划任务，但整体均远低于人类水平。模型在多步规划中往往会丢失结构关系或违反物理动态约束，难以随场景动态变化持续维持拓扑理解。
Google Research精选AI 评分6666 Google Research 提出知识画像框架：大模型事实性瓶颈在于检索而非编码
Google Research 提出知识画像框架与 WikiProfile 基准，指出前沿大语言模型的事实性瓶颈已从知识编码转向知识检索。评测显示 Gemini-3-Pro 与 GPT-5 等前沿模型已编码 95%–98% 的事实，但仍有 26%–34% 的事实无法直接检索。开启思考机制能够找回 40%–65% 已编码却无法直接检索的事实，显著缓解长尾事实检索困难与反向诅咒现象。
推荐理由：原文通过实验证明前沿模型的事实错误主要源于检索障碍而非参数缺失，为利用思考机制和后训练改善知识调用提供了新视角。
Microsoft ResearchAI 评分5757 微软研究院提出 EvoLib 框架将经验转化为可演进知识
微软研究院发布 EvoLib 框架，使大语言模型在测试期无需真实标签或更新权重即可将经验自监督地转化为可复用技能与反思见解。该框架通过知识整合与动态重加权机制持续演进知识库，在数学推理、受限编码及长程交互任务中以更低 token 消耗超越传统检索式记忆方法。目前相关代码与实验结果已在 GitHub 开源。
Berkeley AI ResearchAI 评分5959 从 CUDA 到 MLX：K-Search 如何把数十年内核优化经验带到 Apple Silicon
Berkeley Sky Lab 与 IBM Research 将进化式内核搜索框架 K-Search 扩展到 MLX，通过结构化的 CUDA-to-MLX 翻译层让已有 CUDA 内核作为知识库，在 Apple Silicon 上自动生成 Metal 内核。
Hugging Face BlogAI 评分4848 模型路由并不简单：成本、复杂度与延迟背后的系统优化难题
在 AppWorld Test Challenge 的 417 个任务上，同一 CodeAct 智能体运行 Claude Sonnet 4.6 总成本 79 美元（0.19 美元/任务），而 GPT-4.1 花费 155 美元（0.37 美元/任务），几乎翻倍，原因在于缓存读取定价带来的差异被单纯看价格表的思路忽略了。
Hugging Face Blog精选AI 评分6262 Hugging Face transformers 后端在 vLLM 中达到原生速度
Hugging Face 宣布 vLLM 的 transformers 建模后端在许多 LLM 架构上已达到甚至超过 vLLM 手写原生实现的吞吐。在 Qwen3-4B 单卡、Qwen3-32B 张量并行、Qwen3-235B-A22B-FP8 MoE 三种配置的对比中，该后端均追平或超过原生实现。
推荐理由：Hugging Face 给出 transformers 后端在 vLLM 中追平原生实现的实测与改动方式，便于判断模型作者是否还需自写 vLLM 实现。
Mistral AI精选AI 评分6565 Mistral AI 发布形式化证明模型 Leanstral 1.5
Mistral AI 正式发布开源形式化验证模型 Leanstral 1.5，采用 Apache-2.0 协议，拥有 119B 总参数与 6B 激活参数。模型在 miniF2F 评测中达到 100% 满分， PutnamBench 成功解出 587/672 题且单题成本约 4 美元，同时在 FATE-H 与 FATE-X 上刷新纪录。
推荐理由：模型在极低推理成本下展现出长链形式化验证能力，适合关注自动定理证明与代码严格验证的工程团队参考。
Berkeley AI ResearchAI 评分3535 BAIR 2026 届毕业生展示
伯克利人工智能研究实验室（BAIR）公布 2026 届博士毕业生名录，集中展示其在前沿 AI 领域的研究成果与职业去向。该届研究涵盖大语言模型与推理、机器人与具身智能、计算机视觉及生成模型等方向。毕业生去向包括前往高校任教、开展博士后研究，或加入 OpenAI、Mistral AI、Physical Intelligence 等机构与自主创业。
Hugging Face Blog精选AI 评分7070 Hugging Face 联合 Cerebras 将 Gemma 4 引入实时语音 AI 流水线
Hugging Face 联合 Cerebras 推出基于 Gemma 4 31B 的实时语音到语音开源流水线，大幅降低语言模型推理与多轮交互延迟。该级联系统采用完全模块化设计，整合 Nvidia Parakeet 语音识别、Cerebras 加速的 Gemma 4 推理以及阿里 Qwen3TTS 文本转语音，重点优化高分位延迟瓶颈。
推荐理由：原文展示了通过专用推理芯片与模块化开源模型串联消除长尾延迟的方案，为具身智能与实时语音助手的架构设计提供了落地参考。
Google ResearchAI 评分5757 Google 提出冻结多 Token 预测架构加速 Pixel 上的 Gemini Nano 模型
Google 推出面向端侧模型的冻结多 Token 预测（MTP）架构，已推送至 Pixel 9 和 10 系列，用于加速 Gemini Nano v3 的通知摘要与文本润色等任务。
Google Research精选AI 评分6666 Google 研究揭示推理过程如何解锁大模型的参数化知识
Google Research 团队在 COLM 2026 入选论文中揭示，让大模型生成推理轨迹能显著解锁单跳事实问答中原本难以直接读取的参数化知识。该提升主要由提供额外前向计算的计算缓冲效应，以及自发生成相关背景事实的事实预热机制共同驱动。研究同时发现中间推理若夹杂单条幻觉事实会导致最终正确率骤降，建议通过测试期轨迹验证或过程奖励强化真实性。
推荐理由：研究揭示了思维链除任务拆解外还能辅助参数化记忆检索的双重机制，为理解思考型模型的知识召回与幻觉抑制提供了控制实验依据。
Google ResearchAI 评分4949 探索新纪元：Google Research 亮相 I/O 2026
Google Research 在 I/O 2026 推出科研工具套件 Gemini for Science，包含 Computational Discovery 与 Hypothesis Generation 等工具。
Google Research精选AI 评分7373 Google 推出科研代码生成系统 ERA 与 Computational Discovery 工具
Google 在《Nature》发表论文介绍科研编程系统 ERA（Empirical Research Assistance），并宣布通过 Gemini for Science 逐步开放基于 ERA 和 AlphaEvolve 构建的实验工具 Computational Discovery。
推荐理由：该研究展示了将大模型与树搜索结合优化科研代码的具体路径，为自动化计算实验与科学发现提供了可参考的工程框架。
Berkeley AI ResearchAI 评分3030 自适应并行推理：高效推理扩展的下一个范式
自适应并行推理旨在让推理模型自行决定何时分解并并行化独立子任务、开启多少并发线程以及如何协调，而非由外部框架强加并行结构。现有方法如 Self-consistency、Best-of-N、Tree/Graph of Thoughts、MCTS、ParaThinker、GroupThink 与 Hogwild!
Google Research精选AI 评分6060 Google 提出 ReasoningBank：让智能体从成败经验中提炼推理记忆并自演进
Google Research 推出智能体记忆框架 ReasoningBank，能够从成功与失败经历中提炼结构化的高阶推理模式，支持测试阶段的持续自演进。该方案通过闭环工作流提取防范性策略，并结合记忆感知测试时扩展（MaTTS）在并行或序列推理中强化策略质量。
推荐理由：该研究系统性地从失败经验中提炼高层推理模式，为构建具备持续反思与测试时自演进能力的智能体提供了具体记忆架构参考。
Berkeley AI ResearchAI 评分4747 面向更长时域世界模型的基于梯度规划方法 GRASP
研究人员提出用于世界模型的新型基于梯度规划器 GRASP，旨在解决长时域规划中优化病态与局部极小值陷阱等问题。GRASP 将轨迹提升为虚拟状态以实现跨时间并行优化，并在状态迭代中直接加入随机性以促进探索；同时通过重塑梯度提供清晰动作信号，避免高维视觉模型中脆弱的状态输入梯度。
Google ResearchAI 评分5252 Google 提出合成数据生成框架 Simula：基于第一性原理与机制设计
Google 推出合成数据生成与评估框架 Simula，通过基于推理的第一性原理将全流程解耦为全局多样性、局部多样性、复杂化与双批评质量检查四个独立可控维度。实验使用 Gemini 2.5 Flash 作为教师模型向 Gemma-3 4B 进行蒸馏，在网络安全、法律推理、数学等领域最高生成 512K 规模数据并显著超越基线。
Google DeepMind精选AI 评分6666 Google DeepMind 发布具身推理模型 Gemini Robotics-ER 1.6
Google DeepMind 推出专为机器人设计的具身推理模型 Gemini Robotics-ER 1.6，大幅增强了空间推理、多视角理解以及任务完成判定能力。
推荐理由：该模型增强了空间指向、多视角任务完成判定与工业仪表读取能力，有助于开发者为实体机器人构建高阶环境理解与决策系统。
Google DeepMind精选AI 评分8888 Google DeepMind 发布开源模型 Gemma 4
Google DeepMind 正式推出开源模型 Gemma 4 系列，包含 E2B、E4B、26B MoE 和 31B Dense 四种尺寸，专为高级推理与智能体工作流设计。
推荐理由：Gemma 4 转向 Apache 2.0 商业许可并覆盖端侧至 31B 规模，展示了小尺寸开源模型在多模态与智能体工作流上的落地路径。
Mistral AI精选AI 评分8282 Mistral AI 发布 Mistral Small 4：统一推理与多模态的 119B 开源 MoE 模型
Mistral AI 正式发布开源模型 Mistral Small 4，基于 Apache 2.0 协议将推理、多模态与代码 Agent 能力统一到单一架构中。
推荐理由：该模型将多模态、代码与深度推理整合到单套 MoE 架构中，支持按需调节推理强度以平衡吞吐与精度。
Mistral AI精选AI 评分8585 Mistral AI 发布 Mistral 3 系列开源模型，涵盖 675B MoE 与端侧版本
Mistral AI 正式推出下一代 Mistral 3 系列模型并全部采用 Apache 2.0 协议开源，涵盖旗舰混合专家模型与小尺寸端侧模型。旗舰 Mistral Large 3 采用 41B 激活与 675B 总参数的 MoE 架构，支持图像理解并提供 NVFP4 量化格式，可通过 vLLM 在单台 8×A100 或 8×H100 节点上运行。
推荐理由：全系模型采用开源协议并提供端侧到超大规模 MoE 的梯度覆盖，配合量化格式显著降低了本地与私有化部署门槛。
Mistral AI精选AI 评分8181 Mistral AI 为 Le Chat 推出深度研究、语音模式与项目空间等多项功能
Mistral AI 宣布为助手 Le Chat 推出一系列重大更新，包括提供结构化研究报告的 Deep Research 预览版，以及由新模型 Voxtral 驱动的低延迟语音模式。新版本还集成了推理模型 Magistral 以支持原生多语言深度思考，并增加用于归类管理对话与文件的 Projects 功能，同时携手 Black Forest Labs 支持直接通过提示词进行图像连续编辑。
推荐理由：原文集中展示了深度研究、语音和推理模型等多项能力更新，读者可以了解该助手在工作流组织与多模态交互上的最新进展。