Microsoft Research и соавтор доказали гипотезу KLS 1995 года с помощью ИИ-агентов

Исследователь Microsoft Research Синьчжи Чжан и соавтор Чжао Сун доказали гипотезу Каннана — Ловаса — Симоновитиса, открытую в 1995 году. Доказательство изложено в 140-страничной работе An O(1) Bound for the KLS Constant, опубликованной на arXiv 1 октября и доработанной 4 октября 2026 года. Метод сочетал направляемый человеком поиск ИИ-агентов по более чем 100 подходам с математической проверкой авторов.

• Гипотеза KLS утверждает, что константа ψ_n ограничена универсальной константой C
• Работа на 140 страниц выложена на arXiv 1 октября и обновлена 4 октября 2026 года
• ИИ-агенты проработали около 100 подходов, финальный шаг вдохновлён алгоритмами линейного программирования
• Параллельное доказательство на 32 страницы представили Бизёль, Клартаг и Леэ в тот же день