大型科技公司的 AI 基建投入不会停，除非有人叫停
The Verge 梳理亚马逊、微软、Alphabet 和 Meta 的季度财报指出，四家公司今年资本支出合计至少 7200 亿美元，且 2027 年还将继续加码，但 AI 尚未带来相应回报。
#Microsoft
The Verge · AIAI 评分6060 TechCrunch · AIAI 评分6060 AI 数据中心因电网接入排队转而用改装喷气发动机自发电
部分 AI 数据中心因电网接入和新涡轮机排队多年，开始用退役飞机改装、烧天然气的喷气发动机自建电力。Rystad Energy 分析师称这类机组可让数据中心在 24 个月内运行，而在北弗吉尼亚接入 100 兆瓦电网约需七年。
MIT Technology Review · AIAI 评分6262 智能体网络已经到来：AI Agent 正在改写人类网页
MIT Technology Review 发文指出，随着 Meta 的 Muse、OpenAI 的 Dots 和 Anthropic 的 Claude Duet 等智能体获得邮箱和银行账户访问权限，伯纳斯-李设想的语义网正以智能体网络的形式成为现实。
Microsoft ResearchAI 评分5858 微软研究院发布 Flint-interactive，让 AI 智能体生成可交互数据可视化
微软研究院发布 Flint-interactive，一种在 Flint 之上创建交互式数据可视化的语言，让智能体生成支持点击、筛选、缩放、高亮和跨图表联动的图表。它通过 Flint 编译器把原始点击拖拽解析为语义事件，用户只需用高层操作符描述交互逻辑，无需编写底层渲染代码。该语言已可通过 Flint-MCP 和 MCP Apps 在聊天环境中使用，开发者也能用编程 API 构建仪表盘和自定义交互。
Microsoft Research精选AI 评分7878 微软研究院等证明31年悬而未决的KLS猜想
微软研究院张新志与Zhao Song证明1995年提出的KLS猜想，确认高维对数凹分布的最佳平面切割与任意形状切割之差可由与维度无关的常数界定。作者以人机协作的智能体搜索探索了100多条候选路径，由研究者筛选方向并完成论证，另有独立团队同日给出完整证明，随后出现Lean 4形式化验证。该结果使此前依赖该猜想的研究可无条件成立。
推荐理由：这篇论文证明了一个悬置31年的高维几何猜想，并展示了研究者如何引导AI智能体筛选上百条路径。
Microsoft Research精选AI 评分6262 微软研究院发布 Magnetar：基于标准哈希函数的通用零知识证明系统
微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序，在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍，证明验证约 12 毫秒。
推荐理由：微软研究院梳理十余年零知识证明研究脉络，说明 Magnetar 如何在速度、通用性和后量子安全上同时推进。
GitHub Blog · AI & MLAI 评分4848 GitHub 新密钥检测模型：用更少噪声发现更多密钥
GitHub 用微调后的 ModernBERT 分类器替换原有 LLM 流水线，做上下文感知的密钥检测。新方案使推送后扫描中位执行时间降低 86%、服务成本降低 98% 以上，告警接受率提升 11.5%。流水线先用正则生成候选，再由分类器结合文件路径、变量名和周边代码判断是否为真实凭据，并已将通用密钥检测扩展到推送保护。
Microsoft ResearchAI 评分5252 微软研究院提出 StudentSim：用个性化学生模拟器评估和改进 AI 导师
微软研究院提出 StudentSim，从公开的去标识化学习记录训练个性化学生模拟器，用于在真实学习者测试前评估和改进 AI 导师。研究同时发布 StudentSimEval 基准，覆盖国际象棋、第二语言英语写作和数学三个领域，从行为保真度和对指导的响应度两个维度评估模拟器。
GitHub Blog · AI & MLAI 评分5858 GitHub 推出基于 ModernBERT 的通用密钥检测模型
GitHub 发布基于 ModernBERT 的通用密钥检测分类器，可在 2 毫秒内评估一批候选密钥，并称可将可拦截的密钥数量提升一倍以上。该模型与 Microsoft Applied Sciences 合作构建，利用上下文识别数据库 URL、Kubernetes Secret manifest 和 Dockerfile 中无固定格式的密码类值。
GitHub Blog · AI & MLAI 评分5858 GitHub 发布 AI 代码审查开放基准 ReviewBench
GitHub 发布代码审查离线基准 ReviewBench，包含 219 个公开 PR、覆盖 19 种语言，分布参照 103.9M 个 GitHub PR 建模。基准采用多来源黄金集与统一评分规则，由资深工程师独立复核，真阳性判断一致率 96.6%。它提供 grounded 与 augmented 两族指标，可按严重程度和类别切片，并支持提交自有审查智能体上排行榜。