Исследовательская лаборатория OpenAI представила серию научных результатов в области математики, физики и теоретической информатики, сгенерированных моделями искусственного интеллекта. Главным событием публикации стало опровержение гипотезы экспоненциального времени (ETH), что вплотную подводит научное сообщество к фундаментальной проблеме равенства классов P и NP, а также частичное решение задачи тысячелетия относительно квантовой теории Янга — Миллса. Популяризатор технологий и автор канала Уэс Рот проанализировал обнародованные данные и объяснил, почему открытие алгоритмических обходных путей может радикально изменить шифрование, ускорить научные открытия и заставить пересмотреть пределы возможностей вычислительных систем.
🔬 Неожиданный релиз OpenAI и задачи тысячелетия 0:00
Компания OpenAI неожиданно выпустила отчет, в котором заявила о фундаментальных научных прорывах, полностью сформулированных и выведенных моделями искусственного интеллекта . Документ охватывает сложные проблемы на стыке теоретической физики, фундаментальной математики и теории сложности вычислений. Особый резонанс в академической среде вызвало заявление о том, что модель нашла доказательство несостоятельности гипотезы экспоненциального времени (Exponential Time Hypothesis, ETH) .
Уэс Рот отмечает, что гипотеза ETH десятилетиями воспринималась учеными как непреодолимый вычислительный барьер, сопоставимый с фундаментальными физическими законами — например, с запретом на движение со скоростью выше скорости света . Из-за тесной связи ETH с центральной проблемой теоретической информатики — равенством классов P и NP — в сети мгновенно возникли предположения о взломе современных криптографических стандартов .
Президенту OpenAI Грегу Брокману пришлось публично выступить с разъяснениями, заверив публику, что класс P, по всей видимости, по-прежнему не равен NP . Однако сам факт того, что ИИ подобрался к этой границе, вызвал беспокойство ученых. Специалист по квантовым вычислениям Скотт Ааронсон в подкасте незадолго до релиза упомянул, что его коллеги-физики, ранее скептически относившиеся к ИИ, теперь «нервно наблюдают» за происходящим .
Интерес к подобным проблемам восходит к истокам компьютерной эры:
- В 1955 году математик Джон Нэш направил историческое письмо в Агентство национальной безопасности (АНБ) США, заложив основы теории вычислительной сложности .
- Курт Гёдель в переписке с Джоном фон Нейманом подчеркивал, что подтверждение равенства классов сложности повлекло бы за собой колоссальные последствия для всей науки .
- Вопрос «P против NP» официально включен Математическим институтом Клэя в список семи «Задач тысячелетия» с наградой в один миллион долларов за каждую .
Помимо вопросов вычислительной сложности, в публикации OpenAI содержится строгое математическое доказательство существования квантовой теории Янга — Миллса в калибровочном пределе . Это представляет собой решение значительной части соответствующей Задачи тысячелетия, хотя пока и не закрывает ее полностью . Как подчеркивает ведущий, ИИ последовательно берет штурмом проблемы, над которыми математики безрезультатно бились последние тридцать лет .
🔐 Проблема P против NP: комбинаторный взрыв и криптография 6:20
Чтобы объяснить суть спора, Уэс Рот привел наглядную аналогию с кодовым замком . Если на замке установлен один диск с цифрами от нуля до девяти, злоумышленнику потребуется максимум десять попыток для перебора . Однако с добавлением каждого нового диска сложность растет экспоненциально:
- Два диска требуют до 100 попыток .
- Три диска увеличивают количество комбинаций до 1 000 .
- Десять дисков создают уже 10 миллиардов возможных вариантов .
Такой лавинообразный рост сложности лежит в основе всех систем безопасности: подбор пароля методом грубой силы (brute force) занимает миллионы лет . При этом математические задачи делятся на два принципиальных типа:
- Класс P (полиномиальное время) — задачи, время решения которых при росте объема входных данных масштабируется умеренно (например, сортировка нескольких корзин белья) .
- Класс NP (недетерминированное полиномиальное время) — проблемы, для которых крайне сложно найти решение с нуля, однако предложенный ответ можно проверить очень быстро .
Примерами таких задач служат головоломка судоку или составление рабочего графика для сотен сотрудников с учетом множества конфликтующих ограничений: перебор всех вариантов занимает вечность, но проверка готового расписания на корректность отнимает секунды .
Вся современная банковская инфраструктура, безопасность протоколов интернета и приватность транзакций функционируют только потому, что проверка валидности цифровой подписи относится к классу P (выполняется мгновенно), а взлом ключа требует экспоненциального времени . Если бы оказалось, что P = NP, это означало бы наличие универсального алгоритмического пути, превращающего поиск любого сложного решения в простую и быструю процедуру .
🧩 Гипотеза экспоненциального времени и ее опровержение 12:35
Гипотеза экспоненциального времени (ETH), сформулированная около 30 лет назад, постулировала, что для решения базовых NP-полных задач (например, логической выполнимости 3-SAT с тысячами переменных) суперкомпьютерам гарантированно требуется время, растущее по экспоненте . До сих пор наука исходила из того, что этот экспоненциальный барьер несокрушим .
На предположении об истинности ETH базировались сотни фундаментальных научных трудов в биоинформатике, вычислительной геометрии, теории графов и архитектуре баз данных . Опровержение этой гипотезы можно сравнить с внезапным исчезновением фундамента из-под целого научного квартала .
Нейросеть OpenAI сумела обнаружить субэкспоненциальный алгоритм для задачи, которая традиционно считалась требующей полного перебора . Подобно опытному взломщику, который «прислушивается к щелчкам механизма», алгоритм нашел математические закономерности, позволяющие сразу отсекать гигантские массивы неверных ветвей без прямого тестирования . По данным Уэса Рота, похожие результаты параллельно были получены и в компании Anthropic .
Во избежание скандалов, связанных с авторством, OpenAI применила принципиально новую схему публикации:
- Компания отказалась от единоличного присвоения лавров первооткрывателя .
- К валидации и курированию статьи были привлечены авторитетные ученые: Рассел Импальяццо, Рамамохан Патури и Райан Уильямс .
- Примечательно, что именно Импальяццо и Патури тридцать лет назад разработали и ввели саму гипотезу экспоненциального времени .
Авторы оригинальной теории лично проверили доказательство искусственного интеллекта, опровергающее их собственную концепцию, и подтвердили его математическую строгость .
🏛️ Академический консерватизм и растерянность математиков 14:05
Вторжение генеративных моделей в область строгих математических доказательств вызвало болезненную реакцию академического истеблишмента . Как отмечает Уэс Рот, среди некоторых исследователей проявились тенденции к «гейткипингу» — попыткам объявить математику закрытым клубом, куда машинам вход запрещен .
В качестве примера психологической напряженности приводится случай в семье Скотта Ааронсона: его девятилетний сын в шутку сказал матери, видному специалисту по теории сложности Дане Мошковиц, что ее карьера закончена, поскольку робот решил задачу, над которой она работала всю жизнь .
Сам Ааронсон подчеркнул, что математики не имеют права монопольно определять, кто именно может решать научные задачи . Ведущий сравнил ученых, отвергающих доказательства нейросетей из принципа, со средневековыми переписчиками книг, пытавшимися бойкотировать изобретение печатного станка . При этом он выразил глубокое уважение создателям ETH, которые сумели отбросить предвзятость и открыто признали правоту выкладок ИИ .
⛰️ Метафора горы: сквозь толщу Эвереста 18:10
Для лучшего понимания открытия Уэс Рот предложил пространственную модель: путь между точками «А» и «Б» преграждает неприступная вершина вроде Эвереста .
- Традиционная концепция ($P \neq NP$) гласит, что обойти гору нельзя: необходимо карабкаться на самую вершину и спускаться вниз, выполняя колоссальный объем вычислений .
- Гипотетическое равенство $P = NP$ означало бы наличие прямого тоннеля у основания горы, соединяющего точки напрямую .
- Опровержение ETH не доказывает равенство P и NP, но показывает, что внутри горы существуют естественные пещеры и ходы .
Человечество полвека исходило из неизбежности лобового штурма вершины, однако ИИ доказал наличие внутренних коротких путей, снижающих сложность вычислений до субэкспоненциального уровня . Доказательство было полностью формализовано на математическом языке программирования Lean и сопровождено пояснениями на естественном языке, что исключает ошибки логического вывода .
Тем не менее, как оговаривается в отчете OpenAI, переход от абстрактной математической конструкции к практическим быстрым алгоритмам потребует дополнительных масштабных исследований .
⚡ «Чит-код для Вселенной»: последствия крушения сложности 22:00
Если теоретические прорывы приведут к созданию реальных быстрых алгоритмов решения NP-трудных задач, мир столкнется с двойственным эффектом . С одной стороны, глобальная цифровая инфраструктура окажется под ударом: протоколы шифрования веб-сайтов, банковские транзакции и блокчейн-сети моментально обесценятся . Потребуется экстренная перестройка всех принципов кибербезопасности .
С другой стороны, цивилизация получит инструмент, эквивалентный «чит-коду для законов Вселенной» . Задачи оптимизации, требовавшие работы суперкомпьютеров на протяжении столетий, смогут выполняться простыми скриптами :
- Моделирование третичной структуры белков и разработка таргетных лекарств перейдут на принципиально иные скорости .
- Топология интегральных схем и разводка микрочипов станут математически безупречными .
- Сверхсложная складская и транспортная логистика сведется к тривиальным уравнениям .
- Произойдет взрывной скачок в ускорении самих алгоритмов машинного обучения .
По мнению Уэса Рота, экономические преимущества передовых институтов, зарабатывавших на закрытых вычислительных мощностях, нивелируются, трансформируя глобальный финансовый сектор .
🎮 Недосягаемые константы и гипотеза симуляции 24:30
Существует существенное препятствие, отделяющее теоретическую победу над алгоритмом от практического триумфа: размер скрытых констант . В теории сложности алгоритм может считаться субэкспоненциальным или даже полиномиальным, однако давать реальное преимущество лишь на массивах данных, превышающих размеры видимой Вселенной .
Если вычислительный путь короче классического перебора только при решении задач, требующих большего числа атомов для записи числа, чем существует в мироздании, найденный алгоритм останется бесполезным на практике .
В связи с этим исследователь Алекс Эллис выдвинул шуточную, но философски глубокую гипотезу: наличие подобных «абсурдных констант» может служить косвенным признаком того, что наша реальность является симуляцией . По логике Эллиса, гипотетические «создатели симуляции» установили предел скорости света, чтобы замкнуть цивилизацию внутри ограниченного пространства, а барьер сложности вычислений в виде недостижимых констант запрограммировали для того, чтобы жители виртуального мира не смогли мгновенно взломать все технологическое древо .
📜 Интуиция Эмануэле Виолы и триумф в физике 27:25
В противовес большинству ученых, исследователь в области компьютерных наук из Северо-Восточного университета Эмануэле Виола еще в публикации статьи с заголовком «Я верю, что P = NP» заявлял о принципиальной возможности преодоления барьеров сложности . Исторический опыт математики подтверждает правоту смелых гипотез:
- В 1950-х годах академик Андрей Колмогоров публично объявил о невозможности умножения многозначных чисел быстрее традиционного школьного метода, однако его студент Анатолий Карацуба всего за неделю нашел более быстрый алгоритм, после чего ученый закрыл свой семинар .
- Математик Фолькер Штрассен намеревался доказать абсолютную оптимальность стандартного алгоритма умножения матриц, но вместо этого разработал революционный быстрый метод, носящий ныне его имя .
По убеждению Виолы, ученые систематически недооценивают пределы эффективных вычислений: практически всегда находится остроумный алгоритмический обход, превращающий неразрешимую задачу в доступную .
Параллельно OpenAI отчиталась о крупном прорыве в теоретической физике — предоставлении математического доказательства существования калибровочной теории в рамках квантовой хромодинамики (КХД) и Стандартной модели физики элементарных частиц . Хотя расчеты физиков на Большом адронном коллайдере в Швейцарии превосходно совпадали с эмпирическими наблюдениями, фундаментальная квантовая теория поля страдала от отсутствия строгого математического базиса для граничных условий .
Искусственный интеллект закрыл эти бреши, переведя квантовую теорию поля из ранга интуитивно работающей физической модели в ранг математически строгой дисциплины . Аналогичным образом модели справились с вопросами локального сглаживания и геометрической гипотезой Какэи .
Подводя итог, Уэс Рот отметил: барьеры, десятилетиями казавшиеся абсолютными законами природы, начинают разрушаться под воздействием машинного интеллекта. Даже если до практического взлома криптографии еще далеко, представление человека о границах познаваемого изменилось бесповоротно .
