KLS猜想获证明并完成关键形式化验证

Microsoft Research与合作研究者证明了1995年提出的Kannan–Lovász–Simonovits（KLS）猜想，确立了切割对数凹分布效率时与维度无关的固定界。另一研究团队同期给出独立证明，相关关键结果还完成了Lean 4形式化验证。 研究团队借助人类主导的智能体研究流程探索了100多条候选路径，由研究人员筛选方向并组织最终证明。

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

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