AI 聚合热点事件 · 2026/10/22
微软研究院利用 AI 智能体成功证明了自 1995 年悬而未决的 Kannan-Lovász-Simonovits (KLS) 猜想，产出长达 140 页的完整证明文档。这一突破标志着“人类主导搜索 + AI 执行推导”的人机协作模式在解决高难度数学问题上取得实质性进展，确立了针对对数凹分布的通用几何原则。
在具体技术路径上，AI 智能体并行探索了超过 100 条研究路径，大幅加速了证明发现过程。人类研究员负责剪枝弱方向并定义核心递归方法，而 AI 则承担具体的逻辑推导、手稿准备及内部验证工作。该成果不仅解决了凸几何领域的著名难题，还通过多位独立研究者验证及机器形式化检查，确保了极高的科学可信度。
此次事件对人工智能与基础科学研究具有深远影响，它证明了 AI 不仅是辅助工具，更能作为核心引擎参与复杂逻辑体系的构建。这一范式为未来攻克其他长期未解的数学难题提供了可复制的方法论，同时也推动了自动定理证明技术在学术界和工业界的进一步落地与应用。
曲线只比较全程持续完整观测的同一批信源；缺口小时数据已插值平滑，保持趋势连续。
原标题：A math problem older than Google has been solved, with AI doing much of the searching.
原标题：Solving a 31-year-old grand challenge in mathematics – the KLS conjecture