微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明结果与维度无关，并保持在一个固定常数范围内。此前 2026 年 7 月的最好结果仍允许该界随维度缓慢增长。证明过程采用人类主导的智能体搜索，探索了 100 多条候选路径；同期另有独立团队给出完整证明，并已有 Lean 4 形式化验证。
推荐理由：这篇论文给出了 KLS 猜想证明的完整脉络，并说明人类主导、AI 智能体并行探索的研究流程如何参与其中。
NVIDIA 扩展 Confidential Computing，新增 Confidential Bare Metal 部署选项，让前沿模型构建方在第三方专用基础设施上运行敏感负载并保留对模型和数据的控制。
Microsoft Research Catalyst Lab 负责人 Chris White 在播客中讲述其从哈佛博士后转向 DARPA 项目经理、赴阿富汗领导先进技术行动，再到开发暗网搜索工具打击人口贩运的经历。他因相关工作获得 2016 年美国总统打击人口贩运特别努力奖。对话还涉及创新中问题选择的重要性，以及目睹人性阴暗面后仍保持希望。
NVIDIA 与欧洲广播联盟（EBU）扩展去年推出的主权标准框架，引入主权云厂商、开放模型开发者和系统集成商，明确广播机构部署智能体时对数据、基础设施、模型与安全的控制方式。Adobe Frame.io 借助 NVIDIA NVDEC、TensorRT 和 CUDA 实现 GPU 加速搜索，嵌入向量生成约快 5 倍、吞吐量最高提升 4 倍、搜索延迟最高降低 5 倍。
GitHub Copilot 应用中的会话可直接通过“Open in VS Code”在 VS Code 中打开，保留任务、计划和对话上下文，并沿用同一 worktree。用户可在 VS Code 中逐行审查 diff、手动修改代码、用集成终端运行测试并在本地验证，最后提交并推送到该会话关联的 pull request。
NVIDIA RTX Spark 笔记本已上市，搭载 Blackwell RTX GPU 与 Grace CPU，最高 1 petaflop AI 算力和 128GB 统一内存，起售价 2,399 美元，首批来自 ASUS、Dell、HP、Lenovo、Microsoft 和 MSI。NVIDIA 在全球六地举办零售发布活动，柏林站黄仁勋意外现身并送出五台签名笔记本。
NVIDIA 宣布 RTX Spark 笔记本即日起开售，将 RTX 显卡与 NVIDIA 全栈 AI 平台整合进轻薄 Windows PC，面向加速创作、沉浸式游戏和本地 AI 场景。华硕、戴尔、惠普、联想、微软和微星将陆续推出相关机型。
推荐理由：原文给出 RTX Spark 笔记本的定位与合作厂商，读者可据此了解本地 AI 能力在 Windows PC 上的落地形态。
NVIDIA 发布 RTX Spark，定位为一台面向创作者、玩家和 AI 智能体的 Windows PC，并于 10 月 16 日在旧金山、柏林、台北、北京、伊斯坦布尔、首尔等地举办发布活动。
推荐理由：NVIDIA 官方公布 RTX Spark 的定位与全球发布活动安排，并汇总多家媒体对本地 AI 与游戏表现的早期评价。
微软研究院发布零知识虚拟机 Magnetar，可证明用 Rust、Go 或 C 编写的 RISC-V 程序执行，在 15 个基准程序上比现有最快 zkVM 平均快 10 到 39 倍，证明验证约 12 毫秒。
推荐理由：微软研究院公开 Magnetar 的技术设计与基准数据，可了解零知识证明在通用程序上的性能与密码学取舍。
GitHub 为密钥扫描训练了专用的 ModernBERT 分类器，替代此前的 LLM 流水线，在保持正则候选召回的基础上结合文件路径、变量名和上下文判断是否为真实凭据。该方案使推送后扫描中位执行时间缩短 86%、服务成本降低逾 98%，用户对告警的接受度提升 11.5%，并让通用密钥检测得以扩展到推送保护阶段。
MIT 等机构研究人员在 Nature 发表论文，提出一种机器学习后处理层，通过学习并修正现有预报模型的误差，将两到六周次季节预报的准确率提升一倍，并在 ECMWF 的预报竞赛中夺得第一。该模型首次在次季节尺度上稳定优于气候平均值，并显著改善极端天气预测，可作为附加模块用于任意预报模型，且已开源、运行成本低。肯尼亚气象部门已联系团队，计划用其改进季风季预报以提升农业产量。
推荐理由：该研究用后处理层把两周以上预报准确率翻倍，并首次在次季节尺度上超过气候平均，对农业与能源调度有直接参考。
NVIDIA 宣布 RTX Spark 笔记本将于 10 月 16 日上市，最高 128GB 统一内存和 1 petaflop AI 算力，首发覆盖数百款游戏、130 多款加速应用及 PyTorch、CUDA 等开发工具。
推荐理由：NVIDIA 一次性列出 RTX Spark 首发日的本地智能体、创作与开发工具清单，可据此判断本地 AI 工作流的可用边界。
微软研究院提出 StudentSim，一个在真实学习者测试前评估和改进 AI 导师的研究系统，通过公开的去标识化学习记录训练个性化学生模拟器，并配套推出覆盖国际象棋、第二语言英语写作和数学的 StudentSimEval 基准与评测协议。
GitHub Copilot 可通过四种方式定制项目上下文：用 .github/copilot-instructions.md 定义仓库级规范，用 .github/instructions 配合 applyTo 字段做路径级指引，用 .github/skills 下的 SKILL.md 封装可复用流程，用 .github/agents 创建专用自定义智能体。
在旧金山 Windows AI and Surface 活动上，英伟达与微软宣布为 Windows PC 上的 AI 智能体共同设计软硬件，微软同时宣布 OS 级基础设施 Microsoft Execution Containers（MXC）正式可用，让智能体在系统管控下安全持久地在后台运行。
推荐理由：英伟达与微软把智能体运行所需的系统级容器和本地算力硬件一并公布，读者可据此了解 Windows 端侧智能体的落地路径。
GitHub 发布基于 ModernBERT 的通用密钥检测分类器，用代码上下文识别无固定格式的密钥，可在 2 毫秒内评估一批候选密钥，据称能把可拦截的密钥数量提升一倍以上。
推荐理由：GitHub 公开了九季度密钥泄露数据与自研分类器的落地节奏，可据此判断 AI 编码提速后密钥防护的可行路径。
微软研究院开源 Agent Lightning v1.0，一个约 3500 行代码的轻量智能体强化学习框架，围绕 Harnessed Agentic RL 范式重建，让部署时使用的 agent harness 直接参与训练，无需在训练框架内重写智能体。
推荐理由：微软研究院开源 Agent Lightning v1.0，读者可了解让部署用 harness 直接参与 RL 训练的思路与实测增益。