Компания OpenAI и Anthropic объявили на этой неделе о прорыве в области искусственного интеллекта, заявив об опровержении 27-летней гипотезы экспоненциального времени (ETH). Согласно данным Wired, обе компании опубликовали машиночитаемые доказательства на GitHub в естественном языке и формате Lean, вызвав серьезный резонанс в академическом сообществе всего за несколько недель до престижной конференции IEEE.
Гипотеза экспоненциального времени долгое время служила базовым предположением, на котором строились исследования в области теории сложности и разработки алгоритмов. Ученые исходили из того, что сложность решения определенных вычислительных задач экспоненциально возрастает по мере увеличения их масштаба. Успешное опровержение этой гипотезы с помощью ИИ ставит под сомнение значительную часть ранее опубликованных теоретических работ.
Влияние на академические исследования и реакция ученых
Профессор Линчепингского университета Петер Юнссон, чья работа должна быть представлена через две недели на Симпозиуме IEEE по основам компьютерных наук, заявил, что большая часть его недавних трудов теперь фактически потеряла актуальность. Он ожидает, что многие исследователи на конференции будут вынуждены признать ошибочность гипотезы ETH в начале своих выступлений. Тор Хюсфельд, возглавляющий исследовательскую группу по алгоритмам в IT-университете Копенгагена, описал произошедшее как сейсмический сдвиг, мгновенно обесценивший его работу над определенной проблемой в течение всего года.
Несмотря на психологическое напряжение и обеспокоенность исследователей, столкнувшихся с лавиной генерируемых ИИ рукописей сомнительного качества, некоторые ученые отмечают позитивные стороны открытия. По словам Хюсфельда, внезапное прояснение сложных областей теоретической науки открывает новые возможности для исследований.
Процесс проверки и дальнейшие шаги
Поскольку научное сообщество еще не успело полностью изучить и независимо проверить сложные доказательства, созданные ИИ, компания OpenAI обратилась к авторам гипотезы из Калифорнийского университета в Санта-Барбаре и исследователям из MIT с просьбой помочь организовать экспертную проверку. Профессор Даниэль Локштанов отметил, что подтверждение результатов может сделать около 50 его научных статей бессмысленными или требующими полной переработки.
Хотя данное открытие напрямую не подрывает современные криптографические системы, эксперты подчеркивают необходимость пересмотра базовых допущений о вычислительной сложности. Академическое сообщество продолжает мобилизовать усилия для анализа новых материалов, надеясь извлечь практические выводы из неожиданного прорыва.