Модель OpenAI опровергла гипотезу об экспоненциальном времени (ETH), найдя более быстрый метод решения классической логической задачи. Подтверждение, проверенное машиной, подтверждает это утверждение, опровергая предположение, которому исследователи доверяли в течение 27 лет.

Этот результат не доказывает, что P равно NP, что является более широким вопросом, лежащим в основе современной криптографии. Следовательно, этот алгоритм не представляет прямой угрозы для криптографии, обеспечивающей безопасность Bitcoin (BTC) и Ethereum.

Объявляем о трех важных научных открытиях: одно в математике (гармонический анализ), одно в информатике (теория сложности) и одно в физике (квантовая теория поля).

Искусственный интеллект начинает помогать нам лучше понимать Вселенную! https://t.co/VkfacopR2R

— Greg Brockman (@gdb) 26 октября 2026 г.

Почему гипотеза об экспоненциальном времени была важна?

Эта гипотеза касается задачи 3-SAT, которая состоит из переключателей "истина/ложь" и правил, связывающих их. Цель состоит в том, чтобы найти такое положение переключателей, которое одновременно удовлетворяет всем правилам.

Проверка предложенного решения проста. Найти такое решение сложно, потому что добавление каждого нового переключателя удваивает количество возможных комбинаций.

Инфографика, объясняющая гипотезу об экспоненциальном времени как комбинационный замок, где добавление каждого переключателя удваивает количество комбинаций / Источник: BeInCrypto

Рассел Импальяццо и Рамамохан Патури предложили ETH в 1999 году. Несмотря на одинаковый аббревиатурный код, она не имеет ничего общего с тикером Ethereum.

Эта гипотеза утверждает, что ни один алгоритм не может избежать этого экспоненциального роста в худшем случае.

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

Как искусственный интеллект нашел обходной путь, который эксперты упустили?

Система OpenAI представила доказательство на естественном языке 16 октября. На следующий день команда формализовала его в Lean, программном обеспечении, которое проверяет каждый логический шаг.

Опубликованный алгоритм обрабатывает входные данные с n переменными примерно в 2^(n/√log n) шагов. Это лучше, чем экспоненциальный предел, предсказанный ETH, но все же слишком медленно для практического использования.

OpenAI предупреждает, что для достижения реального ускорения необходимы обширные дальнейшие исследования.

Импальяццо и Патури, оба из Калифорнийского университета в Сан-Диего, теперь возглавят процесс рецензирования вместе с Райаном Уильямсом из MIT. Другими словами, авторы гипотезы проверяют ее опровержение.

Тем временем OpenAI заявляет, что не претендует на научные заслуги в связи с этим открытием, что соответствует ранее возникшим спорам по поводу доказательства уравнения Навье-Стокса.

Скотт Ааронсон, профессор информатики в Техасском университете в Остине, рассказал о том, как он узнал об этой новости.

"Мои студенты только что пришли в мой кабинет, чтобы сообщить, что модель OpenAI опровергла гипотезу об экспоненциальном времени."

Скотт Ааронсон, через Shtetl-Optimized

Означает ли опровержение гипотезы об экспоненциальном времени, что P равно NP?

Нет. Вопрос о том, равно ли P NP, заключается в том, можно ли решить любую задачу, ответ на которую можно быстро проверить, также быстро.

Гипотеза об экспоненциальном времени (ETH) была более строгим утверждением, чем P ≠ NP. Поэтому ее опровержение оставляет основной вопрос открытым.

Представьте себе гору между двумя долинами. Искусственный интеллект нашел более короткий путь через хребет, а не туннель сквозь него.

Грег Брокман, президент и сооснователь OpenAI, высказал ту же мысль через несколько часов после объявления.

Вероятно, P все равно не равно NP.

— Greg Brockman (@gdb) 26 октября 2026 г.

Это различие важно для владельцев криптовалют. Цифровые подписи Bitcoin основаны на криптографии эллиптических кривых, что является сложной математической задачей, которую данный алгоритм не решает.

Бенджамин Коуэн, член экспертного совета BeInCrypto, выразил свою обеспокоенность по этому поводу.

Но, чтобы прояснить, опровержение гипотезы об экспоненциальном времени не докажет, что P = NP, и не означает, что Bitcoin или Ethereum подвержены риску.

Гипотеза об экспоненциальном времени: что происходит, когда машины превосходят своих создателей?

Убеждения о невозможности уже рушились. В 1960 году Анатолий Карацуба опроверг предположение Андрея Колмогорова о умножении примерно за неделю.

Аналогично, в 1969 году Волькер Страссен попытался доказать оптимальность стандартного умножения матриц и вместо этого нашел более быстрый метод.

Отличие сейчас заключается в том, кто находит этот "обходной путь". Машины генерируют доказательства, а люди работают над их пониманием.

В том же объявлении были представлены дополнительные доказательства в области гармонического анализа и физики частиц.

Этот темп имеет значение для цифровых активов. Криптограф Мэтью Грин уже предупреждал, что искусственный интеллект может ослабить математическую основу кошельков.

Коуэн сформулировал более широкий урок в терминах рынка. По его мнению, области, далекие от финансов, в конечном итоге могут изменить рынки.

Для отрасли, основанной на предположениях о сложности, каждое достижение в области искусственного интеллекта теперь является своего рода стресс-тестом.