Microsoft Research· Xinzhi Zhang·· 2 小时前精选AI 评分84
Microsoft Research 研究员与合作者解决历时 31 年的数学难题 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
Microsoft Research 的 Xinzhi Zhang 与合作者 Zhao Song 证明了 KLS 猜想，将高维对数凹分布相关几何界限收紧至与维度无关的常数。
推荐理由
在近似相同的 token 预算下，人类筛选并引导的智能体搜索取得进展，而无引导尝试未达目标，提供了研究流程的具体对照。
来源：Microsoft Research · microsoft.com