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