Crusoe 将有问题的 Wyoming 数据中心项目出售给 Google
Crusoe 已将位于 Wyoming 的未完工数据中心项目出售给 Google，Google 计划投资 $17 billion 开发该数据中心园区。Crusoe 是一家成立于八年的数据中心开发商，目前在德克萨斯州 Abilene 正在为 Oracle 和 OpenAI 建设园区，并为 Microsoft 建设 900-megawatt 园区。
#Microsoft
TechCrunch · AIAI 评分1515 GitHub Blog · AI & ML精选AI 评分6868 GitHub Copilot 开发者指南：超越代码生成实现智能体工程
GitHub Copilot 提供了 Agentic Engineering 工作流的实践指南，涵盖 Plan、Build、Verify 和 Observe 四个阶段。开发者可利用 Copilot 在 Slack/Teams 中整合分散上下文、创建 GitHub Issues、使用 Plan Mode 制定计划，并利用 Session continuity 跨设备持续工作。
推荐理由：文章阐述了 Agentic Engineering 工作流的四个阶段，帮助开发者将精力从重复劳动转移到决策制定上。
TechCrunch · AIAI 评分6060 数百个Artex AI 渗透测试工具被公开暴露于网络
安全研究人员发现数百个中国制造的开源AI渗透测试工具Artex被公开暴露于互联网，可能被用于网络攻击。Censys 扫描发现超过 800 个无需密码即可访问的 Artex 部署，该工具曾被用于针对韩国金融业和 ConnectWise 等的重大网络攻击。
AWS Machine Learning BlogAI 评分5555 Amazon Quick 智能体原语分类法介绍
Amazon Quick 团队分享了智能体工作原语的分类法，通过 When What Who How 四个问题分解了智能体工作。系统定义了 Trigger Agent Capabilities 三个核心原语，其中 Agent 是一个持久学习的 Actor，Capabilities 包括 Tools Skills 和 Workflows。
The Verge · AIAI 评分1515 Protesters break into Microsoft data center site in Amsterdam
约100名抗议者于今早闯入位于阿姆斯特丹的微软新数据中心建设工地，抗议活动由Geef Tegengas组织，抗议者悬挂“fuck AI”和“Microsoft powers genocide”等横幅。该项目计划自2016年起推进，尽管阿姆斯特丹市于2030年前禁止新建数据中心，但该工地通过漏洞得以建设。此次抗议是欧洲范围内针对数据中心建设浪潮的一部分。
Microsoft Research精选AI 评分8585 使用 PDD Kit 形式化验证 Agent 编写的全栈 Web 应用
Microsoft Research 发布 PDD Kit 工具包，用于形式化验证 Agent 编写的全栈 Web 应用，以 Pet Store 的 Rust 前端和后端登录逻辑为例。PDD Kit 将用户意图转化为 Verus 形式化规范，自动生成证明和高质量测试，开发者只需审查意图而非逐行代码。
推荐理由：PDD Kit 帮助将意图转化为形式化规范，并使用 Verus 证明 Agent 生成的代码满足该规范，将软件审查重点从代码转向意图。
The Verge · AIAI 评分4545 Big Tech’s big AI buildout will not end until someone stops it
Amazon, Microsoft, Alphabet, and Meta 计划今年单独在 AI 基础设施上支出至少 $7200 亿美元，并承诺未来几年投入至少 $1 万亿美元。
The Verge · AIAI 评分3535 Please stop asking me when the AI bubble will pop
PIMCO CEO Emmanuel Roman 警告 AI 市场可能出现下行周期，估计未来五年 AI 建设将产生 $2 trillion 的融资需求。Meta 募集了 $58 billion 的债券订单，Oracle 需额外募集 $20 billion，Alphabet 正在出售 €6 billion 债券。
TechCrunch · AIAI 评分2020 Data centers 转向使用旧喷气式发动机应对电力等待期
xAI 已在密西西比州安装了八台由 ProEnergy 重建的 GE 喷气式发动机涡轮机，为其 Colossus 2 数据中心供电；OpenAI 也在德克萨斯州阿比林的第一个 Stargate 站点使用了燃气涡轮机。使用改装喷气式发动机可使数据中心在 24 个月内投入运行，而连接 100 兆瓦至电网在北弗吉尼亚需要约七年。
Microsoft ResearchAI 评分2525 Learn the rules: The hacker mindset
Microsoft Research Manager Mike Walker 讨论了理解规则的重要性，认为规则是社会建构而非单纯的限制。他曾参与 DARPA 的 Cyber Grand Challenge，该项目展示了自主 AI 系统发现和修补软件漏洞的能力。Walker 强调有效安全依赖于理解信任和上下文，而非仅依赖即时裁决。
AWS Machine Learning Blog精选AI 评分6565 Amazon Bedrock 支持 Kimi K3 在印度本地推理以满足数据驻留要求
Amazon Bedrock 现在支持 Kimi K3 在印度本地推理，通过 in.moonshotai.kimi-k3 推理配置文件，满足严格的数据驻留要求。客户 Ultrahuman 报告使用该功能后，通过提示词缓存将 LLM 成本降低了 80%，多轮聊天速度提升了 85%。文章提供了 OCR 和理解 Indic-language 文档的示例代码，并介绍了跨区域推理选项和成本优化策略。
推荐理由：AWS 介绍了 Kimi K3 在 Amazon Bedrock 上支持印度本地推理，满足严格数据驻留要求，并提供了 OCR 和 Indic-language 文档理解的实践代码。
Latent Space精选AI 评分7878 Legora CTO 谈构建法律 AI 智能体：从 ChatGPT 到 Tabular Review
Legora CTO Jacob Lauritzen 讨论了为律师构建 AI 智能体所需条件，该公司已实现 $100M ARR 且拥有超过 1,800 个客户。Legora 采用模拟 RL 环境进行评估，而非直接读取客户数据，所有基础设施运行在 Azure 以满足数据隐私要求。
推荐理由：Legora 的实践展示了 AI 智能体在法律领域的应用路径，强调了数据隐私和模拟环境评估的重要性。
The DecoderAI 评分3333 Goldman Sachs 撤销 AI 编码工具对交易员和银行家的使用
Goldman Sachs 已限制大多数员工使用 Anthropic's Claude Code 和 Microsoft's GitHub 等高级 AI 编码工具，仅允许工程师使用。此前交易员和银行家曾使用这些工具监控交易流和内容创建，但公司因“生产力与风险管理”等多种因素进行了调整。目前该工具的使用已从实验阶段转向限制在最适合长期利用的员工群体。
The DecoderAI 评分3939 Microsoft 提议对约 60,000 名员工提供自愿遣散方案 保护 AI 关键团队
Microsoft 提议对约 60,000 名员工提供自愿遣散方案，覆盖美国、加拿大、印度和英国的副总裁及以下级别，但排除数据中心、销售、网络安全和量子计算等 AI 战略关键领域。公司计划在 2026 年花费约 $170 billion 用于 AI 基础设施，尽管员工总数维持在约 223,000 人。这是该公司在 2026 年的第二次此类计划。
TechCrunch · AIAI 评分4040 Cracks are emerging in the AI spending boom
Alphabet, Amazon, Meta, 和 Microsoft 计划今年在 AI 基础设施上支出超过 $740 billion，但投资者对负自由现金流和债务担忧加剧。
The Verge · AIAI 评分4545 OpenAI, Google, Microsoft, Anthropic 支持新的 AI 爬取选择退出标准
OpenAI, Google, Microsoft 和 Anthropic 将采用新的标准，允许出版商通过网站的 robots.txt 文件设置 AI 训练偏好，而非单独向各 AI 公司设置。
Microsoft ResearchAI 评分4545 Microsoft Research 从合成企业数据评估到 Microsoft Copilot AI 置信度
Microsoft Research 构建了 Industry Evaluation Data Generation Platform，利用 O*NET occupational data、在线招聘信息和 SEC filings 等公开数据生成全规模合成企业环境，以解决真实企业数据敏感性与评估需求间的矛盾。
The Verge · AIAI 评分3030 Wikipedia 运营方称不良 AI 版权裁决可能威胁开放网络
Wikimedia Foundation 在 AI 版权案件中寻求中间立场，主张保护 LLMs 基于受版权作品的训练，但不应保护向用户重复这些作品的聊天机器人输出。该组织认为，过于绝对的裁决可能剥夺维基百科的 AI 工具或危及开放网络，并提出爬取网站不构成侵权，但用户查询时直接输出受版权材料则需遵守许可要求。
TechCrunch · AIAI 评分2020 AWS 业务有望达到 $1T 营收，但需先加大资本支出
Andy Jassy 认为 AWS 有潜力成为年收入达 $1T 的业务，AWS 季度收入同比增长 39%，连续第六个季度稳步增长。公司预计 2026 年资本支出约为 $220 billion，并计划在 2027 年投入更多资金以支持 AI 驱动的增长，目标是 2027 年和 2028 年收入增长超 40%。
Microsoft ResearchAI 评分4545 Microsoft Research Focus – Edition #97
ForkPilot 是一个自改进的 agentic 框架，在六个基准测试和领先 AI 模型上，将 AI 处理需求降低了高达 59%，提高了复杂问题的可靠性和效率。
The Verge · AIAI 评分3535 Microsoft’s AI future has fewer jobs
Microsoft 正向约 60,000 名美国、英国、加拿大和印度员工提供自愿离职方案，这是公司扩大退休方案后的首次大规模提议。截至 6 月 30 日，Microsoft 员工总数约为 223,000 人，较 2025 年的 228,000 人减少了 5,000 人。此举旨在通过降低运营成本和人员数量来避免削减对 AI 基础设施的投资。
The Verge · AIAI 评分6161 AI产业在亚利桑那州引发水资源争论与经济转型
台积电（TSMC）在亚利桑那州的运营带来了经济繁荣，但新的超大规模数据中心开发项目对水资源的需求引发了当地居民的强烈反对。TSMC日消耗近500万加仑水，而数据中心项目如Project Blue也需大量水，但TSMC有回收机制，且其带来的就业和经济效益被当地经济发展官员视为区域发展的关键驱动力。
TechCrunch · AIAI 评分1515 Microsoft 连续十个季度实现创纪录营收
Microsoft 报告季度营收达 $92.3 billion，同比增长 19%，实现连续 10 个季度创纪录营收，净收入达 $36.6 billion，同比增长 32%。其中 Microsoft Cloud 营收达 $63.9 billion，同比增长 30%，Azure 贡献 $33.2 billion，同时从 OpenAI 获得 $10 billion 营收。
TechCrunch · AIAI 评分2727 Microsoft 记录来自 OpenAI 的 100 亿美元收入
Microsoft 在截至 9 月 30 日的季度中，从与 OpenAI 的商业安排中获得了 100 亿美元收入，占 Microsoft 季度总收入 923 亿美元的近 11%。
TechCrunch · AIAI 评分1515 Microsoft 披露 Azure 7-9 月季度收入达 $33.2 billion
Azure 在 2026 年 7-9 月季度收入达 $33.2 billion，同比增长 48%，超过分析师预期的 $32.3 billion。该收入占 Microsoft 季度总收入 $92.3 billion 的约 36%，是 Microsoft 增长最快的产品线。Google Cloud 在同期收入为 $30.7 billion，但增长速度约是 Azure 的两倍。
OpenAI NewsAI 评分2323 OpenAI 与 ServiceNow 扩大合作以将 OpenAI 模型和 Agent 引入 ServiceNow 工作流至 ChatGPT 和 Codex
OpenAI 与 ServiceNow 扩大合作，将 OpenAI 模型和 Agent 整合到 ServiceNow 平台及工作流中。此次合作使 ServiceNow 工作流能够集成到 ChatGPT 和 Codex 中。
The Verge · AIAI 评分1515 Microsoft 终止 Copilot 在智能电视上的支持
Microsoft 决定在所有智能电视上终止 Copilot 功能的支持，该功能此前在 LG 和 Samsung 的智能电视上可用。屏幕通知显示该功能计划在 2026 年内停用，具体日期取决于 Microsoft 的时间表。Copilot 原本是智能电视上的 AI 伴侣，可用于聊天、提问或获取影音推荐。
Simon WillisonAI 评分1515 Quoting Terk Terkowitz
工程师应明确记录其工作未受益于当前 AI 工具的原因，而非视为个人能力不足。应将此发现分享给同侪社区和经理，并共同寻求解决方案。能够解释 AI 尚未帮助其工作的工程师，正展现了所需具备的判断力。
MIT Technology Review · AIAI 评分2525 Industrial Intelligence: 制造业的下一增长机遇
制造业的工业智能是将经验、操作实践、生产数据和业务理解转化为可决策的知识，目标是驱动盈利增长而非单纯增加 Agent。Toyota Industries 通过连接分散的喷漆车间数据，将分析周期从五天缩短至不足四小时，并使相关喷漆缺陷减少约 25%。Rockwell Automation 在新加坡工厂部署的维护 copilot 将新员工学习数百台机器的故障排除时间从九个月缩短至三月。
The Verge · AIAI 评分7070 微软向6万名员工提供自愿离职方案
微软向美国、英国、加拿大和印度的6万名员工提供自愿离职方案，帮助他们获得财务支持和职业规划资源。该方案覆盖AI体验、Copilot、CoreAI、Windows+Devices、Xbox、财务和人力资源等团队，部分云+AI、MicrosoftAI、企业、外部和法律事务团队也参与；营销、商业业务、发现与量子以及安全团队不参与。此举是在4,800名员工裁员后，微软继续调整人力资源结构的举措。
Latent Space精选AI 评分7878 AI领域“黑十月”事件回顾：漏洞披露、模型发布与安全趋势
“黑十月”期间AI加速的漏洞披露淹没了防御方，包括PHP2Shell、GitLab CVSS 10 缺陷和LiteLLM密码窃取等事件；月度CVE报告从约4k增至15k。
推荐理由：材料梳理了“黑十月”期间的AI安全事件、模型发布和行业动态，可了解当前AI领域的风险与技术前沿。
Microsoft ResearchAI 评分5555 Flint-interactive：创建交互式数据可视化的语言
Flint-interactive 是一种用于创建交互式数据可视化的语言，支持通过点击、过滤、缩放、突出显示和跨图表交互等方式与图表交互。它利用高层语义事件和更新操作简化交互逻辑，Flint 编译器自动解析触发器并生成视觉更新，降低布局、渲染和调试难度。Flint-interactive 可在聊天、仪表盘、数据故事等场景中使用，并支持与表格、文本、应用状态等外部元素联动。
Microsoft ResearchAI 评分3232 Microsoft Research 解决 31 年未解的 KLS conjecture
Microsoft 研究人员结合人类指导的 AI 智能体解决了 31 年未解的高维几何和概率中的 Kannan-Lovász-Simonovits (KLS) conjecture。该结果确立了 log-concave 分布的通用几何原理，表明简单平面切割可在固定因子内捕获最窄瓶颈，且与维度无关。该突破为随机算法的效率理解移除了主要理论障碍，并获得了多方独立验证。
GitHub Blog · AI & MLAI 评分3535 How 3 Java Champions are using GitHub Copilot for increased productivity
三位拥有十年以上经验的 Java 专家分享了如何使用 GitHub Copilot 提高生产力，例如 Vlad Mihalcea 使用 Copilot 将原本需数周的任务缩短至两天。
Microsoft ResearchAI 评分2727 Microsoft Research Catalyst Lab 领袖 Chris White 访谈：被召唤去服务——技术、研究与正面影响
Chris White 现任 Microsoft Research Catalyst Lab 负责人，曾在 DARPA 领导阿富汗技术项目，并研发黑网搜索工具打击人口贩运，获 2016 年总统奖。
Microsoft ResearchAI 评分5656 StudentSim：模拟学生学习以改进 AI 辅导系统
StudentSim 是一个研究系统，用于在与真实学习者测试前评估和改进 AI 导师，它不是产品且不部署于课堂。该系统利用公开的去标识化学习记录训练个性化 AI 学生模拟器，并引入 StudentSimEval 基准，覆盖国际象棋、英语写作和数学三个领域。
Microsoft Research精选AI 评分6868 Agent Lightning v1.0：3,500 行轻量化 Agentic RL 框架，支持真实代理器训练
Microsoft Research Asia 发布了 Agent Lightning v1.0，一款约 3,500 行代码的轻量化 Agentic RL 框架，能够直接使用真实代理器进行强化学习训练。框架支持 Kubernetes 原生运行、数据高效训练，并在 Qwen3.5-9B 上通过 6,000 条样本提升 Pass@1 从 41.8% 提升至 56.4%，实现 14.6 点的显著提升。
推荐理由：该框架通过将真实代理器集成到强化学习中，显著提升了 Qwen3.5-9B 在 SWE-bench Verified 上的 Pass@1，展示了轻量化、Kubernetes 原生支持和数据高效训练的可行性。
Microsoft ResearchAI 评分4545 What AI gets wrong and what failure teaches us
Microsoft Research 的 Jennifer Neville 与 Chad Atalla 探讨了 AI 系统性能边界的评估作用以及模型超越传统基准时出现的“意外失败”。
GitHub Blog · AI & ML精选AI 评分7373 ReviewBench：AI 代码审查开放基准
ReviewBench 是 GitHub 推出的公开 AI 代码审查基准，基于 1.039 亿个真实 GitHub 拉取请求构建，精选 219 条拉取请求，覆盖 19 种语言，保持与 GitHub 语言和仓库大小分布一致。
推荐理由：ReviewBench 提供了可复现的 AI 代码审查基准，帮助团队评估和改进审查模型。
Microsoft ResearchAI 评分4646 预测电网空间天气风险
Microsoft Research 开发端到端机器学习管道，能在美国大陆 66,935 个变电站上提前 30~60 分钟预测空间天气风险，并在评估期内检测到近 80% 的重大事件。系统融合 L1 太阳风观测、AE 与 Dst 指数预测、地质导电率等特征，利用梯度提升模型估算 dB/dt，检测率分别为 76.5%（重大）、81.2%（严重）和 64.1%（极端）。