Microsoftの研究者とZhao SongがKLS予想を証明
10月に発表された証明は、人間主導のAI探索が重要な数学的基準の特定に寄与した後、1995年の上界から次元依存性を取り除いた。
By Ryan Merket · Published · Updated
Primary source: Microsoft Research
なぜ重要なのか
その証明は、高次元サンプリングについて広く用いられている仮定を定理へと変えた。AIの貢献もまた具体的である：ガイド付き探索が研究者たちに有用な基準を見つけるのを助け、一方で人間の数学的判断が証明を形作り、完成させた。
10月4日付で投稿された証明は、1995年の問題である Kannan-Lovász-Simonovits conjecture が、どれだけ効率的にランダムウォークが高次元確率分布を探索できるかという点で解決されたことを示す。Microsoft Research は10月21日にこの結果を発表し、Microsoft の研究者 Xinzhi Zhang と協力者 Zhao Song に功績を帰している。彼らの 論文 は、次元数とともに増大しない上界を確立しており、これが予想の定義的主張である。…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.