В 2021 году мировая наука зафиксировала сразу несколько фундаментальных прорывов на стыке математики, физики и компьютерных технологий. Научный журнал Quanta Magazine представил обзор важнейших открытий, которые помогли заглянуть внутрь «черного ящика» искусственного интеллекта, приблизиться к разгадке вековой тайны теории множеств и математически описать модель квантовой гравитации. Эти достижения не только разрешили давние теоретические споры, но и заложили основу для будущих технологических революций.
🧠 Вскрытие «черного ящика»: математический ключ к глубоким нейросетям 0:01
История искусственного интеллекта началась еще в 1950-х годах, когда ученые впервые запрограммировали компьютер первого поколения обучаться по принципам работы человеческого мозга. Эта простейшая модель, получившая название «нейронная сеть», состояла из базовых вычислительных узлов, принимающих входные данные и передающих результаты простых вычислений дальше. По мере усиления связей между узлами при правильных ответах система успешно обучалась.
В современном мире продвинутые версии этих систем — глубокие нейронные сети — стали самым успешным инструментом искусственного интеллекта в истории. Они обеспечивают работу сервисов распознавания речи, классификации изображений и находят скрытые паттерны в огромных массивах данных, делая точные прогнозы. Однако до сих пор принципы их внутренней работы оставались загадкой для науки, поскольку никто точно не знал, что именно происходит внутри миллиардов скрытых слоев нейросети в процессе поиска решений.
Исторически большинство методов машинного обучения проектировались на основе простых свойств, где разработчик имел строгие математические гарантии достижения конкретного результата. Полноценные глубокие нейросети ушли от этой парадигмы, предоставив создателям лишь возможность выбирать количество узлов в скрытых слоях, что принято называть «шириной» сети.
Чтобы упростить понимание этих процессов, Ясмин Берри и ее коллеги из команды Google Brain применили радикальный математический подход. Исследователи решили рассмотреть экстремальный случай и теоретически увеличили ширину нейросети до бесконечности. По словам Ясмин Берри, главной целью эксперимента было стремление понять, можно ли сказать что-то конкретное о поведении сети в таком бесконечном пределе.
Результаты оказались поразительными: Берри удалось математически свести бесконечно широкие сети к гораздо более простым алгоритмам, известным как «ядерные машины». Эти алгоритмы опираются на труды немецкого математика XIX века Карла Фридриха Гаусса. В отличие от нелинейных нейросетей, ядерные машины линейны по своим параметрам, что делает их математически разрешимыми, но при этом они сохраняют богатую функциональную зависимость от входных данных.
Вычисления в ядерных машинах строятся по следующим принципам:
- Паттерны обнаруживаются за счет проекции данных в экстремально высокие измерения.
- Точки низкоразмерного набора данных отображаются на соответствующие координаты в гиперпространстве.
- Для итоговой классификации объектов применяется специальный геометрический объект — гиперплоскость.
Этот метод позволяет рассчитывать бесконечномерные данные, стабильно оставаясь в рамках пространства меньшей размерности. Команда Берри доказала, что ядерные методы математически эквивалентны идеализированной версии глубокой нейросети. По мнению Берри, точная эквивалентность между двумя системами, одна из которых может быть строго решена математически, открывает огромные перспективы для науки.
Ученые надеются, что в будущем данную эквивалентность удастся расширить за пределы идеализированных моделей, объяснив феноменальные успехи реальных нейросетей. Берри отмечает, что для описания сетей конечной ширины потребуется проделать еще много работы, однако теперь у исследователей появилась надежная отправная точка для систематического изучения пропущенных элементов.
♾️ Загадка континуума: новые аксиомы против бесконечности Кантора 4:10
В области теории множеств, изучающей совокупности чисел и математических объектов, на протяжении долгого времени разворачиваются серьезные дискуссии. Споры касаются природы бесконечности, а точнее — существования бесконечностей разных размеров. В математике два бесконечных множества считаются биективными (равными по размеру), если каждому элементу одного множества можно сопоставить ровно один элемент другого.
Однако далеко не все бесконечные множества равны между собой, и в науке существует множество примеров, когда одна бесконечность строго меньше другой. Эти вопросы уходят корнями на 150 лет назад, когда немецкий математик Георг Кантор перевернул научный мир своим контринтуитивным открытием. Он доказал, что бесконечное множество вещественных чисел (всех точек на числовой прямой) превосходит по размеру бесконечное множество натуральных чисел, используемых при счете.
Классификация бесконечностей в рамках теории Кантора строилась на следующих положениях:
- Размер наименьшей бесконечности натуральных чисел получил обозначение $\aleph_0$ (алеф-нуль).
- Следующий по величине масштаб бесконечности был назван $\aleph_1$ (алеф-один).
- Размер непрерывного континуума вещественных чисел должен в точности соответствовать значению $\aleph_1$.
Кантор выдвинул знаменитую континуум-гипотезу, утверждающую, что между натуральными и вещественными числами не существует промежуточных размеров бесконечности. Тем не менее, сам Кантор так и не смог это доказать, поскольку базовые аксиомы математики того времени не позволяли разрешить эту проблему.
В 2021 году специалисты по теории множеств Давиде Асперо и его многолетний коллега Ральф Шиндлер вплотную приблизились к ответу. Как вспоминает Асперо, правильный сценарий наметился еще около 10 лет назад, но тогда ученым не хватало одной важной детали, которую они в итоге обнаружили совершенно случайно.
Прорыв произошел, когда Асперо применил специальную технику для создания математического объекта, называемого «свидетелем» (witness). С помощью этого инструмента ученый смог доказать, что экстремально мощная математическая аксиома Максимум Мартина плюс-плюс ($MM^{++}$) логически влечет за собой другую конкурирующую аксиому, известную как «звезда» ($\star$).
Объединив две соперничающие аксиомы, Асперо и Шиндлер продемонстрировали, что обе они, по всей видимости, являются истинными. Это прямо указывает на то, что между множествами натуральных и вещественных чисел действительно существует промежуточный размер бесконечности. Таким образом, вещественных чисел должно быть больше, чем предполагал Георг Кантор в своей гипотезе.
Данное открытие способно поставить точку в 150-летней математической загадке, предложив непротиворечивую альтернативу континуум-гипотезе. Однако, как отмечается в материале, эта история еще далека от завершения. Новые и еще более сильные аксиомы уже бросают вызов полученным результатам, и в научном сообществе разгорается борьба за то, какая из сторон окажется правой в споре об истинном размере континуума.
🌀 Поля квантовой гравитации: доказательство формулы Лиувилля 7:21
Поле Лиувилля представляет собой исключительно хаотичную математическую поверхность, где высота каждой точки выбирается случайным образом. Сорок лет назад советский физик-теоретик Александр Поляков нашел поразительное применение этим полям, использовав их в качестве упрощенной модели квантовой физики. Поляков интуитивно понял, что они способны объяснить поведение теоретических объектов, называемых струнами, и помочь в построении двухмерной модели квантовой гравитации. Подобная система может служить «игрушечной моделью» для многомерных случаев, а также применяться в теории струн, которая во многом изучает именно двумерные поверхности.
Однако предложенная Поляковым формула для понимания поля Лиувилля не была строго доказана математически. Физик пытался описать ее с помощью континуального интеграла (path integral), разработанного Ричардом Фейнманом, но поле Лиувилля долгое время не поддавалось такому описанию.
Примерно в 2013 году математик Винсент Варгас и его коллеги начали детально изучать континуальный интеграл Полякова. По словам Варгаса, физики утверждали, что если бы удалось придать этому интегралу строгий математический смысл, ученые смогли бы напрямую построить непрерывную квантовую гравитацию. Опираясь на эти тезисы, команда Варгаса решила принять вызов и дать интегралу четкое определение.
Варгас и его группа пошли по альтернативному пути, задействовав теорию вероятностей. Они начали с трансформации хаотичного поля Лиувилля в гораздо более мягкий объект — гауссовское свободное поле. В исходном виде поле Лиувилля напоминает грубый ландшафт с бесконечными острыми пиками повсюду. С точки зрения физики гауссовское поле считается тривиальной и даже «скучной» теорией, где любые параметры можно вычислить мгновенно. К удивлению физического сообщества, математики осознали, что любые естественные вычисления в теории Лиувилля можно выразить через свойства гауссовского свободного поля.
Параллельно существовали и другие подходы к решению данной проблемы:
- В 1984 году Александр Поляков начал разрабатывать метод под названием «бутстрап» (bootstrap) — математическую лестницу, которая постепенно выстраивает полное сложное представление поля.
- В 1990-х годах две независимые группы физиков развили этот метод и сумели полностью описать поле Лиувилля.
- Итогом их работы стала знаменитая формула DOZZ, которая успешно работала, но оставалась исключительно результатом удачной догадки.
Как объясняет Винсент Варгас, формула DOZZ долгое время выглядела как результат «черной магии» из закрытого ящика. Однако его команде удалось доказать, что эта формула имеет четкий вероятностный смысл. Исследователи продемонстрировали полную эквивалентность своей вероятностной конструкции континуального интеграла и метода бутстрапа.
Разработав новую, усовершенствованную версию континуального интеграла Полякова на основе гауссовского свободного поля, ученые раскрыли загадочное происхождение формулы DOZZ. Проделанная работа связала теорию вероятностей с теорией представлений. Тем самым математики строго доказали, что поле Лиувилля моделирует квантовую гравитацию в точности так, как предсказывал Александр Поляков за 40 лет до этого. Варгас подчеркивает, что объединение двух изначально далеких друг от друга областей математики позволило рассчитать величины, которые физики до сих пор не имели возможности вычислить.
