微软研究院张昕之与合作者证明了1995年提出的KLS猜想：对数凹高维分布中，最优平面切割与任意形状切割的差距由与维度无关的常数控制。此前最好界仍随维度缓慢增长。证明依靠人类引导的智能体搜索，并有独立证明与Lean验证。价格和国内可用性未知。