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