https://derekwang2002.github.io/ai-intelligence/projects/kls-ai-proof/ AI 模型、Agent、工程与基础设施的重要变化，附一手来源与建议等级。 zh-CN Mon, 02 Nov 2026 16:56:00 GMT https://derekwang2002.github.io/ai-intelligence/events/ev-20261004-03/ ev-20261004-03-published Thu, 22 Oct 2026 16:37:30 GMT 新事件 WATCH <p>研究者证明了提出 31 年的 Kannan–Lovász–Simonovits 猜想，消除了高维采样理论中的维度依赖上界。微软参与的证明由研究者引导约 100 条 agent 搜索路径；同日还有两份平行证明，之后又出现 Lean 4 形式化，构成相互独立的数学核验。这个结果证明了人机协作流程有效，不等于无人引导的模型能独立解决同类问题。</p><p>建议等级：WATCH</p><p>来源：<a href="https://www.microsoft.com/en-us/research/blog/solving-a-31-year-old-grand-challenge-in-mathematics-the-kls-conjecture/">Microsoft Research KLS article</a> · <a href="https://arxiv.org/abs/2610.01447">A proof of the KLS conjecture</a> · <a href="https://arxiv.org/abs/2610.05474">Independent proof of the KLS conjecture</a></p>