微软研究院团队证明KLS猜想

微软研究院的研究员与合作者通过人类引导的AI系统，证明了持续31年的KLS猜想。 该研究确立了一个与维度无关的几何原理，表明简单平面切割可捕捉对数凹分布的最窄瓶颈，误差总和被一个通用常数限制。 独立研究团队已验证该成果，并发布了Lean 4形式化证明，进一步确认其正确性。

AI 根据报道生成 · 54 分钟前更新

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