Криптосообщество бурно отреагировало на заявление OpenAI о том, что её искусственный интеллект доказал ложность ETH. Однако, как выяснилось, речь идёт не об Ethereum, а о гипотезе экспоненциального времени (Exponential Time Hypothesis) — предположении из теоретической информатики, сформулированном в 1999 году.
OpenAI опубликовала 67-страничную работу, в которой описывается детерминированный алгоритм, подсчитывающий все удовлетворяющие условиям решения классической задачи 3-SAT за субэкспоненциальное время. Компания утверждает, что её модель обнаружила опровержение 16 октября, а уже 17 октября результат был формализован в системе Lean, механически проверяющей каждый логический шаг. Документ датирован 17 октября и обновлён 25 октября.
Авторы исходной гипотезы — Рассел Импальяццо и Рамамохан Патури, предложившие её вместе с Фрэнсисом Зейном, — вместе с Райаном Уильямсом из MIT возглавили независимую проверку. Они подчеркнули, что их участие не является сертификацией утверждения, а результат такого масштаба требует тщательной независимой экспертизы.
В OpenAI отметили, что участники проверки не подписывали соглашения о неразглашении, работа не оплачивалась, а все исходные данные будут опубликованы. Компания также профинансирует конференцию по этой теме. Практическая польза пока не очевидна: в самой работе говорится, что опровержение ETH не означает, что все NP-задачи можно решать за субэкспоненциальное время, поэтому вопрос P versus NP остаётся открытым.
Тем временем Anthropic опубликовала собственный препринт, приписываемый модели Claude, — «A 2^o(n) Time Algorithm for 3-SAT» от 26 октября. В нём также заявляется об алгоритме для задачи 3-SAT, но подчёркивается, что результат носит чисто асимптотический характер и ничего не говорит о практическом решении формул.
На платформе X пользователи шутили о якобы обвале $ETH и молчании Виталика Бутерина, однако для рынка криптовалют заявление OpenAI прямых последствий не несёт: одноимённый тикер Ethereum не связан с математической гипотезой.
