Модели ИИ от OpenAI и Anthropic бросают вызов гипотезе экспоненциального времени
- OpenAI и Anthropic независимо друг от друга разработали субэкспоненциальные алгоритмы, которые, по их утверждению, опровергают Гипотезу о экспоненциальном времени.
- Оба результата имеют формализацию в Lean, но исследователи все еще работают над пониманием и тщательной проверкой лежащих в их основе аргументов.
- Эти прорывы не решают проблему P versus NP и не позволяют взломать используемую в настоящее время криптографию.
OpenAI и Anthropic утверждают, что их модели ИИ бросили вызов традиционному представлению о пределах вычислений. Если эти выводы будут подтверждены, они могут изменить теорию сложности. Однако ни одна из компаний не смогла создать более быстрое программное обеспечение или взломать текущие системы шифрования.
Гипотеза от 1999, находящаяся под давлением
Рассел Импагалло и Рамамохан Патари впервые предложили Экспоненциальную гипотезу времени (ETH) в 1999 году. ETH предполагает, что существуют определенные логические задачи, требующие экспоненциально большего вычислительного времени по мере увеличения их размера.
Ученые десятилетиями строили свои исследования на этом предположении. По данным OpenAI, количество научных работ, в которых ETH использовалось для доказательства вычислительных пределов в теории графов, базах данных, вычислительной биологии и других областях, исчисляется сотнями. Если ETH окажется неверным, исследователям, возможно, придется пересмотреть многие из этих выводов.
Две лаборатории, два опровержения
26 октября OpenAI объявила, что ее ИИ-модель предоставила доказательство, ставящее под сомнение ETH. Это объявление стало частью более широкого выпуска результатов, включавшего достижения в области гармонического анализа и квантовой теории поля. Метод формализации Lean подтверждает корректность субэкспоненциального алгоритма, хотя сопроводительная статья предлагает еще более строгое теоретическое обоснование.
Всего через несколько часов Anthropic представила собственные результаты. По словам компании, Claude обнаружил детерминированный алгоритм, способный решать задачу 3-SAT за время, меньшее экспоненциального. Однако в их репозитории также было указано, что это открытие пока остается лишь теоретическим:
Этот результат носит чисто асимптотический характер и ничего не говорит о решении формул на практике.
Возникли и вопросы о научной основе открытий. TechCrunch сообщил, что математик Anthropic Левент Альпёге усомнился в том, насколько работа OpenAI опирается на уже существующие исследования.
Что эксперты могут и не могут проверить
Команда OpenAI, сформированная из пионеров ETH — Импагалло и Патари, вместе с профессором МТИ Райаном Уильямсом — проанализировала результаты. Компания также согласилась поддержать конференцию и сделать свои выводы общедоступными для дальнейшего рассмотрения.
Ранее Уильямс критиковал поток доказательств, сгенерированных ИИ, утверждая, что математики перегружены объёмом работы, требующей проверки. Однако последние выводы OpenAI его заинтересовали. В разговоре с TechCrunch он отметил, что хотя некоторые части доказательства казались знакомыми, другие выделялись:
«есть две-три части, выглядящие инопланетно»
Здесь и проявляется важность человеческого опыта. Lean может проверить, является ли формальное доказательство логически корректным, но исследователям все еще необходимо понять непривычные рассуждения и определить, могут ли они привести к практическим алгоритмам.
Почему это не P = NP и не взлом шифра
Опровержение ETH не решает проблему P versus NP и не выявляет уязвимостей в существующих системах шифрования.
Тем не менее, держатели криптовалют есть повод обратить внимание. Cryptopolitan сообщает о предупреждении исследователя Ethereum Джастина Дрейка: математика, сгенерированная ИИ, включая отдельный выпуск 722 рукописей от OpenAI, может в перспективе представлять угрозу для цифровых подписей.
На данный момент это остается предупреждением, а не подтвержденным нарушением безопасности.
В июле модель Claude Mythos Preview от Anthropic улучшила атаку на HAWK — кандидата в постквантовые алгоритмы подписи, проведя 60 часов исследований. Ни одна из развернутых систем не пострадала.
Гонка в области исследований ИИ без видимой финишной черты
Состояние ИИ 2026 описывает растущую гонку между Anthropic, OpenAI и Google.
Внутренние измерения Anthropic показывают, что в августе Claude выполнял 26% отслеживаемой работы по НИОКР моделей, по сравнению с менее чем 1% в феврале. Тем временем британский Институт кибербезопасности AI сообщает, что время выполнения определенных задач кибербезопасности, которые может выполнить ИИ, удваивается примерно каждые восемь месяцев.
ИИ помогает исследователям делать открытия быстрее. Однако математическое прорывное открытие не приводит автоматически к улучшению программного обеспечения. Даже если ETH будет опровергнута, практические алгоритмы могут потребовать годы разработки. У человеческих исследователей ещё много работы впереди.
Самые умные крипто-энтузиасты уже читают нашу рассылку. Хотите присоединиться? Присоединяйтесь.
Часто задаваемые вопросы
Что такое гипотеза экспоненциального времени?
Это гипотеза, предложенная Расселом Импальяццо и Рамароханом Патру в 1999 году, утверждающая, что некоторые задачи выполнимости булевых формул требуют времени, растущего экспоненциально с увеличением числа переменных; она цитировалась в сотнях работ по теории сложности.
Означает ли опровержение ETH взлом шифрования?
Нет. Вильямс сообщил, что OpenAI проверила, ослабляет ли её результат криптографические системы, и была «довольно уверена», что ничего нового не стало уязвимым, а собственное опровержение Anthropic указывает, что оно носит чисто асимптотический характер и не имеет практических последствий.
Как были проверены доказательства?
Обе лаборатории заявляют, что их опровержения были верифицированы в Lean — языке формальных доказательств, который проверяет каждый логический шаг, а OpenAI опубликовала своё исходное доказательство на GitHub для изучения группой независимых экспертов.
Отказ от ответственности. Предоставленная информация не является торговой рекомендацией. Cryptopolitan.com не несет ответственности за любые инвестиции, сделанные на основе информации, представленной на этой странице. Мы настоятельно рекомендуем проводить независимые исследования и/или консультироваться с квалифицированным специалистом перед принятием любых инвестиционных решений.
Ибиам Вайяс
Ибиам Вайяс освещает криптовалютные новости с 2019 года. Он изучал компьютерные науки в Национальном открытом университете Нигерии. Его работы публиковались на различных криптовалютных новостных платформах, включая Coinfomania, Crypto News Australia и AltcoinBuzz. Опираясь на свой опыт в области компьютерных наук, он теперь фокусируется на новостях о криптовалютах, робототехнике и долголетии.
