Microsoft Research объявила о доказательстве гипотезы KLS

Microsoft Research сообщила, что команда Чжао Суна и Синьчжи Чжана получила доказательство гипотезы KLS — открытой с 1995 года задачи о выпуклых телах. Ключевой результат, по описанию компании, — универсальная граница, не зависящая от размерности, говорится в публикации Microsoft Research.

Для практики вокруг ИИ здесь важен не только сам математический итог, но и процесс. По данным Microsoft, ИИ-агенты исследовали более 100 направлений, а исследователи отбирали перспективные идеи, задавали курс и проверяли доказательные шаги. В компании отдельно отмечают, что неуправляемые прогоны моделей при сопоставимом бюджете токенов к решению не привели.

Пока это исследовательский результат, а не продуктовый релиз: доступен публичный препринт, но API или отдельного сервиса на его основе не объявлено. Microsoft также пишет, что параллельно появились независимые доказательства, а ключевой результат уже начали формализовывать в Lean 4.