マイクロソフトの研究者が31年間未解決だったKLS予想を証明

2026年10月22日、Microsoft Researchの機械学習・最適化グループのXinzhi Zhang氏と共著者のZhao Song氏が、1995年に提唱されたKannan-Lovász-Simonovits（KLS）予想を証明した。Microsoft Researchの一次報道によると、この証明はこの関係が高次元でも次元の増加によらず固定の定数で抑えられることを示すものだ。この予想はこれまで31年間未解決だった。現時点の報道では、AI支援による証明の具体的な方法や、証明の詳細、査読の状況には触れていない。

報道をもとに AI が作成 · 2 時間前に更新

連続した観測データがまだ足りないため、推移は描いていません。