跳到正文
10月22日周四
  1. Microsoft Research79

    Microsoft Research 证明31年悬而未决的 KLS 猜想

    Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 合作证明了1995年提出的 KLS 猜想,证明对数凹分布中平面切口的瓶颈与任意形状切口最多相差一个普适常数,与维度无关。

    推荐理由:原文给出证明思路、独立验证与 Lean 形式化情况,读者可以了解人机协作如何促成一项数学难题的解决。

10月21日周三
  1. Hugging Face Blog58

    Ai2 发布 FairStress 基准,评测大模型决策中的隐藏公平性不对称

    Ai2 发布 FairStress 基准,用 300 个双候选决策场景扩展为超 1300 万测试用例,测试模型在被挑战时是否因人口群体身份而改变决定。实验发现模型更易放弃有利于多数编码候选的正确选择,15 个模型的平均差距为 6.9 至 9.3 个百分点;对抗前缀下转向少数编码候选的切换比反向多 8.8 至 42.4 个百分点。

10月17日周六
  1. Google Research60

    Google Research 发布 VERID 框架与闭环实验成果,推进自主湿实验室构建

    Google Research 介绍三项研究成果,构建 AI 智能体驱动自主湿实验室的基础模块。VERID 框架基于开源 PyLabRobot,用实时 3D 数字孪生跟踪实验台状态、虚拟试运行和硬件安全检查,避免智能体生成的代码在物理上不可行。

    推荐理由:Google 揭示了 AI 智能体在湿实验室落地的真实瓶颈,数字孪生校验与闭环实验数据为理解智能体科学研究提供了具体参照。

10月15日周四
10月13日周二
  1. Microsoft Research47

    微软 StudentSim:模拟学生学习以改进 AI 辅导系统

    Microsoft Research 推出研究系统 StudentSim,通过个性化 AI 学生模拟器在接触真实学习者前评估和改进 AI 辅导工具。系统基于公开去标识化的学习者记录,分两阶段训练每个学生的专属模拟器,并随配套基准 StudentSimEval 从行为保真度和指导响应性两个维度评估,覆盖国际象棋、二语英语写作和数学。

10月8日周四
  1. Google Research72

    Google 三个月实地实验:AI 辅助如何影响专利律师的专业判断

    Google Research 在 NBER 发表针对 133 名律师的三个月实地实验,随机向 11 家知识产权律所的三分之二律师提供当时未发布的 AI 专利撰写助手(现属 Gemini Notebook)。

    推荐理由:原文用三个月随机实验区分了 AI 带来的短期产出提升与独立判断力变化,展示了资深与初级律师截然不同的结果。

10月6日周二
  1. Google Research41

    Google 发布 CAPS 研讨会报告:AI 智能体隐私与安全中的开放性与新涌现问题

    Google 发布 CAPS 研讨会报告,汇集 50 多位学术界与业界领导者,探讨自主智能体面临的隐私与安全挑战。报告以 Contextual Integrity(情境完整性)理论为基础,指出智能体在非结构化接口、概率性控制流和自主委托三方面异于传统软件,并提出包含系统级沙箱、模型级推理和用户级控制的多层防御方案,同时倡导构建可实时动态生成策略的情境策略引擎。

10月5日周一
  1. GitHub Blog · AI & ML50

    GitHub 开源 ReviewBench:AI 代码审查基准

    GitHub 推出开源离线基准 ReviewBench,用于评估 AI 代码审查智能体。基准基于 103.9M GitHub pull request 分析构建,语料涵盖 19 种语言的 219 个公开 pull request,采用人工审查者、frontier LLM 和静态分析构成的多源 golden set,并由资深工程师独立验证,达成 96.6% 一致性。

10月1日周四
7月29日周三
7月26日周日
5月8日周五
4月20日周一
  1. Berkeley AI Research49

    BAIR 提出 GRASP:面向世界模型的长时程梯度规划

    Berkeley AI Research 与 Yann LeCun 等合作提出 GRASP,一种针对学习型世界模型的梯度规划器,让长时程规划更实用。方法通过将轨迹提升到虚拟状态实现时间维度并行优化、在状态迭代中注入随机性以探索、重塑梯度以避免高维视觉模型中脆弱的状态-输入梯度,解决长时程 rollout 中 Jacobian 条件数随时间指数级恶化及非贪婪损失景观导致的局部极小问题。

3月13日周五
  1. Berkeley AI Research46

    Berkeley AI Research 讲解 SPEX 与 ProxySPEX 如何在大规模下识别 LLM 的交互作用

    Berkeley AI Research 介绍了 SPEX 和 ProxySPEX 两种算法,通过消融实验在大规模下识别 LLM 中特征、训练数据和模型组件的关键交互,用于可解释性研究。SPEX 利用稀疏性和低阶性把交互发现问题转化为稀疏恢复问题,可扩展到数千个特征;ProxySPEX 进一步利用层级结构,以约 10x 更少的消融达到与 SPEX 相当的性能。

1月10日周六
  1. Berkeley AI Research48

    BAIR 提出基于信息量的成像系统设计与评估框架

    Berkeley AI Research 在 NeurIPS 2025 论文中提出一个直接基于信息内容评估和优化成像系统的框架,用互信息估计量化测量区分物体的能力。该方法只需噪声测量数据和噪声模型,在彩色摄影、射电天文、无透镜成像和显微成像四个领域验证可预测解码器性能,优化效果媲美 SOTA 端到端方法,且所需内存和计算更少、无需任务特定解码器设计。