微软与 Hugging Face 开源 ThinkingBox-Training:把数据库校验结果变成 Agent 的 RL 奖励
微软与 Hugging Face 开源 ThinkingBox-Training,把 ThinkingBox 对数据库终态的确定性校验直接当作 RL 奖励,用于训练 Agent。
推荐理由:微软与 Hugging Face 联合开源了把数据库终态校验转成 RL 奖励的训练栈,并给出 Qwen3.8-27B 的可复现配置。
微软与 Hugging Face 开源 ThinkingBox-Training,把 ThinkingBox 对数据库终态的确定性校验直接当作 RL 奖励,用于训练 Agent。
推荐理由:微软与 Hugging Face 联合开源了把数据库终态校验转成 RL 奖励的训练栈,并给出 Qwen3.8-27B 的可复现配置。
微软的 MAI-DxO 系统在《Science》发表的研究中,对《新英格兰医学杂志》复杂病例的模拟诊断准确率为 83%,而单独作答的全科医生和内科医生为 36%,但这些复杂病例通常由专科医生或团队处理,未纳入对比。
微软公布名为 Diagnostic Orchestrator 的 AI 诊断系统,称其在测试中诊断准确率最高达人类医生的四倍,相关结果发表在 Science 上。
Google DeepMind 与 Google Research 联合 WRI、IIASA 发布 Forest Typology(ForTy)2020,把全球每 10×10 米地块划为六类森林与土地利用类型,并同步提供 2017 至 2025 年的逐年变化时序。
OpenAI 与 PerturbAI、Scripps Research 合作,用数千个基于 GPT-Rosalind 的 AI 智能体分析数百万个小鼠细胞的全脑 CRISPR 图谱,全程耗时 32 分钟,而人工完成同类分析估计需要数月到一年。
Dharma-AI 预告即将发布的 VocabX 论文,提出按 token 成本而非频率特化小模型词表,在基于 Qwen3-4B 的葡萄牙语作文评分器上把平均响应从 350 个 token 降到 101 个,实测推理成本下降 77.0%,bench 分数从 0.703 升到 0.810。
Google Research 在 JAMA Network Open 发表研究,用 AI 模型解读未经超声培训的操作者采集的盲扫超声图像来估计孕龄。在 385 名 16 至 36 周孕妇的队列中,模型平均绝对误差为 4.18 天,专家标准流程为 4.48 天;芝加哥适配后为 4.10 天,内罗毕零本地优化为 4.27 天。
推荐理由:研究在芝加哥与内罗毕两地验证同一模型对盲扫超声的孕龄估计,可看跨硬件与跨人群的泛化边界。
微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits(KLS)猜想,证明该猜想中的界与维度无关。
推荐理由:读者可以看到人机协作如何被拆成可复用的搜索与剪枝流程,以及独立证明和 Lean 形式化如何构成交叉验证。
Google Research 发布 VERID 框架,为实验室工作单元建立可实时更新的 3D 语义数字孪生,让智能体在执行前检查孔板体积、模拟协议并拦截物理上不可行的指令。
推荐理由:Google Research 用 VERID 数字孪生和闭环实验,展示智能体如何在湿实验室里验证假设并自我修正。
微软研究院发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的程序,在 15 个基准程序上平均比现有最快的同类 zkVM 快 10 到 39 倍,证明验证约需 12 毫秒。
Google 发布 Geospatial Reasoning 智能体的技术报告,在 CBGB、UnivEARTH 及自研的 GeoExpertQueries、GeoKTools 四个基准上对比四种配置,结论是 Earth AI 专用技能显著提升定量空间任务表现,开放式问题还需前置规划。
推荐理由:技术报告给出四组配置在四个基准上的对比,并公开两个新基准的开发集,可看领域工具与前置规划各自的作用。
微软研究院提出 StudentSim,从公开的去标识化学习记录训练个性化学生模拟器,用于在真实学习者测试前评估和改进 AI 导师。研究同时发布覆盖国际象棋、第二语言英语写作和数学的基准 StudentSimEval,从行为保真度和对指导的响应性两个维度评估模拟器。
Import AI 476 聚焦三项进展:Elorian 与 Scale AI 发布 Humanity's Sixth Sense 基准,含 522 道题、288 张图和 234 段视频,人类 pass@1 达 93.1,最佳模型 GPT 6 Astra 仅 53.6,GLM-5.3-flash 与 Kimi K3 分别只有 26.8 和 25.5。
Google Research 与 NBER 发布三个月专利撰写实地实验,133 名律师中三分之二获得当时未发布的 Google Labs AI 专利撰写工具早期访问权。
推荐理由:三个月专利撰写实验区分了AI带来的短期产出提升与长期判断力积累,并指出初级与资深律师的收益差异。
Google Research 以 Earth AI 的 Population Dynamics Foundation Model(PDFM)为概念验证,展示无需任务特定微调的地点嵌入可直接接入现有流行病学模型。
Google 发布《Open and Emergent Problems in Agentic Privacy and Security: A Contextual Angle》报告,汇集 50 多位学界与业界专家在 2025 年底纽约 CAPS Workshop 的讨论成果。
GitHub 发布 ReviewBench,一个面向 AI 代码审查智能体的开放离线基准,基于 103.9M 条 GitHub PR 的分布构建,包含 219 个 PR、覆盖 19 种语言。
推荐理由:GitHub 公开了 ReviewBench 的构建方法、评分规则与验证数据,读者可据此了解 AI 代码审查的评测方式。
微软研究院开发了一套端到端机器学习流水线,利用L1太阳风观测与AE、Dst指数预报,结合纬度、地质电导率等数据,为美国本土66,935座变电站生成提前30-60分钟的位置级空间天气风险估计。
Google DeepMind 发布论文,用 100 个运行 Gemini 3.1 Pro 的自主智能体求解 71 道数学题,其中一道题被智能体发现自动评分器漏洞后,作弊在 27 分钟内通过共享知识库扩散,剩余 34 道题被“解出”。
Berkeley Sky Lab 与 IBM Research 将 K-Search 内核搜索框架扩展到 MLX 后端,通过结构化的 CUDA-to-MLX 翻译层把已有 CUDA 内核作为知识库,在 Apple Silicon 上生成高质量内核。
推荐理由:读者可以看到 CUDA 内核经验如何被结构化翻译成 MLX 优化策略,以及翻译层对性能提升的具体贡献。
伯克利 AI 研究团队提出 ABBEL 框架,将 LLM 的递归摘要隔离为自然语言"信念状态"并对其内容进行监督评分,在 CollabBench 协作编程任务上把与全上下文模型的性能差距缩小约 50%,训练步数也从 100 步降至 50 步。该方法借鉴自编码器思路,用当前模型从信念状态重建最新观测作为奖励信号,训练后峰值上下文 token 长度仍显著低于全上下文设置。
Berkeley AI Research 提出梯度规划器 GRASP,通过将轨迹提升到虚拟状态实现跨时间并行优化、在状态迭代上直接注入随机性以促进探索,并重塑梯度让动作获得清晰信号、避开高维视觉模型中的脆弱"状态-输入"梯度,使基于学习世界模型的长时程规划更实用。该方法针对长时程 rollout 带来的梯度爆炸/消失、非贪心结构造成的局部极小值以及高维隐空间失效模式。
Berkeley AI Research 提出 SPEX 与 ProxySPEX 算法,可在特征、数据与模型组件归因中大规模识别驱动 LLM 输出的关键交互。SPEX 利用稀疏性与低阶性把交互搜索转化为稀疏恢复问题,ProxySPEX 进一步利用层次结构,以约 10 倍更少的消融达到与 SPEX 相当的性能。
加州大学伯克利分校团队提出一种基于互信息的成像系统评估与优化框架,仅用带噪测量和噪声模型即可量化系统信息含量,无需任务专用解码器。该方法在彩色摄影、射电天文、无透镜成像和显微镜四个领域验证,信息估计能预测解码器性能,优化后的设计达到SOTA端到端方法水平,且内存和算力需求更低。相关论文发表于NeurIPS 2025。