Google よりも歴史の古い数学の難問が解かれ、その探索の大部分を AI が担った。AI エージェントが 100 以上のアプローチを探索した末、Microsoft の研究者が 31 年の歴史を持つ Kannan–Lovász–Simonovits 予想を証明した。

Microsoft Research は 2026 年 10 月 21 日、シニア研究者の Xinzhi Zhang 氏と共同研究者の Zhao Song 氏が、1995 年に提起された高次元幾何学の中心的未解決問題である Kannan–Lovász–Simonovits 予想を証明したと発表した。140 ページの論文「An O(1) Bound for the KLS Constant」（10 月 1 日に arXiv 公開、10 月 4 日改訂）は次元に依存しない定数 bound を確立し、人間が主導するエージェント型 AI 研究プロセスで生まれた。AI が約 100 の研究軌道を探索し、研究者が枝刈りと方向転換を行った。なぜ重要か：KLS 予想は統計・最適化・アルゴリズムで用いられる高次元サンプリング理論の基盤であり、この証明は独立チームによる再現と Lean 4 による機械的形式検証を経て、AI 支援による数学的発見の画期となった。

• Rohan Paul2026-10-22 06:11