微軟團隊借AI協作破解31年KLS猜想
微軟研究員與合作者以人類引導的人工智能協作方式,解決了已有31年歷史的KLS猜想,即高維幾何與概率論的核心難題。該證明已獲多位獨立專家驗證,被視為人機協同基礎科學研究的重大進展。
難題背景
KLS猜想全稱Kannan-Lovász-Simonovits猜想,屬高維幾何與概率論的核心難題,涉及對數凹分佈的瓶頸性質,自提出以來懸而未決長達31年,與統計學、優化理論及算法設計密切相關。


成果內容
研究揭示了對數凹分佈的普適幾何原理:無論維度多高,僅需簡單的平面切割,即可在固定因子內捕獲其最窄瓶頸。這一結果對統計學、優化理論、算法設計及計算機科學具有深遠影響。

研究範式
研究採用「人類主導、人工智能探索」的新範式:人工智能系統自主嘗試不同數學路徑,研究人員則實時評估、剪枝與定向引導。這種分工令人類的判斷力與機器的探索力互補。

意義與展望
證明已獲多位獨立專家驗證。有意見認為,此類人機協同模式或成為基礎科學研究的常態,人工智能由工具轉為主動的探索夥伴,未來或可應用於更多懸而未決的數學難題。

