微软研究院发布 Magnetar：基于标准哈希函数的通用零知识证明系统
微软研究院发布零知识虚拟机 Magnetar，可证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程，在笔记本上每秒证明 720 万至 870 万条处理器指令。
推荐理由：微软研究院公开 Magnetar 的设计与基准数据，可了解零知识证明在通用程序上的性能与密码学取舍。
#Microsoft
Microsoft Research精选AI 评分6262
量子位精选AI 评分7878 Jev 母公司 TypeSafe AI 完成 8.7 亿美元 A 轮融资，估值达 75 亿美元
TypeSafe AI 宣布完成 8.7 亿美元 A 轮融资，投后估值 75 亿美元，距其 9 月 15 日 4000 万美元种子轮融资仅 24 天。其决策模型 Jev 砍掉生成功能只做判断，输出 token 永久免费、输入每百万 Token 0.042 美元，a16z 披露其上线 3 天处理量达 1 万亿 Token，约三分之一《财富》500 强企业已使用或接入。
推荐理由：Jev 母公司 24 天内估值从 2 亿美元升至 75 亿美元，可看到决策模型这条新赛道如何被资本与巨头同时押注。
爱范儿精选AI 评分7878 微软发布 Surface Laptop Ultra 与 Windows 混合智能更新
微软在 Windows 与 Surface 特别发布会上推出 Surface Laptop Ultra，搭载 NVIDIA RTX Spark Superchip，最高 128GB 统一内存，可在本地运行超过 1200 亿参数模型，起价 2599 美元，10 月 7 日开放预订、10 月 16 日供货。
推荐理由：微软把 Windows 从 Copilot 入口推进为本地与云端调度 Agent 的平台，读者可据此判断 AI PC 的硬件与安全边界。
爱范儿精选AI 评分7878 微软与英伟达发布 RTX Spark 及 Surface Laptop Ultra
微软在 Windows 与 Surface 特别活动上联合英伟达发布 RTX Spark 计算平台，这是一块集成 CPU、GPU 和最高 128GB 统一内存的 ARM 架构 SoC，最高 1 PFLOP FP4 AI 算力，可在本地运行 1250 亿参数模型。
推荐理由：梳理微软与英伟达联合发布的新架构与 Surface 新品，可看清本地 Agent 算力路线的具体取舍。
GitHub Blog · AI & ML精选AI 评分6262 GitHub 推出基于 ModernBERT 的密钥检测模型，扩展 push protection
GitHub 发布与 Microsoft Applied Sciences 联合微调的 ModernBERT 分类器，用代码上下文识别非结构化密钥，可在 2 毫秒内评估一批候选密钥，据称能把可拦截的密钥数量提升一倍以上。
推荐理由：GitHub 用九个季度数据说明密钥泄露与代码量同步增长，并给出把检测前移到 push 环节的模型方案。
Microsoft Research精选AI 评分6666 微软研究院开源 Agent Lightning v1.0：3500 行轻量级智能体 RL 框架
微软研究院开源 Agent Lightning v1.0，一个约 3500 行代码的轻量级智能体强化学习框架，提出 Harnessed Agentic RL 范式，让部署时使用的同一 agent harness 直接参与训练，无需在训练框架内重新实现智能体。
推荐理由：微软研究院开源 Agent Lightning v1.0，给出真实 harness 参与 RL 训练的思路与 3500 行代码实现，可迁移到自有智能体训练流程。
GitHub Blog · AI & ML精选AI 评分6262 GitHub 发布 ReviewBench：面向 AI 代码审查的开放基准
GitHub 发布 ReviewBench，一个面向 AI 代码审查的开放离线基准，基于 1.039 亿个 GitHub pull request 的分布特征构建，包含来自 187 个开源仓库、覆盖 19 种语言的 219 个 pull request。
推荐理由：GitHub 公开了代码审查基准的构建方法与评分口径，读者可据此理解 AI 代码审查能力如何被量化比较。
爱范儿精选AI 评分8888 OpenAI 开发者大会发布 Dot、ChatGPT Space 与 GPT-6.1 Sol
OpenAI CEO Sam Altman 在开发者大会上一口气公布 Dot、ChatGPT Space、GPT-6.1 Sol、UltraFast、Pro 500、Decisions API、Agents API、云端 Codex 和 OpenAI Marketplace 等更新，主线是把模型、智能体、协作空间和商业分发连成平台。
推荐理由：发布会一口气铺开 Dot、Space、GPT-6.1 Sol 与 Agents API，可据此看清 OpenAI 把 ChatGPT 推向智能体平台的完整拼图。
Microsoft Research精选AI 评分6666 微软研究院推出 Quine：面向生物学复杂性的 AI 研究系统
微软研究院发布 Quine，一个面向生物学复杂性的 AI 研究系统，由跨模态生物世界模型和连接科学工具、文献、湿实验与研究者的交互式 harness 组成。该系统与 Broad Institute 合作用于胰腺导管腺癌研究，从数千个化合物中筛选出可驱动肿瘤细胞状态转变的候选物，最高排名化合物在湿实验中产生了最大的预期状态转变，整个筛选到验证过程仅用一个周末。
推荐理由：微软研究院公开 Quine 的生物世界模型与实验闭环，并给出胰腺癌化合物筛选的湿实验验证结果。
GitHub Blog · AI & ML精选AI 评分6060 GitHub Copilot 入门教程：如何用 canvases 构建自定义工作流
GitHub Copilot 应用中的 canvas 是一种可自定义界面，用户和智能体共享同一份状态，可做成看板、issue 分诊板、发布清单、仪表盘、表单甚至表格。
推荐理由：原文给出用 /create-canvas 从自然语言描述生成可双向协作界面的完整步骤，可迁移到自定义工作流搭建。
The Decoder精选AI 评分7878 微软改版 Copilot，新增 Autopilot 智能体并转向按量计费
微软为 Copilot 推出基于 OpenClaw 构建的 Autopilot 智能体，并把 Copilot 应用拆分为 Home、Code、Autopilot 三个部分。
推荐理由：微软把 Copilot 拆成 Home、Code、Autopilot 三块并转向按量计费，读者可据此判断企业 AI 采购成本结构的变化。
Microsoft Research精选AI 评分6060 微软研究院：将物理 AI 推理卸载到边缘或云端可提升机器人性能与续航
微软研究院对移动操作机器人工作负载做了系统性测量，发现把物理 AI 推理从机器人端侧 GPU 卸载到边缘或云端 GPU，可提升任务成功率、支持更大模型并延长电池续航。
推荐理由：微软研究院系统测量了机器人端侧推理的瓶颈，并给出可复用的 Kubernetes 卸载方案与开源工具链。
The Decoder精选AI 评分7878 纽约时报等原告提交92页文件，用OpenAI与微软内部言论质疑合理使用抗辩
《纽约时报》联合每日新闻集团、Ziff Davis、调查报道中心等原告在纽约联邦地区法院提交92页简易判决书，引用开示程序中披露的内部邮件、Slack消息和宣誓证词，寻求数十亿美元赔偿。
推荐理由：《纽约时报》等原告提交92页简易判决书，引用内部邮件与证词，读者可据此了解合理使用抗辩面临的具体证据压力。
The Decoder精选AI 评分8282 OpenAI 向顶级 ChatGPT 套餐推出 GPT-6 Astra，消息配额约为 GPT-5.6 Sol 的一半
OpenAI 已通过 ChatGPT Work 和 Codex 向 Pro、Enterprise 和 Business Premium 套餐用户开放 GPT-6 Astra，该模型同时可在 OpenAI API、Microsoft Azure 和 AWS Bedrock 上使用，Plus 和 Business 用户将在未来几天获得访问权限。
推荐理由：原文列出了 GPT-6 Astra 在各档订阅中的消息配额，读者可据此比较它与 GPT-5.6 Sol 的可用量差异。
The Decoder精选AI 评分7878 美国司法部在纽约时报版权案中支持 AI 训练属合理使用
美国司法部在纽约时报等权利人起诉 OpenAI 与 Microsoft 的合并诉讼中提交意见，主张用受版权保护的材料训练 AI 模型属于合理使用，理由是训练阶段的复制未公开、输出与原作通常缺乏实质性相似，将训练与输出混为一谈的市场损害理论在法律上不成立。
推荐理由：美国司法部在纽约时报诉 OpenAI 与 Microsoft 案中主张训练属合理使用，读者可了解这一立场与版权局报告的分歧。
已经到底了