从合成企业数据评测到提升 Microsoft Copilot 的 AI 置信度
微软构建 Industry Evaluation Data Generation Platform,通过全尺度合成企业环境评测 Microsoft Copilot,在不接触客户数据的前提下验证性能。该平台基于 O*NET、在线招聘与 SEC 申报等公开数据源,模拟具备真实时序的邮件、会议和组织架构。目前已针对制药、资本市场及 IT 软件构建三类仿真环境,用以发现通用基准难以覆盖的问题。
微软构建 Industry Evaluation Data Generation Platform,通过全尺度合成企业环境评测 Microsoft Copilot,在不接触客户数据的前提下验证性能。该平台基于 O*NET、在线招聘与 SEC 申报等公开数据源,模拟具备真实时序的邮件、会议和组织架构。目前已针对制药、资本市场及 IT 软件构建三类仿真环境,用以发现通用基准难以覆盖的问题。
微软研究院发布第 97 期《Research Focus》,汇总了 AI 智能体及科学计算等多项前沿研究成果。其中自改进智能体框架 ForkPilot 在 6 项基准测试中比肩现有最优方案,并将 AI 处理需求降低最高 59%。本期还展示了从操作日志学习技能的 TeleTune、代码智能体评测框架 CABRA 以及开启 public preview 的蛋白质模型 BioEmu2。
Google 团队提出受神经科学启发的睡眠框架(sleep framework),使大语言模型在活跃交互与离线睡眠阶段交替运行,将短期上下文记忆巩固为长期参数以解决灾难性遗忘。
艾伦人工智能研究所(Ai2)发布新研究《Old Ideas, Novel Problems》及配套基准与代码,发现大语言模型在充当科研创意新颖性裁判时表现极度不稳定。
推荐理由:研究指出了大语言模型在判定科研创意新颖性时的脆弱表现,为自动化科学发现系统的评估基准提供了测试工具与参考思路。
OpenAI 发布与学术社区合作的内容,公布模型在 Kakeya 猜想、指数时间假设(ETH)和量子色动力学三个问题上的结果。文中同时说明研究人员可以如何验证这些结果并在其基础上继续推进。
推荐理由:OpenAI 公开模型在三个数学与物理难题上的结果,并给出研究者复核与延伸的入口。
Hugging Face 与宾夕法尼亚大学合作开发了 LitPivot,该系统借助 Asta Paper Finder 检索的论文,围绕提案中被编辑的部分组织文献、给出带原文摘录的批评并建议修订。在 17 名研究者的实验室研究中,领域专家认为用 LitPivot 形成的想法比用文本编辑器加 AI 聊天工具更扎实地立足于文献。参与者还认为修订后的想法更具新颖性和实用性,对相关文献的理解也更强。
Google DeepMind 与 Google Research 联合 WRI、IIASA 发布全球森林类型地图 ForTy 2020,按 10 米分辨率将每块土地归入原始林、自然再生林、人工种植林、商品林、树作物与农林复合、其他土地六类,并对齐欧盟零毁林法规的 2020 年基准。
推荐理由:这张 10 米分辨率地图区分六类森林与土地利用,并提供 2017 至 2025 年逐年变化,可作为欧盟零毁林法规的核查参考。
基于 Qwen3-4B 的葡萄牙语作文评分系统通过 VocabX 重建词表,在基座模型、数据和训练配方不变的情况下,实测推理成本降低 77%。该系统的输出层矩阵从约 15.2 万行缩减至约 6.5 万行,因为解码阶段每个生成 token 都要读取整个 LM head 矩阵,且生成一个 token 的成本是读取一个 token 的 7.4 倍。
Google Research 在 JAMA Network Open 发表研究,评估其孕周评估 AI 模型在“盲扫”超声下跨临床场景与硬件的泛化能力。
推荐理由:论文给出了跨芝加哥和内罗毕两地、零本地优化条件下的误差对比,可以了解模型在真实诊所与便携探头上的泛化表现。
Microsoft Research 的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想,给出一项与维度无关的固定界。
推荐理由:这项证明本身是数学进展,更有价值的是把研究路径讲成了人机分工范式,读者可据此理解 AI 在科研协作中扮演的角色。
Google Research 发布研究博客,介绍用 VERID 框架和适配体、蛋白质设计两类闭环实验,把 AI 智能体从干实验(in-silico)设计推进到湿实验室执行。
推荐理由:Google Research 用三个具体项目说明了智能体如何接入湿实验室的物理执行与闭环实验,其中包含多轮失败模式的分析。
微软研究院发布零知识证明虚拟机 Magnetar,可证明用 Rust、Go、C 编写的程序,在 15 个基准程序上平均比现有最快的同类 zkVM 快 10 至 39 倍。它基于 RISC-V 架构,开发者无需手写密码学电路,安全性仅依赖 SHA-256、SHA-3 等标准哈希函数,不依赖椭圆曲线、格或可信设置。其证明校验时间约 12 毫秒,笔记本上每秒可证明 7.2 至 8.7 百万条处理器指令。
推荐理由:微软研究院的新零知识证明虚拟机宣称比现有最快同类的 zkVM 快 10 至 39 倍,并仅依赖标准哈希函数,读者可借此理解这条技术路线的取舍。
Google 发布关于地理空间推理智能体的技术报告,在四个基准上对比四种配置,包括独立 LLM、基础工具、Earth AI 工具和带前置规划的完整智能体,并公开 GeoKTools 与 GeoExpertQueries 两个新基准的开发集。
Google Research 在 Mountain View 的 Research@ 活动上展示了 10 项新进展,包括 Google Earth AI 扩大早期访问并新增实验性地理空间分析、行星预测引擎和 agent-to-agent API 三种接入方式。
Microsoft Research 提出 StudentSim,可用公开的去标识学习者记录为每个学生训练个性化 AI 学生模拟器,在真实学习者测试前评估和改进 AI 辅导系统。该研究报告在 chess、第二语言英语写作和数学上,StudentSim 优于领先基线,并提供有用的反馈信号。团队还发布 StudentSimEval 评测基准,从行为保真度与指导响应性两个维度评估模拟器。
Google Research 在 11 家知识产权律所的 133 名律师中开展三个月现场实验,随机向其中三分之二的律师开放当时尚未发布的 Google Labs AI 专利撰写助手(现属 Gemini Notebook)。
推荐理由:Google 团队通过三个月现场实验并配合去掉 AI 后的盲评,区分了 AI 带来的短期产出提升与长期专业判断的养成。
Google Research 以 Google Earth AI 的 Population Dynamics Foundation Model(PDFM)为概念验证,展示预训练位置嵌入可即插即用地接入现有流行病学模型,无需任务特定微调。
GitHub 发布 AI 代码审查离线基准 ReviewBench,包含 219 个公开 pull request、覆盖 19 种语言,并配有公开数据集和排行榜。
推荐理由:GitHub 公布 ReviewBench 的构建方法与 96.6% 专家标注一致率,并给出离线结果与线上 A/B 实验的对应案例。
微软研究院实习生开发了一套端到端机器学习系统,为美国本土66,935座变电站提供提前30-60分钟的空间天气风险预报。该系统结合L1太阳风观测、AE与Dst指数预报、地质电导率及电网数据,在2020-2026年评估期内识别出近80%的重大空间天气事件。GIC风险阶段对≥10 nT/min事件的检测率为76.5%,对≥50 nT/min的极端事件为64.1%。
伯克利 AI 研究团队提出 ABBEL 框架,用自然语言信念状态替换完整交互历史作为智能体工作上下文,并对信念状态的内容单独监督。该方法把信念评级作为辅助强化学习任务,在 CollabBench 协同编程中把与全上下文模型的性能差距缩小约 50%,训练步数从 100 降到 50。
Berkeley AI Research 的综述分析指出,并行推理正从固定的多线程采样与结构化搜索,走向由模型自行决定何时分解子任务、开启多少并行线程的自适应并行推理。
研究者提出基于梯度的规划器 GRASP,通过将轨迹提升到虚拟状态实现跨时间并行优化、向状态迭代加入随机性以探索,并重塑梯度让动作获得清晰信号。该方法针对长时程规划中计算图病态、非贪心局部极小和高维视觉模型梯度脆弱的问题,使世界模型的长时程规划更稳健。该工作与 Mike Rabbat、Aditi Krishnapriyan、Yann LeCun、Amir Bar 合作完成。
Berkeley AI Research 介绍 SPEX 与 ProxySPEX 两种算法,用于在大规模场景下识别驱动 LLM 输出的关键交互。SPEX 利用稀疏性与低阶性,把高维交互搜索转化为稀疏恢复问题,在数千特征下仍保持高 faithfulness;ProxySPEX 借助层级结构,仅用约 10x 更少的消融即可达到 SPEX 的性能。
加州大学伯克利分校团队提出一套按信息量直接评估与优化成像系统的框架,利用测量数据与已知噪声模型估计互信息,可预测解码器性能。在 NeurIPS 2025 论文中,该方法在彩色摄影、射电天文、无透镜成像与显微成像四个领域验证有效,优化后的设计可媲美端到端 SOTA 方法,且所需内存与算力更少、无需任务专用解码器。