跳到正文
今天10月23日周五3 条
10月22日周四
  1. Microsoft Research77

    微软研究院证明 31 年未解的 KLS 猜想

    微软研究院的 Xinzhi Zhang 与合著者证明了 1995 年提出的 KLS 猜想,确认高维对数凹分布中最优平面切割与任意形状切割的效果只差一个与维度无关的常数。作者在人类主导的智能体搜索流程中探索了 100 多条候选路径,由研究者筛选和调整方向,最终借助递归改进与误差有界证明完成证明。同期另有独立团队给出完整证明,并有 Lean 4 形式化验证发布。

    推荐理由:微软研究员用人类主导的智能体搜索证明 KLS 猜想,展示了人机协作做数学研究的具体分工方式。

10月21日周三
10月20日周二
10月19日周一
10月18日周日
10月17日周六
10月16日周五
  1. Microsoft Research62

    微软研究院推出 Magnetar:基于标准哈希函数的通用零知识证明系统

    微软研究院发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程,在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍,证明验证约需 12 毫秒。

    推荐理由:微软研究院梳理十余年零知识证明研究脉络,说明 Magnetar 如何同时兼顾速度、通用性与仅依赖标准哈希函数的安全性。

10月15日周四
  1. Latent Space36

    Leash Bio 的 Ian Quigley 谈 DEL 数据、Hermes 模型与智能体科学推理平台 Minos

    Leash Bio 用 DNA 编码库(DEL)采集蛋白质与小分子的高通量结合数据,并训练出仅用自家数据、在公开基准上追平 Boltz 的模型 Hermes。团队还发现 ChEMBL 中模型能凭结构猜出分子化学家,"谁做的"几乎和结构一样能预测活性。其数据可支撑数万次"lab-in-the-loop"模拟,现已发展为面向智能体可验证科学推理的 Minos,并发布预印本、博客与开放数据集。

10月13日周二
10月5日周一
10月1日周四
  1. Microsoft Research38

    微软研究院用机器学习预测电网空间天气风险

    微软研究院实习生构建的机器学习流水线可为美国本土66,935座变电站提供提前30-60分钟的位置级空间天气风险预测,评估期内检出近80%的重大事件。系统结合AE与Dst指数预报、纬度、地质电导率及电网数据,Dst预测在2020-2026年评估期峰值活跃时段有62.2%的小时优于Burton方程。

9月30日周三
9月29日周二
9月24日周四
  1. Microsoft Research60

    微软研究院:把物理 AI 推理卸载到边缘或云端可提升机器人性能与续航

    微软研究院对移动操作机器人工作负载做了系统测量,发现把物理 AI 推理从机器人端侧 GPU 卸载到边缘或云端 GPU,能提升任务成功率、支持更大模型并延长续航。

    推荐理由:微软研究院系统测量了机器人端侧 GPU 推理的瓶颈,并给出可复用的 Kubernetes 卸载工具链,为具身智能系统设计提供实测依据。

7月29日周三
7月26日周日
5月8日周五
  1. Berkeley AI Research36

    自适应并行推理:高效推理扩展的下一个范式

    自适应并行推理让模型自行决定何时分解并并行化子任务、开启多少并发线程以及如何协调。现有方法如 self-consistency、Best-of-N、Tree of Thoughts、MCTS、ParaThinker、GroupThink 和 Hogwild! Inference 的并行结构多由模型外部设定,不随问题难度调整。文章梳理该领域进展,指出不同问题需要不同并行度。

4月20日周一
  1. Berkeley AI Research34

    面向世界模型长时程规划的梯度规划器 GRASP

    伯克利 AI 研究团队提出 GRASP,一种面向学习型世界模型的梯度规划器,通过将轨迹提升到虚拟状态实现跨时间并行优化,并在状态迭代中注入随机性以增强探索。GRASP 还重塑梯度,让动作获得清晰信号,同时避开高维视觉模型中脆弱的“状态-输入”梯度。该工作与 Mike Rabbat、Aditi Krishnapriyan、Yann LeCun 和 Amir Bar 合作完成。

3月13日周五
1月10日周六
  1. Berkeley AI Research30

    加州大学伯克利分校提出基于信息量的成像系统设计框架,亮相 NeurIPS 2025

    加州大学伯克利分校团队提出一种直接以互信息为指标的成像系统评估与优化框架,仅用带噪测量和噪声模型即可量化系统区分物体的能力。该指标在彩色摄影、射电天文、无透镜成像和显微成像四个领域均能预测下游解码性能,优化后的设计达到与端到端方法相当的水平,且所需内存和算力更少、无需任务专用解码器。