Математики представили решение задачи, которую не могли доказать 30 лет

Задача звучала очень абстрактно: можно ли в пространствах с огромным числом измерений за ограниченное число шагов найти достаточно «ровную» структуру внутри сложного случайного множества. Проще говоря, речь о том, есть ли скрытый порядок там, где на первый взгляд всё выглядит слишком сложным и случайным.

Новое доказательство представили Донмин Меррик Хуа, Антуан Сонг и Стефан Тудосе. Работа опубликована как препринт на arXiv, поэтому корректнее говорить, что математики заявили решение: теперь доказательство должно пройти проверку научным сообществом.

Детали

Чтобы понять идею, можно начать с простого примера. Выпуклая фигура — это фигура без «впадин». Если взять две точки внутри круга или квадрата и соединить их линией, вся линия тоже останется внутри фигуры. Это и есть выпуклость.

Но Талаграна интересовали не обычные круги и квадраты, а гораздо более сложные объекты — множества в пространствах с любым числом измерений. В таких пространствах привычная геометрическая интуиция почти не работает: чем больше измерений, тем сложнее понять, как устроена форма.

Вопрос Талаграна был примерно таким: если у нас есть большое множество в высокоразмерном пространстве, можно ли с помощью фиксированного числа операций получить внутри него достаточно крупную выпуклую часть? Важно, что число шагов не должно расти вместе с числом измерений.

Авторы нового доказательства подошли к задаче не только как к геометрической проблеме, но и как к задаче о вероятности. В препринте они формулируют результат через случайные векторы и показывают, что это решает проблему выпуклости Талаграна, а также даёт следствие для похожей задачи в комбинаторике.

Почему это важно

Такие задачи могут звучать далёкими от обычной жизни, но они лежат в основе математики, которая помогает понимать сложные данные. Высокоразмерные пространства появляются в статистике, анализе данных, машинном обучении и оптимизации: например, когда объект описывается не двумя-тремя признаками, а тысячами параметров.

Это не значит, что доказательство завтра изменит работу нейросетей или даст новый алгоритм для бизнеса. Это фундаментальная математика. Но такие результаты постепенно меняют инструменты, которыми учёные описывают сложные случайные системы.

Главная ценность работы в том, что она показывает: даже в очень сложной случайности может быть структура, которую можно описать строгими математическими методами.

Бэкграунд

Мишель Талагран известен работами в теории вероятностей, функциональном анализе и геометрии высоких размерностей. Саму задачу о выпуклости он сформулировал в 1995 году. По пересказу Scientific American, Талагран называл свою гипотезу почти «выстрелом в темноту» и не был уверен, что она действительно верна.

Интересная деталь — роль ИИ. По сообщениям о работе, на раннем этапе авторы использовали ChatGPT как помощника для обсуждения отдельных идей, но финальное доказательство было получено математиками, а не моделью.

Источник

Dongming Merrick Hua, Antoine Song, Stefan Tudose, “On Talagrand’s Convexity Conjecture”, arXiv, 2026.

В работе авторы доказывают результат о случайных векторах, который, согласно их формулировке, решает задачу выпуклости Талаграна и даёт следствие для её комбинаторного аналога. Поскольку статья пока размещена как препринт, выводы стоит подавать с оговоркой: доказательство представлено, но его ещё будут проверять специалисты.