Гипотезе 31 год: Microsoft закрыла задачу KLS вместе с ИИ-агентами
Гипотезе 31 год: Microsoft закрыла задачу KLS вместе с ИИ-агентами Синьчжи Чжан из Microsoft Research и независимый исследователь Чжао Сун доказали гипотезу Каннана — Ловаса — Шимоновича (KLS), открытую с 1995 года. Суть: для широкого класса многомерных распределений простой плоский разрез находит самое узкое «горлышко» почти так же хорошо, как разрез любой формы. Разница не больше постоянного множителя при любой размерности. От этого зависит скорость случайного блуждания в алгоритмах сэмплирования. Направление задавали люди. ИИ-агенты перебрали более 100 вариантов подхода, а авторы отсеивали слабые ветки. Модели без участия людей при том же бюджете задачу не решили. Ключевой критерий подтвердили независимые группы, доказательство проверено в Lean 4 (системе машинной проверки доказательств). Источники: https://www.microsoft.com/en-us/research/blog/solving-a-31-year-old-grand-challenge-in-mathematics-the-kls-conjecture/ #AI #Microsoft #Математика #KLS #Lean