Три буквы для двух миров. Компания OpenAI опубликовала документ объемом 67 страниц под названием «Гипотеза экспоненциального времени неверна». При этом аббревиатура этой гипотезы в теоретической информатике – ETH. В течение нескольких минут крипто-сообщество в Twitter восприняло это как атаку на эфир и начало искать Виталика Бутерина.

Вторая по величине криптовалюта не изменилась ни на йоту. Теоретический ETH подвергается сомнению, и эта ситуация гораздо важнее, чем просто недоразумение.

Основные моменты:

• Документ OpenAI направлен на опровержение гипотезы, сформулированной в 1999 году, касающейся сложности логических задач, а не на блокчейн Ethereum.
• Опровержение было найдено 16 октября, а затем формально проверено с помощью Lean на следующий день.
• Impagliazzo, Paturi и Ryan Williams занимаются проверкой, но пока отказываются подтверждать результат.
• Компания Anthropic опубликовала конкурирующий документ 26 октября, который был обнаружен моделью Claude.
• Безопасность эллиптических кривых и доказательств ZK в Ethereum не зависит от этой гипотезы.

ETH против ETH: Недоразумение, которое заставило Twitter содрогнуться

Давайте начнем с самого начала. В информатике гипотеза экспоненциального времени (Exponential Time Hypothesis) – это гипотеза, сформулированная в 1999 году Расселом Impagliazzo и Рамамоханом Paturi. Согласно ей, задача логики, называемая 3-SAT, не может быть решена значительно быстрее, чем путем перебора всех возможных комбинаций. Сотни научных работ опираются на эту гипотезу.

Компания OpenAI теперь утверждает обратное. Ее команда описывает детерминированный алгоритм, который подсчитывает все решения задач типа 3-SAT за время, называемое субэкспоненциальным. Это открытие было сделано 16 октября, а его проверка в системе доказательства Lean – 17 октября. Пересмотренный документ, опубликованный 25 октября, доступен в репозитории GitHub компании OpenAI.

Документ «Гипотеза экспоненциального времени неверна», опубликованный OpenAI в своем репозитории GitHub – Источник: GitHub/OpenAI

И тут произошел короткое замыкание. В X пользователь с ником Takumi написал: «Damn algo traders just slaughtered $ETH». То есть: «Алгоритмические трейдеры только что уничтожили ETH». Andrew Jiang добавил: «Vitalik has been real quiet since this came out». То есть: «Виталик был очень молчалив с тех пор, как это появилось». Если прочитать быстро, заголовок звучит как некролог.

Курс криптовалюты практически не изменился. По данным CoinGecko, в среду, 28 октября, в 14:00 эфир торговался по цене около 2350 долларов, показав незначительную стабильность за последние 24 часа. Тем временем, разработчики Ethereum занимались исправлением ошибок, связанных с депозитами для стейкинга, в проекте "Glamsterdam".

Что изменилось и что осталось без изменений благодаря результатам OpenAI

Прежде всего, для владельцев эфира: криптография Ethereum не основана на ETH, предложенном теоретиками. Цифровые подписи ECDSA основаны на сложности дискретного логарифма на эллиптических кривых. Доказательства с нулевым раскрытием информации, в свою очередь, основаны на других предположениях. Более быстрый алгоритм для подсчета решений задачи 3-SAT никому не предоставит ваш закрытый ключ. Настоящая ключевая проблема для блокчейна – это квантовый компьютер.

Во-вторых, для всех: даже если результат верен, он не означает, что все задачи класса NP можно решить быстро. Вопрос P против NP, самый известный в информатике, остается открытым. OpenAI сама это указывает в своей публикации. По ее мнению, опровержение "снова поднимает вопрос о том, насколько эти задачи могут стать быстрее". И поиск таких алгоритмов "потребует дальнейших значительных исследований".

В-третьих, самое важное: Impagliazzo, Paturi и Ryan Williams из MIT, которые курируют независимую проверку, опубликовали письмо под названием «Сообщение сообществу TCS об ETH». В нем они пишут, что «наше участие не следует рассматривать как подтверждение этого утверждения». Они добавляют, что «результат такой важности требует тщательной и независимой проверки», как сообщается в отрывках, опубликованных Decrypt. В свою очередь, OpenAI проявила прозрачность, чтобы развеять подозрения. Не было никаких соглашений о конфиденциальности, участники не получали вознаграждения, были опубликованы необработанные данные, и 5 миллионов долларов были переданы в Simons Foundation.

Anthropic также опубликовала алгоритм для 3-SAT

История продолжается. 26 октября компания Anthropic опубликовала конкурирующую работу под названием «A 2^o(n) Time Algorithm for 3-SAT». Согласно публикации, алгоритм был найден внутренней исследовательской моделью Claude. Однако в публикации также указано, что «результат является чисто асимптотическим и ничего не говорит о решении формул на практике». Terence Tao предсказал это еще в сентябре: «простая информация о том, что кто-то работает над проблемой, может спровоцировать огромный объем усилий, поддерживаемых искусственным интеллектом».

Единственный ETH, который упал на этой неделе, является лишь математической гипотезой. Что касается компании Anthropic, которая заняла второе место, она готовится к выходу на фондовый рынок. По нашим оценкам, акции, которые Вашингтон продал слишком рано, сейчас стоят около 4 миллиардов долларов.