微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想，给出与维度无关的固定界，解决了高维几何与概率论中的核心开放问题。证明过程采用人类引导的智能体搜索，探索了约 100 条研究路径，由研究者筛选方向并验证结论；同期另有独立团队给出完整证明，并出现 Lean 4 形式化验证。作者称此前用多个前沿模型做无引导的端到端尝试未能达成目标。
推荐理由：微软研究者用人类引导的智能体搜索证明 KLS 猜想，读者可看到人机协作在数学发现中的具体分工。
NVIDIA 扩展机密计算能力，新增 Confidential Bare Metal 部署选项，让前沿模型构建方在第三方裸金属基础设施上运行敏感负载时仍掌控模型与数据。
微软发布多项面向企业的智能体安全功能，其中最受关注的是用于监控企业所用 AI 智能体的 Guardian Agents，它属于 6 月推出的 Project Perception 产品。
Rohan Paul@rohanpaul_ai精选AI 评分8585推荐理由：WSJ 看到的 Anthropic IPO 草案披露了收入、账面亏损与云和芯片长约，可据此理解其算力成本结构。
10月20日，飞书豆包工作AI先锋未来人才大赛总决赛在北京举行，12组选手用飞书与豆包工作解决企业真实业务问题并现场路演，"秋阳里Pipeline"获金奖。飞书与豆包工作联合数智教育发展国际大学联盟发布《AI时代人才标准全景观察》，汇集4300多支战队数据和108家企业人才观。大赛向选手开放全部飞书AI功能并提供无限Token权益，其中80%以上Token使用发生在豆包工作。
Amazon Bedrock 的跨区域推理（CRIS）现支持从加拿大（中部）和加拿大西部（卡尔加里）区域调用 OpenAI GPT-6.1 Sol、GPT-6（Astra、Sol、Luna）和 GPT-5.6（Sol、Terra、Luna）。
微软研究院播客对话 Catalyst Lab 负责人 Chris White，回顾他 2010 年夏天在 DARPA 参与阿富汗战场数据分析项目、随后赴阿富汗领导先进技术运营的经历，以及他后来转向暗网搜索工具以协助打击人口贩运。节目还讨论了他对问题选择在创新中的作用，以及在看尽人性阴暗面后仍保持希望的看法。
The Verge 分析称，CoreWeave 债券上周跌入困境区间，股价自周二收盘以来下跌超过 20%，并波及 Oracle 等其他举债扩张的 AI 公司。
GitHub Copilot 应用中的会话可直接在 VS Code 中打开并继续，对话、代码改动和工作上下文均保持不变。VS Code 会以该会话关联的 worktree 打开项目，并在 Copilot 侧边栏显示原会话，便于逐行审查 diff、手动编辑、本地运行测试，最后提交并推送到会话对应的 pull request。
NVIDIA 与欧洲广播联盟（EBU）扩大主权框架合作，引入主权云厂商、开放模型开发者和系统集成商，明确广播机构部署智能体时数据、基础设施、模型与安全的控制方式，NVIDIA Nemotron 开放模型可供定制。
NVIDIA 发布面向创作者、游戏玩家和 AI 智能体的 Windows PC 产品 RTX Spark，并在全球多地举办发布活动。
推荐理由：原文给出 RTX Spark 的本地 AI 实测完成时间对比，可据此判断笔记本端侧推理的可用性。
微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序执行过程，并输出可在约 12 毫秒内验证的简短证明。在 15 个基准程序上，它比同类最快的 zkVM 平均快 10 到 39 倍，在笔记本上每秒可证明 7.2 至 8.7 百万条 RISC-V 指令。
推荐理由：微软研究院梳理十余年零知识证明研究脉络，说明 Magnetar 如何在通用性、速度与密码学假设之间同时取得进展。
GitHub 用微调的 ModernBERT 分类器替换原有 LLM 流水线来识别通用密钥，用户接受率提升 11.5%，推送后扫描中位执行时间缩短 86%，服务成本降低超 98%。该方案先用正则高召回生成候选，再由分类器结合文件路径、变量名和上下文判断是否为真实凭据，并已把通用密钥检测扩展到推送保护阶段。
GitHub Copilot 新手指南介绍了四种让 Copilot 适配项目的方式：用 .github/copilot-instructions.md 定义仓库级约定。
微软研究院发布研究系统 StudentSim，用公开的去标识化学习记录训练个性化 AI 学生模拟器，在真实学习者测试之前评估和改进 AI 辅导系统。该系统采用两阶段训练，先在同学科多学生记录上学习共性，再针对单个学生适配，并配套提出覆盖国际象棋、第二语言英语写作和数学的评测协议 StudentSimEval。
OpenAI Developers@OpenAIDevsAI 评分5858Today, we announced new @Windows platform capabilities and @surface devices built to empower people and organizations for the era of hybrid intelligence. Here are some of the highlights: - It all starts with trust. Microsoft Execution Containers (MXC) is now generally available on Windows 11, keeping agents contained within boundaries the operating system enforces. - HydraFusion brings hybrid intelligence to life, allowing models to run locally while seamlessly accessing the cloud when more scale or capability is needed. We're working with @github to extend HydraFusion to Windows. - This fall, Search on the taskbar adds thousands of quick actions, making it easier to adjust settings and get things done as fast as you can type. - @MSFTCopilot is getting more powerful on Windows. With hybrid intelligence, it can tap into your PC's local capabilities and turn your requests into action, while keeping you in control. - Local agents are coming to Windows too. Muse is on its way as a native Windows app with MXC integration, and Hermes, OpenClaw, and Perplexity are already building local experiences on Windows. - Surface Laptop Ultra, built with NVIDIA RTX Spark, is the most powerful Surface we've ever built. It's available for pre-order today, along with the Surface RTX Spark Dev Box and new RTX Spark PCs from our partners. Call of Duty is coming to RTX Spark in 2027. Read more on the Windows Blog: https://blogs.windows.com/windowsexperience/2026/10/07/building-windows-for-hybrid-intelligence/
GitHub 发布基于 ModernBERT 的 AI 通用密钥检测模型，用代码上下文识别数据库密码等无固定格式的密钥，候选批次评估耗时不到 2 毫秒。
微软研究院开源 Agent Lightning v1.0，这是一个约 3500 行代码的轻量 Agentic RL 框架，提出 Harnessed Agentic RL 范式，让部署时使用的 agent harness 直接参与强化学习，无需在训练框架内重写 agent。
推荐理由：微软研究院开源约 3500 行的 Agent RL 框架，用真实 harness 参与训练，并给出 6000 样本提升 14.6 个点的完整流程。
微软研究院 partner research manager Jennifer Neville 在播客对话中讨论评估如何推动 AI 系统突破传统 benchmark 的性能边界，以及模型在超出常规测试时出现的“意外失败”。她结合自身从数学、物理、认知科学转向计算机科学的经历，分享使用当前 AI 系统的实用建议，并强调结果偏离预期时应仔细检查数据。
GitHub 发布 AI 代码审查开放基准 ReviewBench，包含 219 个来自 187 个开源仓库、覆盖 19 种语言的 PR，分布参照 1.039 亿个 GitHub PR。
微软研究院实习生构建的机器学习流水线可为美国本土66,935座变电站生成30-60分钟前的空间天气风险预报，评估期内检出近80%的重大空间天气事件。系统结合AE与Dst指数预报、纬度、地质电导率及电网数据，Dst预测在2020-2026年活动高峰时段有62.2%的小时优于Burton方程。
微软研究院推出 Quine，一个由跨模态生物学世界模型和连接模型、科学工具、文献与研究者的交互框架组成的 AI 研究系统。该系统与 Broad Institute 合作用于胰腺导管腺癌研究，从数千个化合物中筛选并优先排序候选分子，湿实验显示排名最高的化合物产生了最大的经典态到基底态细胞状态转变，整个筛选到候选验证过程仅用一个周末。
推荐理由：微软研究院公开 Quine 的生物学世界模型与实验编排框架，并给出胰腺癌化合物筛选的湿实验验证结果。
Microsoft Research Asia 新加坡实验室迎来成立一周年，这是微软在东南亚的首个研究实验室。该实验室围绕下一代 AI 模型与智能体系统、领域专用 AI、AI 原生研究实践、生态与人才培养四大方向展开工作，并在医疗健康领域与新加坡本地伙伴合作推进多模态医疗 AI 与自进化诊断智能体的落地。
GitHub Copilot 应用中的 canvas 是一种用户与智能体共享的可定制界面，可以是看板、问题分诊板、发布清单或仪表盘，双方都能实时修改。创建时只需打开智能体会话，输入 /create-canvas 技能并用自然语言描述要支持的工作流、用户可做的操作和智能体可做的操作，智能体就会生成界面并显示在右侧面板。
