Лаборатории искусственного интеллекта представили решения трех крупных математических задач, которые долгое время оставались вызовом для исследователей, включая неожиданное опровержение «гипотезы экспоненциального времени» (ETH) — фундаментальной гипотезы в компьютерных науках, играющей ключевую роль в понимании сложности вычислений. Как и в случае с предыдущими анонсами передовых лабораторий, научное сообщество отреагировало смесью восторга и беспокойства: математик из компании Anthropic Левент Албугай отметил, что решения OpenAI основаны на предыдущих работах, после чего сама Anthropic выпустила собственное опровержение той же гипотезы.
Гипотеза экспоненциального времени относится к более широкому классу задач, известных как «P против NP», которые десятилетиями привлекали внимание ученых-компьютерщиков. Исследователи стремятся выяснить, может ли любая задача, решение которой легко проверить (NP), быть также легко решена (P). Гипотеза предполагает, что компьютерным алгоритмам требуется экспоненциально возрастающее время по мере роста переменных в определенных логических головоломках. Однако новые модели от лабораторий ИИ утверждают, что они нашли алгоритмы, решающие эти головоломки за «субэкспоненциальное» время, что означает их высокую скорость по сравнению с тем, что считалось ранее. Если эти утверждения верны, гипотеза может быть опровергнута.
Что это означает на практике?
Профессор Райан Уильямс, ученый-компьютерщик из Массачусетского технологического института (MIT), координирует реакцию академического сообщества на это открытие. Несмотря на свою предыдущую критику стиля публикации исследований лабораториями ИИ, Уильямс согласился сотрудничать с ними, чтобы направить важные идеи в нужное русло и помочь исследователям интерпретировать решения. Уильямс отмечает, что некоторые части новых доказательств кажутся знакомыми, в то время как другие содержат совершенно новые элементы, требующие сотрудничества всего научного сообщества для их понимания и проверки.
Последствия и открытые вопросы
Эти события требуют пересмотра многих предыдущих научных работ, которые опирались на устойчивость гипотезы экспоненциального времени в течение последнего десятилетия. Исследователи призывают к проведению специализированных конференций и научных встреч для переоценки теоретических основ области в свете ускоряющихся возможностей искусственного интеллекта. Что касается кибербезопасности, возникает вопрос о том, влияют ли эти оптимизированные алгоритмы на существующие системы шифрования, хотя OpenAI подтверждает, что их предварительные проверки не указывают на наличие немедленных уязвимостей в текущих системах шифрования.