AIニュース

企業・人物Microsoft Research出典 5件

Microsoft Research、31年未解決のKLS予想の証明を解説　研究者の選別でAI探索100超の候補を絞り込む

Microsoft Researchは2026年10月21日、同社のXinzhi Zhang氏と共同研究者Zhao Song氏によるKLS予想の証明を解説しました。1995年提起の高次元幾何・確率論の未解決問題で、証明は10月4日改訂のarXiv論文に載っています。10月21日の新しい材料は研究過程の説明で、AIエージェントが並列探索した100超の候補から、研究者が数学的判断で道筋を選別・統合した経緯です。別グループの証明とLean 4形式化も公開されています。