Компания OpenAI представила решения трех сложных математических задач, включая опровержение гипотезы экспоненциального времени (ETH). Эта гипотеза долгое время считалась базовым допущением в теории вычислительной сложности. Вскоре после этого компания Anthropic опубликовала собственное опровержение той же гипотезы.
Процесс публикации результатов различался в зависимости от научной дисциплины: математики получили доступ к работе через GitHub, а ученые в области компьютерных наук и физики сформировали рабочие группы для анализа данных. Профессор MIT Райан Уильямс координирует реакцию научного сообщества и сотрудничает с OpenAI для интерпретации решений.
Гипотеза ETH утверждает, что для решения определенных логических задач требуется экспоненциально больше времени по мере роста числа переменных. OpenAI и Anthropic заявляют, что их модели создали алгоритмы, решающие эти задачи за субэкспоненциальное время. Это может изменить представления о вычислительной сложности и проблеме P против NP.
Результаты могут потребовать пересмотра научных работ, опиравшихся на ETH, однако эксперты полагают, что текущие криптографические системы остаются в безопасности. Сейчас исследователи инициируют проведение конференции для обсуждения влияния алгоритмов ИИ на науку и выработки стандартов взаимодействия с такими инструментами в будущем.
