Microsoft Researchの研究者ら、31年来のKLS予想を証明

Microsoft ResearchのXinzhi Zhang氏らは、31年来の未解決問題であるKannan–Lovász–Simonovits（KLS）予想を証明しました。証明は次元数に依存しない普遍定数による境界を示し、100を超える候補手法をAIエージェントで探索しながら研究者が選別・誘導する過程で得られました。独立した研究チームによる証明やLean 4による形式検証も報告されています。