Microsoft Research· Xinzhi Zhang·· 5 小时前
微软研究者证明 31 年悬而未决的 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院机器学习与优化组的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明该关系在高维下由固定常数界定、不随维度增长。
入选记录
门槛 60官方一手第一次 71第二次 72
入选两次之和 143 ≥ 门槛的两倍 120
- 信源等级
- 官方一手，这一级的门槛是 60 分
- 预筛
- 通过：人机协作AI智能体探索数学证明
- 推荐理由
- 微软研究者用人类引导的智能体搜索证明 KLS 猜想，展示了人机协作在数学发现中的分工方式。
评分由模型按同一份标准独立打两次，满分 100；两次之和达到门槛的两倍才入选。门槛按信源等级设定。
来源：Microsoft Research · microsoft.com