跳到正文
只看论文#Microsoft
  1. Microsoft Research81

    微软研究院等利用人机协作证明历时 31 年的数学难题 KLS 猜想

    微软研究院研究员 Xinzhi Zhang 与合作者结合人类主导的 AI 智能体协作流程，成功证明了高维几何与概率论中历时 31 年的 KLS 猜想。该研究确立了对数凹分布的无量纲几何原理，证明最窄瓶颈割面与简单平坦割面之间的差距受通用常数控制且不依赖维度，移除了理解高维采样随机算法效率的重要理论障碍。

    推荐理由：展示了人类引导智能体探索数学路径完成顶级猜想证明的协作范式，读者可据此理解前沿科研中人机配合的具体机制。

  1. GitHub Blog · AI & ML64

    GitHub 推出 AI 代码审查基准 ReviewBench

    GitHub 推出面向 AI 代码审查智能体的开源离线基准 ReviewBench，旨在提供贴近真实生产环境的评估标准。该基准参考 1.039 亿真实拉取请求的分布特征，精选覆盖 19 种编程语言的 219 个拉取请求，结合人类专家、静态分析和前沿大模型构建多来源金标准，并使用 Claude Sonnet 5 统一评判。

    推荐理由：该基准基于真实拉取请求分布建立评测集，为开发团队评估和迭代代码审查智能体提供了贴近生产环境的离线验证方案。

已经到底了