微软研究院宣布张鑫智与赵宋证明KLS猜想

微软研究院宣布，研究员张鑫智（Xinzhi Zhang）与合作者赵宋（Zhao Song）通过人类主导、AI辅助的研究完成了KLS猜想的证明，解决了这一历时31年的数学难题。 据微软研究院介绍，两人在2026年10月4日版本的论文中，将高维对数凹分布相关的几何界限收紧至不依赖维度的常数，从而完成证明。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。