Отчёты по ИИ · Microsoft · 2026-10-21 · Блог / комментарии
Решение великой математической задачи 31-летней давности – гипотезы KLS
Оригинальное название: Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
Исследователь Microsoft вместе с коллегой разрешили гипотезу Каннана–Ловаса–Симоновица (KLS) — задачу, поставленную в 1995 году, которой 31 год и которая широко считалась одним из центральных открытых вопросов многомерной геометрии. Результат устанавливает универсальный геометрический принцип для логарифмически вогнутых распределений, показывая, что простые плоские сечения с точностью до постоянного множителя, независимо от размерности, фиксируют их самые узкие места. Прорыв возник в рамках направляемого человеком агентного исследовательского процесса, где ИИ-системы исследовали возможности, а исследователи оценивали и перенаправляли поиск; результат был независимо подтверждён, а затем прошёл формальную верификацию с машинной проверкой.