ИИ-агенты помогли доказать гипотезу KLS: её не могли решить 31 год
Исследователь Microsoft Research Синьчжи Чжан и независимый исследователь Чжао Сун представили доказательство гипотезы Каннана — Ловаса — Симоновица (KLS), сформулированной в 1995 году. Она относится к фундаментальным задачам геометрии высоких размерностей и связана с тем, насколько эффективно случайные алгоритмы исследуют сложные пространства. В работе использовали ИИ-агентов, которые параллельно исследовали математические подходы. Но ключевые решения принимали учёные: они оценивали промежуточ…
Полный текст не публикуется. Источник: Habr