热点事件持续更新
KLS猜想获证明并完成形式化验证
1 篇报道1 个报道来源5 小时前更新
先了解这件事
AI 综述
2026年10月22日，Microsoft Research研究者及合作者宣布证明1995年提出、此前悬而未决31年的Kannan–Lovász–Simonovits（KLS）猜想。该猜想涉及对数凹分布中的平面切割与任意形状切割：研究称，最佳平面切割与任意形状切割的效果相差不超过一个与维度无关的固定常数。团队表示，他们通过人类引导的智能体搜索探索了100多条候选路径，并利用递归收紧界、证明累积误差保持有界，最终消除了维度依赖。报道还称，之后出现了独立证明，并完成了Lean 4形式化验证。
AI 根据报道生成 · 2 小时前更新
最新进展10月22日 00:00
KLS猜想在宣布证明后又出现独立证明，并完成Lean 4形式化验证。报道时间线
沿着报道，了解事件的不同侧面。
10月22日
- Microsoft Research精选Microsoft Research研究者证明31年未解的KLS猜想
Microsoft Research研究者及合作者证明了1995年提出的Kannan–Lovász–Simonovits（KLS）猜想，表明对数凹分布中最佳平面切割与任意形状切割的效果相差不超过与维度无关的固定常数。研究团队通过人类引导的智能体搜索探索了100多条候选路径，利用递归收紧界并证明累积误差保持有界，最终消除了维度依赖；随后出现了独立证明和Lean 4形式化验证。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。