Как сообщает TechCrunch, OpenAI опубликовала решения трёх математических проблем, над которыми учёные долго работали без успеха. Одна из публикаций — неожиданное опровержение гипотезы экспоненциального времени (ETH), устойчивого допущения в информатике о том, какие вычисления являются принципиально трудными.
ETH относится к более широкой проблеме «P против NP» — вопросу, верно ли, что любую задачу с легко проверяемым решением можно так же быстро решить (бытовой пример — судоку: проверить готовое решение просто, а найти его трудно). Гипотеза утверждает, что даже самым быстрым алгоритмам нужно экспоненциально больше времени на определённый класс логических задач по мере роста числа переменных. OpenAI и Anthropic заявляют, что их модели нашли алгоритмы, решающие эти задачи за «субэкспоненциальное» время — быстрее, чем считалось возможным, что, будь это верно, могло бы открыть путь к алгоритмам класса P = NP.
Научное сообщество отреагировало на выкладку со смесью восторга и скепсиса. Математик Anthropic Левент Альпёге предположил, что OpenAI опиралась на уже существующие работы, а спустя несколько часов Anthropic выпустила собственное опровержение ETH.
На этот раз OpenAI организовала релиз по-разному для каждой из трёх дисциплин: математики получили материалы на GitHub, специалисты по информатике создали рабочую группу и попросили OpenAI профинансировать конференцию по обсуждению доказательств, физики сформировали рабочую группу, которая определит формат публикации. Ответ компьютерного сообщества координирует профессор MIT Райан Уильямс — ранее он называл октябрьскую выкладку доказательств OpenAI «DDoS-атакой на математиков», но согласился сотрудничать с лабораторией. Вместе с ним интерпретацией занимаются Рассел Импальяццо и Рамамохан Патури из UC San Diego, впервые опубликовавшие ETH в 1999 году; они выпустили открытое письмо с призывом обсудить нормы участия ИИ в научной работе.
Части доказательства OpenAI Уильямс называет рутинными, но, по его словам, в нём есть «два или три чужеродно выглядящих фрагмента» — именно они требуют совместной работы всего сообщества.
Если результаты подтвердятся, пересмотра потребуют многие научные работы последнего десятилетия, опиравшиеся на ETH. Уильямс отметил, что более быстрый алгоритм мог бы означать взлом криптосистем с определёнными размерами ключей, и уточнил у научного руководителя OpenAI Дэна Робертса, проверяла ли компания это: OpenAI проверила и, по словам Уильямса, достаточно уверена, что взломов доказательство не подразумевает. Сам Уильямс полагает, что это не окончательный ответ: алгоритм OpenAI, вероятно, не является предельно достижимым.
