事件
最新进展 10月22日 00:00
Xinzhi Zhang 与 Zhao Song 完成 KLS 猜想证明
微软研究员 Xinzhi Zhang 与合作者 Zhao Song 证明了提出于 1995 年的 KLS 猜想：对一类高维概率分布，平面切割与任意形状的最佳切割之间存在不随维度增长的固定界限。此前最佳结果仍允许界限随维度缓慢增长。研究者借助 AI 探索候选思路，并由人筛选和验证证明；另有独立证明及 Lean 4 形式化结果出现。
1 次进展2 篇报道2 个来源
事件进展 1
Xinzhi Zhang 与 Zhao Song 完成 KLS 猜想证明
微软研究员 Xinzhi Zhang 与合作者 Zhao Song 证明了提出于 1995 年的 KLS 猜想：对一类高维概率分布，平面切割与任意形状的最佳切割之间存在不随维度增长的固定界限。此前最佳结果仍允许界限随维度缓慢增长。研究者借助 AI 探索候选思路，并由人筛选和验证证明；另有独立证明及 Lean 4 形式化结果出现。
查看来源报道 · 2 个来源 · 2 篇报道
- Microsoft Research · Xinzhi Zhang 与 Zhao Song 完成 KLS 猜想证明
- Rohan Paul (@rohanpaul_ai) · 帖文称研究人员借助 AI 搜索证明 KLS 猜想
全部报道 2
Rohan Paul (@rohanpaul_ai)
同事件
帖文称研究人员借助 AI 搜索证明 KLS 猜想
一则帖文称，研究人员在人类主导的搜索中，让 AI 智能体探索约 100 条研究路径，并在每轮之间筛除较弱方向，最终形成证明 KLS 猜想所需的判据。帖文将完成证明的递归方法和误差界归功于 Song 和 Zhang 两位研究人员。
另外 1 家也报道了
- Microsoft Research
推荐理由：人类筛选研究方向、AI 探索约 100 条路径的分工，为读者理解这项数学证明中 AI 的作用提供了具体细节。
同一事件，精选展示《Xinzhi Zhang 与 Zhao Song 完成 KLS 猜想证明》
Microsoft Research
精选
Xinzhi Zhang 与 Zhao Song 完成 KLS 猜想证明
微软研究员 Xinzhi Zhang 与合作者 Zhao Song 证明了提出于 1995 年的 KLS 猜想：对一类高维概率分布，平面切割与任意形状的最佳切割之间存在不随维度增长的固定界限。此前最佳结果仍允许界限随维度缓慢增长。研究者借助 AI 探索候选思路，并由人筛选和验证证明；另有独立证明及 Lean 4 形式化结果出现。
另外 1 家也报道了
- Rohan Paul (@rohanpaul_ai)
推荐理由：这项证明把高维几何中的维度依赖界限推进到固定界限；独立证明和形式化结果为读者理解其验证进展提供了具体依据。