- в высокоразмерной геометрии открывает новые возможности для алгоритмов — и показывает, как ИИ ускоряет фундаментальные исследования.*
31 год одна из сложнейших математических задач оставалась без ответа. Теперь исследователи Microsoft, применив управляемый человеком ИИ, решили гипотезу Каннана-Ловаша-Симоновица (KLS), открыв новые горизонты для алгоритмов и научных открытий.
Ключевое достижение — это решение KLS-гипотезы, которая с 1995 года считалась одной из центральных открытых проблем в высокоразмерной геометрии и теории вероятностей. Она устанавливает универсальный геометрический принцип: для широкого класса логарифмически-вогнутых распределений (log-concave distributions) простые плоские разрезы могут эффективно находить узкие места, независимо от количества измерений. Это означает, что препятствия для навигации в высокоразмерных пространствах не растут безгранично с увеличением размерности.
Стал возможен благодаря новой методологии: исследователи Microsoft Research использовали управляемый человеком ИИ. Системы ИИ исследовали более 100 кандидатных математических подходов, многие из которых включали сложные вычисления с тензорами высшего порядка. Учёные при этом оценивали, отсеивали и направляли поиск. Это позволило найти новый математический критерий, который стал основой окончательного доказательства. Затем авторы обнаружили, что новый критерий можно применять рекурсивно, каждый раз получая более точную оценку.
Решение KLS-гипотезы имеет глубокие последствия для статистики, оптимизации, теории алгоритмов и теоретической информатики. Оно устраняет крупное теоретическое препятствие для понимания эффективности рандомизированных алгоритмов, используемых в науке и вычислениях.
Этот не только закрывает многолетнюю математическую загадку, но и подчеркивает растущую роль ИИ как инструмента для ускорения фундаментальных научных открытий, где синергия человека и машины открывает пути к решению задач, ранее считавшихся неприступными. Однако остается неясным, насколько масштабируемым и универсальным окажется этот "человеко-ориентированный агентный исследовательский процесс" для других нерешенных математических проблем.