Microsoft Research 证明 31 年前提出的 KLS 猜想
Microsoft Research 的 Xinzhi Zhang 与合作者 Zhao Song 证明 1995 年提出的 Kannan–Lovász–Simonovits（KLS）猜想，表明对数凸分布的最佳平切与任意形状切口的差距以一个通用常数为界，与维度无关。
推荐理由：官方一手介绍证明思路与人类引导 AI 的搜索过程，读者可以了解这项工作如何结合数学判断与多智能体探索。
多来源采集 → 报道归并 → 价值筛选 → 精选与日报
信号汇聚示意动画，不代表实时处理进度。每条线代表一个信源，同类报道归并，部分内容经筛选后形成精选与日报。