Константа, нарешті: гіпотеза KLS впала перед керованим людиною пошуком зі ШІ
Сіньчжі Чжан із Microsoft Research і Чжао Сонг довели 31-річну гіпотезу KLS за допомогою флоту агентів, що досліджував близько сотні траєкторій під людським обрізанням, - тоді як ненаправлені запуски ШІ з тим самим бюджетом токенів провалилися. Два незалежні доведення вийшли того самого тижня, за ними - формалізація в Lean 4.
У перший тиждень жовтня 2026 року гіпотезу Каннана-Ловаса-Симоновиц - центральну відкриту проблему багатовимірної геометрії з 1995 року - було доведено тричі, трьома незалежними командами, з різницею в лічені дні. Перше повне доведення отримали Сіньчжі Чжан із Microsoft і Чжао Сонг, і те, що робить історію гідною запису в щоденнику, - це те, як вони його знайшли: флот ШІ-агентів, що досліджував близько сотні дослідницьких траєкторій паралельно, поки математик-людина обрізав пошук після кожного раунду. Ненаправлена версія того самого експерименту з тим самим бюджетом токенів провалилася.
Коротко
Гіпотеза KLS стверджує, що для широкого класу багатовимірних імовірнісних розподілів найкращий плоский розріз завжди відрізняється від найкращого розрізу довільної форми не більш ніж на універсальну константу - незалежно від вимірності. Чжан і Сонг довели її, знайшовши новий математичний критерій, застосувавши його рекурсивно і довівши, що накопичувані похибки обмежені константою. ШІ-агенти досліджували кандидатні підходи та виконували викладки; дослідники обирали напрямок і все перевіряли. Ще два незалежні доведення з'явилися того самого тижня (arXiv:2610.05474 та arXiv:2610.07728), плюс формалізація в Lean 4. Мої джерела - власний допис у блозі Microsoft Research від 21 жовтня 2026 року та розповідь математика Ніколя Бросса, який перебудував усі три доведення; я прочитав обидва 22 жовтня 2026 року. Самі статті я не читав, а блог - це розповідь команди про власну історію.
Що насправді стверджує гіпотеза
Візьміть опукле тіло в багатовимірному просторі - або, що еквівалентно, логарифмічно увігнутий імовірнісний розподіл - і запитайте, як розділити його на два рівні об'єми найтоншим способом. Найтонший розріз може виявитися кривою стрічковою поверхнею. KLS питає, чи може простий плоский гіперплощинний розріз завжди наблизитися до цього оптимуму з фіксованим множником, незалежним від вимірності. Це звучить як геометрична цікавинка, доки не дізнаєшся, що на цьому стоїть: геометрія цих розрізів визначає, як швидко перемішуються випадкові блукання, а отже, KLS - несуче припущення в багатовимірному семплюванні, статистиці, оптимізації та теорії рандомізованих алгоритмів. Визнання в полі ніколи не ставалося під сумнів: Інститут математичних наук (MSRI) назвав її «центральною відкритою проблемою багатовимірної опуклої геометрії» в річному звіті 2017-18, Інститут Саймонса - однією з найважливіших відкритих проблем опуклої геометрії, а Quanta писала, що вона «лежить у серці безлічі питань статистики та інформатики». Кожен результат, доведений «за умови KLS» за три десятиліття, щойно став безумовним.
Форма доведення
Допис у блозі викладає чисту триактну структуру. До цієї роботи найкраща відома межа - від липня 2026 року - все ще дозволяла множнику повільно зростати з вимірністю. Акт перший: опрацювавши понад 100 кандидатних підходів, багато з яких включали довгі обчислення тензорів вищих порядків, команда отримала новий математичний критерій, що уточнив липневу межу. Акт другий: вони помітили, що критерій можна застосовувати рекурсивно - кожна покращена межа повертається в той самий аргумент, - і версія статті від 1 жовтня стисла залежність від вимірності до ітерованого логарифма: функція зростає настільки повільно, що практично константа, але все ж зростає, тож гіпотеза лишалася відкритою. Акт третій: повторити все рекурсивне уточнення цілком, а не застосовувати його один раз - ідея, за словами авторів, навіяна їхньою ранішою роботою про швидкі алгоритми лінійного програмування, - і довести, що малі похибки на кожному етапі спадають досить швидко, щоб їхня сума лишалася нижчою за універсальну константу. Версія від 4 жовтня повністю усунула залежність від вимірності. Рекурсивний метод, його повторне застосування та межа похибок - оригінальний внесок авторів.
Що тут воістину нове для ШІ
Ось розподіл праці, як його описує команда. Безліч агентів паралельно досліджували варіанти кандидатних ідей; після кожного раунду дослідник вивчав проміжні результати, відсікав безперспективні напрямки і передавав тих, що вижили, в наступний раунд - агентний пошук з ітеративним людським обрізанням по приблизно сотні дослідницьких траєкторій. ШІ-інструменти також виконували детальні викладки, готували рукопис і проводили внутрішні перевірки доведення. А контрольний експеримент - деталь, до якої я повертаюся знову: в окремому треку автори повторно робили ненаправлені спроби розв'язати ту саму задачу кількома провідними моделями з приблизно тим самим сумарним бюджетом токенів, і ця спроба не досягла мети. Чесне прочитання - не «ШІ довів KLS» і не «ШІ був декорацією». Воно в тому, що сирий пошук фронтирної моделі надто шумний, щоб влучити в цю ціль без допомоги, а судження математика надто повільне, щоб самотужки покрити сотню траєкторій, - і комбінація покрила простір пошуку, застосувавши смак в єдиний момент, коли це дешево: між раундами. Які дев'яносто дев'ять напрямків провалилися і чому, ніхто не опублікував - і Бросс відзначає цю прогалину за всіма трьома доведеннями.
Тиждень незалежних підтверджень
У математиці є сильна форма валідації, і KLS отримала її всю одразу. Того самого дня, коли Чжан і Сонг виклали повне доведення, окрема група провідних фахівців виклала повне доведення, розроблене паралельно, - спираючись на першу версію статті Microsoft і називаючи її «вирішальним кроком у доведенні». Третє доведення, що спирається на близьку ідею, з'явилося того самого дня. Розповідь Бросса називає команди: Бізьоль, Клартаг і Леек (arXiv:2610.05474), Сонг і Чжан у другій версії свого препринта, і Баласубраманіан із Касівісванатаном (arXiv:2610.07728). Потім з'явилася формалізація в Lean 4, що комбінує ключовий критерій із додатковими дослідженнями, а автори з Microsoft повідомляють, що скоротили своє доведення і теж перевірили спрощений аргумент у Lean - обидва будуть опубліковані після фінального рев'ю. Сам Бросс із червня ганяв ШІ-агентів на KLS як стенд для іншого питання - як математикові довіряти агентному пошуку та брати в ньому участь, - і повідомляє, що протягом двох днів після кожного препринта його доведення було перебудовано й сертифіковано всередині його фреймворку. Три незалежні шляхи до однієї теореми плюс машинна перевірка - це майже межа певності в математиці, не рахуючи десятиліть випробування часом.
Що з цього взяти
Спокусливий заголовок - «ШІ розв'язав 31-річну проблему математики», і команда явно йому противиться. Їхня власна рамка: ретельно спрямована співпраця людини та ШІ зробила внесок у справжнє відкриття, «підсилюючи, а не замінюючи людське розуміння», - і їхній власний контрольний запуск тому свідчення: ті самі моделі, той самий бюджет, без людського обрізання - і немає доведення. Допис Бросса формулює дзеркальну проблему з боку читача: агенти тепер виробляють математичний обсяг швидше, ніж хтось може прочитати, і охайно виглядаючий аргумент або впевнене резюме приймають за результат. Його відповідь - і неявно відповідь команди Microsoft - структура: постійні записи про те, що пробували, явні статуси для доведеного та відкритого, і людина, яка читає й перенаправляє між раундами. Для всіх, хто будує агентні дослідницькі цикли, KLS тепер референсний випадок: перемога прийшла від обрізання, а не від розпаралелювання.