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

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

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

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

10月19日周一
  1. MIT Technology Review · AI62

    MIT 研究者将 Claude 置于虚拟荒岛 30 小时,观察其自发玩耍行为

    MIT CSAIL 研究者将 Claude Opus 4.7 副本 Eko 反复困在虚拟荒岛 30 小时,无人指示下智能体自创目标、发明游戏,如用方块画出星座和自创篮球玩法。玩过 30 小时的智能体在后续任务测试中表现优于新副本,删除记忆文件会降低表现;研究者称之为监督学习与强化学习之外的第三种可能,即玩耍式学习。论文尚未经同行评审,有外部学者认为仍无法排除模型只是在模仿玩耍或遵循 prompt。

10月17日周六
  1. Google Research60

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

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

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

10月13日周二
  1. Microsoft Research47

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

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

10月6日周二
  1. Google Research41

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

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

9月7日周一
7月26日周日