OpenAI «опровергла» ETH — и криптотвиттер в недоумении

OpenAI утверждает, что ETH ложна, и Crypto Twitter отреагировал ровно так, как можно было ожидать. «Чёртовы алго-трейдеры только что зарезали $ETH», — написал пользователь под ником Takumi в X, а Эндрю Цзян съязвил: «Виталик что-то притих с тех пор, как это вышло».

Но расслабьтесь, дегены: речь идёт об ETH — гипотезе экспоненциального времени (Exponential Time Hypothesis), гипотезе из области информатики 1999 года, которая не имеет никакого отношения ни к Ethereum, ни к его цене, ни к соучредителю Виталику Бутерину. Так что, крипто-бро, можете выдохнуть.

OpenAI опубликовала статью на 67 страниц, в которой утверждает, что её ИИ нашёл способ обойти эту гипотезу, и люди, предложившие её, сейчас проверяют эту работу.

Учёные-информатики Рассел Импальяццо и Рамамохан Патури предложили ETH вместе с Фрэнсисом Зейном, и она утверждает, что классическую логическую головоломку под названием 3-SAT (поиск истинностных значений, удовлетворяющих набору правил, по три варианта за раз) невозможно решить намного быстрее, чем перебором всех комбинаций. Сотни работ опираются на неё, чтобы показать, что задачи в теории графов, вычислительной биологии, базах данных и геометрии не могут быть решены быстро, по данным OpenAI.

Иными словами, ETH — это карта того, что компьютеры, вероятно, никогда не смогут делать быстро, и OpenAI утверждает, что её модель только что перечертила её. «Опровержение ETH вновь открывает вопросы о том, насколько быстрее могут стать эти задачи», — написала компания в своём блоге, — «и может помочь направить поиск лучших алгоритмов».

В статье, датированной 17 октября и пересмотренной 25 октября, описывается детерминированный алгоритм (без какой-либо случайности), который подсчитывает все удовлетворяющие назначения таких головоломок за субэкспоненциальное время, то есть объём работы растёт медленнее любой экспоненты от числа переменных. Подсчёт решений сложнее, чем определение того, существует ли хотя бы одно, поэтому более сложная задача бесплатно влечёт за собой более лёгкую.

OpenAI сообщает, что её ИИ нашёл опровержение 16 октября, а 17 октября оно было формализовано в Lean — программном обеспечении, которое механически проверяет каждый логический шаг. Оба материала размещены на GitHub — тем же путём, что и её 722 математических рукописи ранее в этом месяце, из которых только 162 сопровождались проверенным компьютером основным результатом.

Импальяццо, Патури и Райан Уильямс из MIT возглавляют независимую проверку и осторожно относятся к своей роли. «Наше участие не должно восприниматься как сертификация утверждения», — написали трое в открытом письме, добавив, что «результат такой значимости требует тщательной, независимой проверки и понимания того, что другие могут его воспроизвести, поставить под сомнение и развить».

BitcoinBTC · USD

$80,662−2.56%

Oct 20Oct 22Oct 24Oct 25Oct 27

$84.8k$83.1k$81.3k$79.6k

24h HighHigh$80,573

24h LowLow$79,416

VolVol$1.0B

→

Купить Bitcoin за USDT

Работает на Jupiter

Данные о ценах от CoinGeckoCoinGeckoБольше Bitcoin новостей и прогнозов →

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

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

Проще говоря, P — это класс задач, которые компьютеры могут решать эффективно, а NP — это класс задач, предложенные решения которых можно эффективно проверить. Таким образом, вопрос P против NP — вопрос о том, всякая ли задача, ответ на которую легко проверить, также легко решается, — остаётся открытым.

Anthropic, не желая проигрывать математические войны, затем опубликовала статью, приписываемую Claude под названием «A 2^o(n) Time Algorithm for 3-SAT» и датированную 26 октября. В репозитории, который также затрагивает проблему ETH, говорится, что алгоритм обнаружила внутренняя исследовательская модель Claude, и «результат является чисто асимптотическим и ничего не говорит о решении формул на практике».

Claude формализовал Великую теорему Ферма на Lean в сентябре, и Теренс Тао предвидел такого рода пересечение. «Теперь мы увидели, что даже слух о том, что кто-то работает над проблемой, может запустить огромный объём усилий на основе ИИ, чтобы сровнять её с землёй прежде, чем исходный исследовательский проект успеет достичь своего полного потенциала», — писал математик в сентябре.

Недавний вклад OpenAI в размере 5 миллионов долларов в Simons Foundation будет финансировать семинары, конференции и специальные программы, помогающие исследователям изучать и развивать результаты, произведённые ИИ.