ИССЛЕДОВАНИЕ · RESEARCH · #2368
Доказана гипотеза KLS: исследователи во главе с Синьчжи Чжаном (Microsoft Research) — 4 окт. 2026
Исследователи, в том числе Синьчжи Чжан из Microsoft Research, доказали гипотезу Каннан–Ловас–Симоновиц (KLS) в тексте от 4 октября 2026 г., показав существование универсальной константы для плоских разрезов в лог‑вогнутых распределениях, не зависящей от размерности. Работа возникла в ходе управляемого человеком исследования с участием ИИ, была независимо подтверждена несколькими исследователями и прошла машинно-проверённую формальную верификацию.
КЛЮЧЕВЫЕ ТЕЗИСЫ
- Исследователи, в том числе Синьчжи Чжан из Microsoft Research, доказали гипотезу Каннан–Ловас–Симоновиц (KLS) в тексте от 4 октября 2026 г., показав существование универсальной константы для плоских разрезов в лог‑вогнутых распределениях, не зависящей от размерности.
- Работа возникла в ходе управляемого человеком исследования с участием ИИ, была независимо подтверждена несколькими исследователями и прошла машинно-проверённую формальную верификацию.
- Доказательство KLS устраняет 31‑летнюю центральную нерешённую задачу в геометрии высоких размерностей, с последствиями для методов сэмплинга, случайных алгоритмов и оптимизации, и демонстрирует проверяемый рабочий процесс с участием человека и ИИ.
ПОЧЕМУ ЭТО ВАЖНО
Доказательство KLS устраняет 31‑летнюю центральную нерешённую задачу в геометрии высоких размерностей, с последствиями для методов сэмплинга, случайных алгоритмов и оптимизации, и демонстрирует проверяемый рабочий процесс с участием человека и ИИ.