OpenAI выпустила решения трех крупных математических задач, включая отрицание Exponential Time Hypothesis, давнего допущения о том, что трудно вычислить. Математик Anthropic Левент Алпоге предположил, что работа опирается на уже существовавшие исследования, затем Anthropic выпустила собственное опровержение через несколько часов. Профессор MIT Райан Уильямс теперь организует ответ специалистов по компьютерным наукам вместе с Расселлом Импальяццо и Рамамоханом Патури, которые впервые опубликовали ETH в 1999 году. Для бизнеса этот эпизод важен потому, что он проверяет, как прорывы, созданные ИИ, проходят проверку и внедрение.
Как было представлено опровержение ETH
OpenAI изменила формат выпуска для каждой из трех затронутых дисциплин. Математики получили работу в виде публикации на GitHub, а специалисты по компьютерным наукам создали рабочую группу и попросили публично раскрыть доказательства и профинансировать конференцию. Физики создали отдельную рабочую группу, которая решит, как следует выпустить их результат. Уильямс, ранее назвавший октябрьскую публикацию доказательств DDoS-атакой на математиков, согласился помочь с интерпретацией решения. Лаборатории попросили его работать над оценкой вместе с Импальяццо и Патури.
Группа по компьютерным наукам начала с открытого письма, пригласив заинтересованных исследователей прислать отзывы и обсудить нормы вклада ИИ в научную работу. Уильямс сказал, что части доказательства OpenAI выглядят обычными, но две или три части выглядят чужеродными и требуют совместной работы всего сообщества. Заявленное достижение — это алгоритм, который решает конкретный класс сложных логических задач за субэкспоненциальное, а не экспоненциальное время. В случае подтверждения этот результат опровергнет ETH и может открыть путь к алгоритмам, совместимым с равенством P и NP. Уильямс добавил, что алгоритм OpenAI, вероятно, не лучший из возможных.
ETH относится к более широкой области P против NP, где ставится вопрос, можно ли быстро решать задачи, решения которых быстро проверяются. Судоку иллюстрирует различие: проверить заполненную головоломку быстро, а найти решение гораздо дольше. Та же асимметрия лежит в основе криптографических систем, где наличие ключа раскрывает сообщение, а взлом стойкого шифра занимает слишком много времени, чтобы принести пользу. Большинство исследователей полагают, что P не равно NP, а ETH поддерживала этот взгляд, утверждая, что время решения растет экспоненциально с числом переменных. Новые заявления ставят эту интуицию под сомнение, но пока не дают окончательного ответа.
Что это значит для компаний, использующих ИИ
Для компаний, зависящих от оптимизации, логистики, планирования, проектирования чипов или разработки лекарств, более быстрые алгоритмы для трудных комбинаторных задач со временем могут сократить время и стоимость вычислений. Крупные организации с собственными исследовательскими командами и большой нагрузкой почувствуют такой выигрыш первыми, поскольку могут проверить новые решатели на реальных задачах и встроить их в действующие процессы. Небольшие фирмы выиграют позже через обновленные решатели, облачные сервисы и программные библиотеки со встроенными улучшенными методами. Практический сигнал — более широкая доступность инструментов для задач, которые раньше считались слишком дорогими для решения в крупном масштабе.
Ограничения существенны, а результат пока не проверен до рассмотрения сообществом и предлагаемой конференции. Уильямс сказал, что многие статьи последнего десятилетия, опиравшиеся на ETH, придется пересмотреть, если опровержение подтвердится, и это создает неопределенность для планов, построенных на старых допущениях о сложности. Он также спросил научного руководителя OpenAI Дэна Робертса, затронуты ли криптографические системы, и лаборатория ответила, что провела проверку и достаточно уверена, что ничего не нарушено. Покупателям не следует считать это сообщение доказательством ненадежности шифрования при определенных размерах ключей или того, что равенство P и NP уже установлено.
Маркер, за которым стоит следить, — подтвердит ли рабочая группа субэкспоненциальный алгоритм и профинансирует ли OpenAI конференцию для определения новых оснований. Публикация проверенных доказательств, независимое воспроизведение и ясность о затронутых классах задач покажут, что заявление перешло от анонса к признанному результату. Такой исход побудит поставщиков и команды безопасности обновить рекомендации по выбору алгоритмов и размеров ключей. Отсутствие этих шагов оставит этот эпизод неразрешенным заявлением.
