Microsoft Research· Xinzhi Zhang·· 3 小时前AI 评分58
微软研究院用人类主导的AI智能体证明31年未解的KLS猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想，给出与维度无关的固定上界，此前 2026 年 7 月的最好结果仍随维度缓慢增长。
来源：Microsoft Research · microsoft.com