AI-агенти допомогли довести 31-річну геометричну гіпотезу KLS
Дослідники використали паралельний пошук моделей, але вирішальні кроки та перевірку логіки виконали самі науковці.
Дослідник Microsoft Research Сіньчжи Чжан та незалежний дослідник Чжао Сун представили доведення гіпотези Каннана — Ловаса — Симоновица (KLS), сформульованої у 1995 році. Вона належить до фундаментальних задач геометрії високих розмірностей і пов'язана з тим, наскільки ефективно випадкові алгоритми досліджують складні простори.
Гіпотеза стверджує, що для певного класу багатовимірних розподілів простий плоский розріз дозволяє оцінити найвужче місце простору з точністю до постійного множника, який не має зростати разом із числом вимірів. Геометрія таких вузьких місць впливає на швидкість змішування випадкових блуждань. Доведення дозволяє прибрати додаткове припущення з цілого ряду теоретичних результатів.
Під час роботи дослідили понад сто можливих підходів, що вимагали обчислень із тензорами. З цієї роботи виник новий математичний критерій, який став основою доведення. Потім автори застосували рекурсивне уточнення оцінок і довели, що помилки залишаються обмеженими незалежно від розмірності простору.
AI-агенти допомагали досліджувати варіанти, проводити обчислення та перевіряти проміжні міркування. Ключові рішення ухвалювали самі вчені, а моделі без керівництва впоратися не змогли. Робота з'явилася на arXiv на початку жовтня, а 21 жовтня Microsoft Research розповіла про неї детальніше. Того ж дня інша група математиків представила власне доведення, назвавши критерій Суна і Чжана ключовим кроком.
Джерело: Microsoft Research blog
Джерело: arXiv preprint 2610.01447
Джерело: habr
Коментарі
Допоможи покращити наступну версію: Додавай контекст або пропонуй виправлення. Після AI-перевірки коментарі можуть отримати бали для переписування. Перевірка й оновлення потребують часу; повна шкала не гарантує нової версії.