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

25 травня 2026 р. 19:25

25 травня 2026 р. 19:25

Завдання звучало дуже абстрактно: чи можна в просторах з величезним числом вимірів за обмежену кількість кроків знайти досить "рівну" структуру всередині складної випадкової множини. Простіше кажучи, мова про те, чи є прихований порядок там, де на перший погляд все виглядає занадто складним і випадковим.

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

Деталі

Щоб зрозуміти ідею, можна почати з простого прикладу. Опукла фігура - це фігура без "западин". Якщо взяти дві точки всередині кола або квадрата і з'єднати їх лінією, вся лінія теж залишиться всередині фігури. Це і є опуклість.

Але Талаграна цікавили не звичайні кола і квадрати, а набагато складніші об'єкти - множини в просторах з будь-яким числом вимірів. У таких просторах звична геометрична інтуїція майже не працює: що більше вимірів, то складніше зрозуміти, як влаштована форма.

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

Автори нового доказу підійшли до завдання не тільки як до геометричної проблеми, а й як до завдання про ймовірність. У препринті вони формулюють результат через випадкові вектори і показують, що це розв'язує проблему опуклості Талаграна, а також дає наслідок для схожої задачі в комбінаториці.

Чому це важливо

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

Це не означає, що доказ завтра змінить роботу нейромереж або дасть новий алгоритм для бізнесу. Це фундаментальна математика. Але такі результати поступово змінюють інструменти, якими вчені описують складні випадкові системи.

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

Бекграунд

Мішель Талагран відомий роботами в теорії ймовірностей, функціональному аналізі та геометрії високих розмірностей. Саму задачу про опуклість він сформулював 1995 року. За переказом Scientific American, Талагран називав свою гіпотезу майже "пострілом у темряву" і не був упевнений, що вона справді правильна.

Цікава деталь - роль ШІ. За повідомленнями про роботу, на ранньому етапі автори використовували ChatGPT як помічника для обговорення окремих ідей, але фінальний доказ було отримано математиками, а не моделлю.

Джерело

Dongming Merrick Hua, Antoine Song, Stefan Tudose, "On Talagrand's Convexity Conjecture", arXiv, 2026.

У роботі автори доводять результат про випадкові вектори, який, згідно з їхнім формулюванням, розв'язує задачу опуклості Талаграна і дає наслідок для її комбінаторного аналога. Оскільки статтю поки що розміщено як препринт, висновки варто подавати із застереженням: доказ подано, але його ще перевірятимуть фахівці.

Наука