Microsoft Research· Xinzhi Zhang·· 54 分钟前精选AI 评分62
Microsoft Research 与合作者证明 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
Microsoft Research 的 Xinzhi Zhang 与合作者证明了提出于 1995 年的 Kannan–Lovász–Simonovits（KLS）猜想，确立了与维度无关的固定界限。
推荐理由
文章展示了人类筛选、AI 搜索与形式化验证协作解决数学难题的完整路径，为研究型 Agent 的组织方式提供了具体参照。
来源：Microsoft Research · microsoft.com