公司与模型
微软的 AI 布局：Copilot 全家桶、Azure AI 基础设施与 OpenAI 合作关系的持续追踪。
8 条精选近 30 天 7 条共收录 1,787 条
微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明结果与维度无关，并保持在一个固定常数范围内。此前 2026 年 7 月的最好结果仍允许该界随维度缓慢增长。证明过程采用人类主导的智能体搜索，探索了 100 多条候选路径；同期另有独立团队给出完整证明，并已有 Lean 4 形式化验证。
推荐理由：这篇论文给出了 KLS 猜想证明的完整脉络，并说明人类主导、AI 智能体并行探索的研究流程如何参与其中。
NVIDIA 宣布 RTX Spark 笔记本即日起开售，将 RTX 显卡与 NVIDIA 全栈 AI 平台整合进轻薄 Windows PC，面向加速创作、沉浸式游戏和本地 AI 场景。华硕、戴尔、惠普、联想、微软和微星将陆续推出相关机型。
推荐理由：原文给出 RTX Spark 笔记本的定位与合作厂商，读者可据此了解本地 AI 能力在 Windows PC 上的落地形态。
微软研究院发布零知识虚拟机 Magnetar，可证明用 Rust、Go 或 C 编写的 RISC-V 程序执行，在 15 个基准程序上比现有最快 zkVM 平均快 10 到 39 倍，证明验证约 12 毫秒。
推荐理由：微软研究院公开 Magnetar 的技术设计与基准数据，可了解零知识证明在通用程序上的性能与密码学取舍。
MIT 等机构研究人员在 Nature 发表论文，提出一种机器学习后处理层，通过学习并修正现有预报模型的误差，将两到六周次季节预报的准确率提升一倍，并在 ECMWF 的预报竞赛中夺得第一。该模型首次在次季节尺度上稳定优于气候平均值，并显著改善极端天气预测，可作为附加模块用于任意预报模型，且已开源、运行成本低。肯尼亚气象部门已联系团队，计划用其改进季风季预报以提升农业产量。
推荐理由：该研究用后处理层把两周以上预报准确率翻倍，并首次在次季节尺度上超过气候平均，对农业与能源调度有直接参考。
在旧金山 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 训练的思路与实测增益。
微软发布更新修复至少974个安全漏洞，为其单次补丁批次规模最大的一次，其中CVE-2026-81963和CVE-2026-85880两个零日漏洞正被积极利用，均可提升Windows系统权限。
推荐理由：原文给出微软单月修复近千个漏洞的规模、两个在野利用零日与多个高危 CVE 编号及评分，并引用安全从业者对补丁优先级与测试部署压力的判断，便于安全团队评估本月修复节奏。